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

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

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

Заебись студенты пошли. Но не все. Другие трое сбацали по конфетке.

pi in cats

Feb. 17th, 2016 06:59 am
juan_gandhi: (VP)
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)
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.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14 151617 181920
212223 24252627
282930    

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2025 08:37 am
Powered by Dreamwidth Studios