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

November 2025

S M T W T F S
       1
23456 7 8
9 1011 12 1314 15
16171819 20 2122
23 24 252627 28 29
30      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Nov. 30th, 2025 01:38 pm
Powered by Dreamwidth Studios