gds 26.03.2013 22:32umodniA9705AA6

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

gds 26.03.2013 14:20umodniF003ED55

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

gds 26.03.2013 09:29umodniAEACBD01

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

gds 23.03.2013 08:31umodniEE09CC68

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

gds 21.03.2013 11:57umodniFD5D1207

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

gds 20.03.2013 17:25umodni6D8A23E3

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

coq, cs, fp
gds 20.03.2013 15:22umodni6D8A23E3

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

coq
gds 19.03.2013 11:14umodniA63A5C27

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

cs, it, math
gds 18.03.2013 17:55umodniA63A5C27

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

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

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

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
gds 17.03.2013 17:27umodniA63A5C27

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

gds 17.03.2013 11:20umodniA63A5C27

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

gds 15.03.2013 20:19umodniA63A5C27

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

gds 11.03.2013 09:06umodni14B972E4

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

gds 10.03.2013 19:06umodni14B972E4

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

gds 09.03.2013 08:00umodni494FB935

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

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

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

gds 09.03.2013 07:16umodni494FB935

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

gds 06.03.2013 17:12umodni67D86FD6

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

gds 02.03.2013 08:35umodniF3137F0E

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

gds 01.03.2013 13:11umodniF3137F0E

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

gds 01.03.2013 03:34umodniF3137F0E

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

gds 28.02.2013 11:09umodniA1EA9229

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

math, cs
gds 23.02.2013 14:07umodniECC9EE49

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

gds

gds

None

I read (33)

lain_iwakura

岩倉 玲音

ulidtko

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

17eyes

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

part1zano

Maxim Kirenenko

gisty

Марсианская улиточка

lHooFool

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

komar

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

greenbastad

"Это добром не кончится!"

hongweibing

hóngweìbīng

kb

4da

4DA

octocat

Octocat

clayrat

Klayraat

nicka

Никита

zombieff

Tosh

chess17

Екатерина

smok

Володя

My readers (28)

lain_iwakura

岩倉 玲音

ulidtko

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

17eyes

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

komar

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

ruda

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

hongweibing

hóngweìbīng

kb

rtsome

Ygglace

Elemir

Evgeny I. E. Omelchenko

4da

4DA

zamotivator

Oleg Tsarev

clayrat

Klayraat

nicka

Никита

smok

Володя

Tags

Do you really want to delete ?