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

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415 161718
19202122232425
262728293031 

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 20th, 2025 03:31 am
Powered by Dreamwidth Studios