juan_gandhi: (VP)
2016-03-11 03:24 pm
Entry tags:

студенты и экстра проджект

Я подбросил проект, который если хорошо сделаешь, то на файналзы не надо.

На джаваскрипте.

У троих ни хера не работает. Один спрашивает, какого рода criticism у меня по поводу его выдающегося проекта. Другой сообщает, что парсеры писать опыта нету, поэтому скобки ниасилил, и вместо параллельного исполнения имплементировал недетерминированное (работать не будет, очевидно). Третья пишет, что у нее все работает, и в доказательство прислала видео.

Заебись студенты пошли. Но не все. Другие трое сбацали по конфетке.
juan_gandhi: (VP)
2016-02-17 06:59 am

pi in cats

A 2-Categorical Approach to the Pi Calculus

Posted by John Baez, but actually written by Mike Stay, but actually in cooperation with Greg Meredith
juan_gandhi: (Default)
2012-09-26 10:01 pm

Mike Stay today

Explained wtf a closed monoidal category is, then introduced π-calculus, then showed how to interpret π-calculus in monoidal categories, then, using Feynman diagrams, showed isomorphic transformations of concurrent code. Feynman diagrams applied to π-calculus. Not a dog's penis eh.