Dufaq I wrote last night.

#ttzfhh

5 comments

Наконец-таки наткнулся на книгу, качественно и полно раскрывающую тему задания и исследования систем типов с помощью теории категорий, — "Introduction to Higher-Order Categorical Logic" Ламбека. Она описывает три разных способа задать типовые системы с помощью категориальных структур, — начиная от наивного CCC, ... more →

#ttzoso

6 comments

Кароче сидели вчера с посонами у подъезда, и тут Васян музыку на мобилке вырубил и спросил меня, как я пишу сайты.
Ну чо делать, надо отвечать за сайты. Свой же пацан, не крыса какая-нибудь.
Я ему и говорю:
- Делаешь пандорический захват, лифтишь в монаду, потом строишь рекурсивную схему (здесь подойдёт ... more →

#ttzzse

3 comments

http://www.youtube.com/watch?v=KUtXR_aDq...
Даркджаз о безнадежности и тщетности бытия.

Я вижу в нем противостояние конформистского союза фортепьяно и бас-гитары с горячим, революционирующим ударником. В конце концов первые оказываются правы. И живы.

PS: хотя нет, у баса всё-таки, похоже, стойкий и нерушимый ... more →

#tonhgs

3 comments

Шел Жан Поль Сартр по улице И ТУТ ТАКОЙ АЛЬБЕР КАМЮ ПОДСКОЧИЛ ГОВОРИТ МОЛ НЕ ПО ЭКЗИСТЕНЦИАЛИЗМУ ТЫ ЖИВЕШЬ И УЕБАЛ ЕГО УЖАСАМИ АБСУРДА

#toegih

3 comments

http://i.imgur.com/xwR0P.png

#toesef

12 comments

Выбираемся в «Беседницу» играть в Манчкин. Any1?

#toeino

8 comments

Есть какой-то кармический смысл (удовольствие) в нанесении себе слабого, но урона.
Регулярно.

#toeizn

7 comments

Пришла бабушка и попросила рассказать про блэк. Что ей дать послушать?
via #toigfh

#toigfs

2 comments

http://25.media.tumblr.com/tumblr_m91wdo...

#toiign

2 comments

http://25.media.tumblr.com/tumblr_m86iq7...

#toiine

2 comments

Полазил по псачу через вебню. Большая часть блогов в 403. Лучшей говна вам, пидоры.

#tofsfn

5 comments

http://i.imgur.com/qH4ac.gif

#toithf

14 comments

Как же меня заебали самки, которым нужны отношения, как смысл жизни. Самодостаточность, независимость, личные цели, достижения — кто-то слышал об этой хуйне или это только мне нужно?

#toftzh

17 comments

Чото угорел по коалгебрам и статистическому моделированию. Нет идей что читнуть, особенно по категоризации второго?

#tohzef

4 comments

конечный объект категории это 0-арное произведение (а начальный — 0-арное копроизведение)

#totnef

5 comments

http://i.imgur.com/s2WvB.jpg R…

#tozggn

1 comment

дочитывать «планету людей» среди… хм… людей было удивительно удачной идеей. побыла белым огоньком карманного фонарика среди оранжевых фонарей пейзажки, светом выхватывая то скульптурку маленького принца, то сеточку вен на своём левом запястье — а она, будучи обозреваемой краем глаза, складывалась в ритмичную ... more →

#tzngef

2 comments

Почему в математике композиция делается в "обратную сторону" (C ◦ B ◦ A)? Т.е. куда удобнее ведь было бы при наличии A: a→b, B: b→c, C: c→d сокращать A ◦ B ◦ C: a→d. Нет?

#tznhoz

6 comments

Что такое ◦?
В (h ◦ g) ◦ f = h ◦ (g ◦ f )
Не гуглится
!

#tzntzh

37 comments

http://cs316618.userapi.com/v316618292/3... а у меня новая моделька :)

#tznoth

4 comments

MY EYES http://code.msdn.microsoft.com/windowsde...

#tznzsg

2 comments

Чат, а кому может быть интересно играть в олдфажные Tekken'ы и SoulCalibur'ы за чаем, если кто-нибудь ещё приползёт ко мне пить чай?

#tzgssh

14 comments

математикой навеяло: группоЕды (возможно рогатые)

#tzgsfo

1 comment

Почему меня должно волновать мнение о моей полноте, если я в спортзале четыре дня в неделю и работаю там над собой минимум два часа?

#tzgoot

10 comments