coq / ocaml = ocaml / c
крыша едет точно так же, как 10 лет назад от изучения функциональщины.
кстати, по "coq "program framework"" (собственно для написания кода, а не для доказательства) ищется слишком мало всего. Понятно, что фишка новая, но где про неё читать — ума не приложу. Есть идейки?

#ostnnh

13 comments

запили вариант /recent только без фильтра юзеров

#ossoti

11 comments

Я понял, что сосу в object-oriented design.

#osshzn

2 comments

днём температура поднялась до +23, пиздец просто. В рубашке ходить, штоле. Уже включаю кондиционер дома. Весна, блеять.
Но у нас такая весна всегда: то +10 подержится недельку, потом +15, а потом уже +25 и выше, и хорошо, если +30 не будет достигнуто за месяц.
Вот такая хуёвая весна.

#osstot

9 comments

за бортом то +5 и снег, то +5 и дождь, то -5 и ни одного дворника.
а с учетом ветра, в квартире то +18 то +27.

Вот такой вот веснец.

#osstoi

2 comments

http://www.mamagrib.ru/upload/userfiles/...

#osstoz

1 comment

смехуечки. Пирамида Маслова.
http://cdn.thenextweb.com/files/2010/07/...

#osinzg

1 comment

"Как-то, говорят, Святой Патрик изгонял из Ирландии языческую богиню. Богинька отличалась умом и сообразительностью, т.к. была по совместительству лисой-оборотнем. Патрик ей предложил, чтобы она с миром ушла "на восток". Богиня же сказала, что её это, в общем-то устраивает, и вообще Ирландия уже не та, но в ... more →

#osigse

1 comment

есть "репперы", которые, в целом, поют (или "читают"?) об этом же говне, но настолько виртуозно владеют русским языком, что мне нравится. Плюс к тому, стёб над реппом в громадных количествах. Только две "группы" умеют виртуозно: 1. "кровосток" (лучше брать сразу полное собрание сочинений), 2. "дядя женя" (проще ... more →

#osionn

14 comments

не буди эхо пока оно тихо

#osifgs

2 comments

хмм... а что если смешивать немного чая и кофе, кто-то пробовал?

#osioee

28 comments

картинко http://geekandpoke.typepad.com/.a/6a00d8...

#osiohs

1 comment

ааа, убейте меня, иначе я всё забрызгаю тут1111
@default631">http://flint.cs.yale.edu/cs428/coq/doc/R...
СУТЬ:
У вас есть индуктивный тип данных для представления вашего игрушечного AST, специфичного для вашей предметной области.
У вас есть функция, преобразующая _ваши_ значения из AST в ... more →

#osfnnt

6 comments

Есть такая игрушка, neocube — типа кубик из шариков. Кубик складывается из 6×6×6 шаров. Какая площадь поверхности у этого куба (в шариках)?
Кот догадался, не постите ответ сразу позязя.

#osfnti

9 comments

Evenu shalom alechem
Evenu shalom alechem
Evenu shalom alechem
Evenu shalom shalom
Shalom alechem

Diamond market in the ghetto
Star of David on my chest
Sex is kosher on the Sabbath
Jewish princess in my nest
Like aunt Golda high on Zion
Milk and honey are my drugs
Relic box of Einstein's hairdo
Spring prediction ... more →

#osfnse

10 comments

читаю Докинза "Слепой часовщик". Интересно и программистам, и биологам, и интересующимся эволюцией, отбором, итп.

есть в гугле, на русском.

#osfiez

23 comments

http://pit.dirty.ru/lepro/2/2012/03/14/5...

#osfheg

10 comments

А сегодня день рождения Альберта Эйнштейна.

#osffne

3 comments

Посоны, загадка. Есть два прыщеноута. Как между ними наиболее быстро и удобно обмениваться текстом, скажем, ссылками? Я не рассматриваю всякие там мессенжеры и веб-сервисы, шелл наше всё. Идеи? Пока придумал открыть tmux по ssh.

#osffse

3 comments

Вышла курочка считать
Маленьких цыпляток.
Белых пять и серых пять,
А всего — ... МАМА ТЫ ЧО ВАЩЕ В КОНЕЦ ОХУЕЛА МНЕ ПОЛТОРА ГОДА МЫ ТАКОЕ В САДИКЕ НЕ ПРОХОДИЛИ КАКАЯ В ЖОПУ ДЕСЯТИЧНАЯ СИСТЕМА СЧИСЛЕНИЯ КАКИЕ В ЖОПУ ЦЫПЛЯТА НУ ВООБЩЕ ПИЗДЕЦ

#osffih

add comment

Чтобы годно запудрить людям мозги, нужно в своей речи перемешивать откровения капитана Очевидность и тот явный бред, который ты хочешь впихнуть им в голову. Мозг по инерции воспримет бред как нечто само собой разумеющееся, и всё будет заебись. Главное самому не поверить в ту хуйню, которой срёшь в мозги людям, так-то.

#osftft

6 comments

почему в "этой стране" в литературе ценится всякое говно, жопоголизм, мрак, депрессняк, трэш и пиздецЪ, а всякие хорошие писатели типа Бианки или там Пришвина остаются на вторых ролях?

#osheee

2 comments

true <> false
Неожиданно? Однако, это так.
Эта шокирующая истина теперь конструктивно доказана: http://gds.livejournal.com/63887.html

#osheot

2 comments

1. у меня всё ок
2. мне кажется, что у меня есть проблемы в голове
3. зная о проблемах, я их компенсирую
4. в компенсации есть неточности
5. я компенсирую неточности в компенсации
6. я компенсирую неточности в компенсации компенсации
7. я компенсирую неточности в компенсации компенсации компенсации
...

#oshsog

2 comments

аццкое сочетание юзерпика, имени пользователя и вопроса
http://useful-faq.livejournal.com/151567...

#oshszh

1 comment