![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Sep. 26th, 2012
чем больше я учусь программировать...
Sep. 26th, 2012 01:41 pmтем больше вижу, что подавляющяя часть всей этой херни, что нас окружает - искусственная сложность. Сложность как на свалке. Где что-то сложно понять или найти (NP), потому что нет ни смысла ни порядка.
Ну и дисклеймер. Обнаружил тут, что 27-го июля я написал следующую строку:
Don't ask, I've no clue. Was it me? Git says yes, it was me. So there.
А впрочем, нет такого ощущения, что я с кем-то беседую, кроме как с самим собой. Но это неважно. Мы все сейчас - голоса в наших головах.
Да и что существует? Летишь над Долиной - она покрыта толстым слоем облаков. Выглядит как материя, как объект. Но подумать - разве облако - объект? Это ж просто область атмосферы, непрозрачная для света. Точно так же голубь может не верить в существование стекла, в связи с его прозрачностью.
Ну и дисклеймер. Обнаружил тут, что 27-го июля я написал следующую строку:
require(Some(homedir) != Some(""))
Don't ask, I've no clue. Was it me? Git says yes, it was me. So there.
А впрочем, нет такого ощущения, что я с кем-то беседую, кроме как с самим собой. Но это неважно. Мы все сейчас - голоса в наших головах.
Да и что существует? Летишь над Долиной - она покрыта толстым слоем облаков. Выглядит как материя, как объект. Но подумать - разве облако - объект? Это ж просто область атмосферы, непрозрачная для света. Точно так же голубь может не верить в существование стекла, в связи с его прозрачностью.
Mike Stay today
Sep. 26th, 2012 10:01 pmExplained 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.