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

#tseohz

2 comments

Как выяснилось, карго-культ по отношению к PHOAS работает плохо, особенно если нужно делать чуть больше, чем простую лямбду. Чо ж делать-то, а? Может кто-нибудь объяснит потолковее, чем в гуглоте?

#tsezso

6 comments

http://haskell98.blogspot.com/2013/03/bl... — интересно, все х-исты такие ебанутые, или это исключение? И почему я там не вижу никаких наказаний, типа, "если не поучаствовал — то мы все возьмём, соберёмся, покажем на тебя пальчиком и сделаем ай-яй-яй"?
Вообще, конечно, напоминает пидошку с её ... more →

#tsezof

15 comments

"MinusIQ | The pill to lower your IQ permanently" — http://www.youtube.com/watch?v=z9pD_UK6v...

#tssinh

2 comments

Купил, блядь, ботиночки новые. Не сильно жмут, походил пару дней. А потом прихватило ногу так, ходить можно только очень медленно и с ощутимой болью.
Такое уже пятый раз за последние 3..4 года. А как проходит — так хоть бегать, хоть прыгать могу, никаких неприятных ощущений.
Что удивительно — в первый раз сходил ... more →

#tsstzg

12 comments

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

#tsszng

6 comments

"
Rc43: What does name of Agda mean?
olahol_: Agda the chicken, swedish floksong
"
Я всегда знал, что Coq — строго над Agda.

#tsszgo

1 comment

Посоны, помогите с задачкой. Я совсем разучился в графы. Наговнокодить могу, но должно быть красивое решение (скорее всего, ещё и более быстрое, чем наивный говнокод).
Есть направленный ациклический граф: https://docs.google.com/drawings/d/1OPIv...
Задана ... more →

#tsigii

17 comments

Вот блядь.
Метакласс подкинул смехуёчку:
https://lh4.googleusercontent.com/-yeA24...

И тут в приватном разговоре с @nicka я поискал фотки автора пердла. Смотрите сами: http://tinyurl.com/cyjt98p

Во-первых, он уссатЪ. Во-вторых, как @nicka говорит, он похож на ... more →

#tsiefe

5 comments

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

#tsiezf

2 comments

"
— Слушай, давай зависнем в коворкинге, у меня есть идея для стартапа, я уже даже рисеч сделал. С меня смузи!
— Так, вот сразу нахуй пошел.
"
[AveMisha]

#tsisot

5 comments

Швятая троица: Швабодка, Штабильность, Штульман.
И их антагонист: Шиндошс.

#tsiist

3 comments

http://img.klisunov.ru/marriedtothesea/2...

#tsifet

add comment

http://scepsis.net/library/id_180.html — о том, почему приднестровье/пмр это не молдова. О том, чем я занимался в 10 лет, с начала лета по середину осени (хинт: был беженцем).

#tsihef

4 comments

В соседнем городе, куда теперь есть возможность легко поехать, нашёлся забавный магазин с названием "Чай, кофе и другие колониальные товары" (хотя гуглота говорит, что название отнюдь не уникальное для того магазина, оно всё равно клёвое).
Несмотря на неплохой выбор чая, некоторые сорта не смог найти даже там ... more →

#tsfihn

add comment

Мой crt-монитор из поста #tzzsfg начал глючить страшно. Пришлось купить новый, на этот раз — lcd с ips-матрицей, 23", мне нравится.
А старый монитор пока не выкидывал. И не зря, дитё решило освоить его:
https://lh4.googleusercontent.com/-fOcAN...

#tsffse

add comment

Пидорасня какая-то.

TL;DR => как хардкорно, через иксы, посоны переключают раскладку клавиатуры?

Актуальная документация на xmodmap отсутствует, даже в интернетах.
Через ональные хаки удалось: подсмотреть $(xmodmap -pke), подправить кое-где наугад, потестить, и по итогу сэмулировать мультимедийные кнопки ... more →

#tsftho

12 comments

"Да как ты можешь критиковать тсоя? Сперва разбейся!!!111 // об икарус"

#tsftti

17 comments

Имею xfce. Хочу настроить регулирование громкости хоткеями (на клавиатуре нет спец.кнопок, будет что-то типа Ctrl-Kp{+,-}). Решил повесить вызов "amixer set канал 3%-" на "убавить громкость", где "канал" — либо Master, либо PCM. Но оказалось так, что, если один из каналов имеет ненулевую громкость, то через данную ... more →

#tshgzs

10 comments

http://udpn.livejournal.com/95628.html
И я даже знаю, что именно автор делает не так. Но никому не скажу!

#tshzof

2 comments

В случае дизайна чего-либо нового либо массивного рефакторинга чего-либо старого следует явным образом записывать, _зачем_ делаются эти нововведения/изменения.

#tstnzs

1 comment

"Жиголодранец" [mfeodor]

#tstgze

2 comments

Пост про различие "proof of negation" vs "proof by contradiction", в том числе есть интересное про отличие классической от интуиционистской (конструктивной) логики (однако, если последнее вам известно, в том числе на практике, то читать будет не очень интересно, разве что для структуризации знаний): ... more →

#tstsgt

add comment

http://maxim.livejournal.com/400957.html...

#tstthn

11 comments

Ёбаный насос, Жора, кем ты стал?

#tsoeno

28 comments