kurkuma 28.03.2013 13:55Gajim

Время–то бежит. Не успел оглянутся и вот уже 13,81 млрд лет. Ведь еще–ж недавно только 13,77 млрд было. А что успел? Что сделал?

gds 26.03.2013 22:32umodniA9705AA6

"thunk" / "deferred computation" — "личинка вычисления".
Соответственно, при использовании лентяйки программа откладывает в память личинки вычислений.
//
"use" — "использование". "abuse" — "извредствование"?

gds 20.03.2013 17:25umodni6D8A23E3

Зарелизил мелкую библиотечку для отладки редукций выражений в пределах coq: https://bitbucket.org/gds/coq-breakpoint...

coq, cs, fp
kurkuma 20.03.2013 16:00Gajim

псто_ппл http://samoeglavnoe.pro/news/24680

gds 18.03.2013 11:44umodniA63A5C27

Наша редакция рада ответить на просьбу господина @ulidtko, изложенную в http://amd63.psto.net/tsfgse#123 , нижеследующим куском кода: https://gist.github.com/gdsfh/7140f41aca...
Там в каментах я показал, во что экстрактится всё это безобразие. Как обычно, все пруф-термы стёрты, остались только ... more →

coq, cs, fp, it, ocaml
arts 16.03.2013 21:57Psi+

Питон заебись, всё-таки.

remember to писать хуйню в psto.net
238328 15.03.2013 18:0728097349781363355372746726

http://remindmetoscrobble.com/

отсос вижуал сиплюсплюсов
238328 14.03.2013 16:50

http://cpprocks.com/c11-compiler-support... отсос крестов

true
238328 14.03.2013 15:496087610831363267760621910

I saw the message saying Reader was going to close, and the OK button at the bottom. I couldnt bring myself to click the OK button. It is not Ok. Where is the NOT OK button.

не мог, т.к. кто-то пидорас
komarkomar 14.03.2013 12:07thinkpad

@kb, ты нормально комментарий написать не мог?

евпочя
Apepe 13.03.2013 18:29F7EA331F

Что такое DAE ?

?
чё?
komargds 13.03.2013 16:32thinkpad

Мне тут сейчас сообщили, что функторы не нужны, раз есть тайпклассы.

arch
238328 13.03.2013 15:0525078441601363176414360270

Free for iPhone, iPad, Windows, FreeBSD, Mac and Web

0xd34df00d 14.03.2013 06:42Azoth_primary

Собственно, гуглоридеробляди соснули эпичнейше. Пользователи LeechCraft Aggregator продолжают счастливо потреблять контент.

Voker57 13.03.2013 10:45nbl-desktop

Удаление фотографий уровня Web 2.0: http://dump.bitcheese.net/files/ulovipa/...

убедил, окамл наше всё
gdsamd63 13.03.2013 09:28

в окамле по умолчанию строгий порядок вычислений, что упрощает рассуждения о производительности и ресурсоёмкости кода. (опциональная явная ленивость — в наличии.)

я начинал использовать окамл одновременно с чтением ассемблерного кода, который он генерит, и теперь имею вполне точное представление, что во что ... more →

герои нашего времени
не правда
gisty 10.03.2013 23:06E8922EF1

Configurator configurator = new Configurator();
configurator.configure();

hirthwork 11.03.2013 10:28mcabber

мну второтег заблеклистил за #tsfiie/6. больше мне на этом вашем псто делать нечего :(

kb

kb

I read (61)

arts

Артс

lain_iwakura

岩倉 玲音

snakehoney

ʎǝuoɥǝʞɐus

sl

Вячеслав

ulidtko

профессиональный говноед

17eyes

Проба оперения

werkzeug

Имя

utros

Оранжевус Охуеннус

xaos

Владимир

mm

Mika Okamoto

lHooFool

Смерть Неизбежна

komar

Александр Марков

lukish

λ

hedgehog

18+ Запрещено для детей.

238328

16+

Elemir

Evgeny I. E. Omelchenko

hirthwork

Hirthwork McGillah

gds

4da

4DA

mad_hater

Алик

2538

двапятьтривосемь+

clayrat

Klayraat

javakka

Джавакка

a9qd0wf

посторонний

Sany

Тусоваться, бухаться и трахаться.

vsv

Vladislav Svitlichniy

proofit404

Malyshev Artem

olya_15

Оля

4ever_alone

forever_alone

My readers (40)

arts

Артс

johan

Johan

King-Artur-VII

King Artur VII

magog

Mагог Магогович

ulidtko

профессиональный говноед

Like-all

Darth Bricktop

17eyes

Проба оперения

utros

Оранжевус Охуеннус

xaos

Владимир

Velvet-Bird

Вавилен Бирдов

ruda

Вона блює і співає.

hongweibing

hóngweìbīng

generatorglukoff

няша

238328

16+

richmond

Джордж Ричмонд

gds

javakka

Джавакка

Sany

Тусоваться, бухаться и трахаться.

proofit404

Malyshev Artem

Ts

Tags

Do you really want to delete ?