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

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
171819 20212223
2425 26272829 30
31      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 2nd, 2025 02:46 am
Powered by Dreamwidth Studios