@gds's blog

gds - "thunk" / "deferred computation" -- "...

Wed, 27 Mar 2013 02:32:58 GMT

cs, fp, it, язык

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

http://gds.psto.net/tseohz

gds - Как выяснилось, карго-культ по отноше...

Tue, 26 Mar 2013 18:20:33 GMT

coq, говно

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

http://gds.psto.net/tsezso

gds - http://haskell98.blogspot.com/2013/03...

Tue, 26 Mar 2013 13:29:11 GMT

говно, гей, неуподоблюсь

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

http://gds.psto.net/tsezof

gds - "MinusIQ | The pill to lower your IQ ...

Sat, 23 Mar 2013 12:31:41 GMT

"MinusIQ | The pill to lower your IQ permanently" —

http://gds.psto.net/tssinh

gds - Купил, блядь, ботиночки новые. Не сил...

Thu, 21 Mar 2013 15:57:57 GMT

ненависть, говно

Купил, блядь, ботиночки новые. Не сильно жмут, походил пару дней. А потом прихватило ногу так, ходить можно только очень медленно и с ощутимой болью.
Такое уже пятый раз за последние 3..4 года. А как проходит — так хоть бегать, хоть прыгать могу, никаких неприятных ощущений.
Что удивительно — в первый раз сходил к врачу, он нихуя не посмотрел, прописал прогревания озокеритом, за неделю прошло.
Второй-третий раз — ничего не делал, валялся в кровати, дня за три-четыре прошло.
Последние разы — закидываюсь ибупрофеном в небольших дозах (200..400мг * 2..3 раза в сутки), за день-два проходит. Ну вот, и сейчас должно пройти.
Вроде тут есть сведущие во врачебных делах, поэтому опишу симптомы, вдруг будут идеи. (понятно, что надо к врачу, но не к такому, как в нашей деревне.)
Имею: воспаление стопы сверху и немного с боков, боль при попытке поднять стопу (ту часть, где пальцы) вверх, боль при ручном изменении положения стопы в этом же направлении. Есть какой-то критический угол подъёма, после которого больно. Что плохо — что для ходьбы требуется преодолевать этот угол.
Такие дела.

http://gds.psto.net/tsstzg

gds - Зарелизил мелкую библиотечку для отла...

Wed, 20 Mar 2013 21:25:46 GMT

coq, cs, fp

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

http://gds.psto.net/tsszng

gds - " Rc43: What does name of Agda mean? ...

Wed, 20 Mar 2013 19:22:57 GMT

coq

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

http://gds.psto.net/tsszgo

gds - Посоны, помогите с задачкой. Я совсем...

Tue, 19 Mar 2013 15:14:08 GMT

cs, it, math

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

http://gds.psto.net/tsigii

gds - Вот блядь. Метакласс подкинул смехуёч...

Mon, 18 Mar 2013 21:55:27 GMT

it, говно, гей, nopython, noperl

Вот блядь.
Метакласс подкинул смехуёчку:

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

Во-первых, он уссатЪ. Во-вторых, как @nicka говорит, он похож на гибрид мицгола и бората. (я бы не додумался, честно. Но это правда!)

А я об это контачился.

http://gds.psto.net/tsiefe

gds - Наша редакция рада ответить на просьб...

Mon, 18 Mar 2013 15:44:39 GMT

coq, cs, fp, it, ocaml

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

http://gds.psto.net/tsiezf

gds - " — Слушай, давай зависнем в коворкин...

Sun, 17 Mar 2013 21:27:52 GMT

it, гей, hot_gay

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

http://gds.psto.net/tsisot

gds - Швятая троица: Швабодка, Штабильность...

Sun, 17 Mar 2013 15:20:57 GMT

язык, говно

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

http://gds.psto.net/tsiist

gds - http://img.klisunov.ru/marriedtothese...

Sat, 16 Mar 2013 18:35:09 GMT

psto, married to the sea

http://gds.psto.net/tsifet

gds - http://scepsis.net/library/id_180.htm...

Sat, 16 Mar 2013 00:19:41 GMT

политота, говно

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

http://gds.psto.net/tsihef

gds - В соседнем городе, куда теперь есть в...

Mon, 11 Mar 2013 13:06:02 GMT

чай

В соседнем городе, куда теперь есть возможность легко поехать, нашёлся забавный магазин с названием "Чай, кофе и другие колониальные товары" (хотя гуглота говорит, что название отнюдь не уникальное для того магазина, оно всё равно клёвое).
Несмотря на неплохой выбор чая, некоторые сорта не смог найти даже там (например, сенчу хотел бы попробовать).
Но вот что понравилось — большой выбор пуэра. Сразу купил несколько кубиков (3*3*1.5см) 10-летнего пуэра, вдобавок решил себя побаловать вот такой шнягой:

Теперь, бывает, по утрам аккуратно крошу это дело вдоль чайного листа, пол-плитки уже ушло. Что удивительно — вкус отличается от классических "таблеток" пуэра, которые обычно продаются подешевле. Меньше похоже на чифирь, более нежно, что ли.
Вывод: если кто пробовал дешёвый пуэр и ему не понравилось, рекомендую попробовать подороже, обычно они имеют бОльший срок выдержки, может понравится. Ну и разок-другой промыть кипятком перед заваркой тоже не лишне.

http://gds.psto.net/tsfihn

gds - Мой crt-монитор из поста #tzzsfg нача...

Sun, 10 Mar 2013 23:06:52 GMT

дети

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

http://gds.psto.net/tsffse

gds - Пидорасня какая-то. TL;DR => как хар...

Sat, 09 Mar 2013 12:00:39 GMT

linux, гей, hot_gay

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

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

Актуальная документация на xmodmap отсутствует, даже в интернетах.
Через ональные хаки удалось: подсмотреть $(xmodmap -pke), подправить кое-где наугад, потестить, и по итогу сэмулировать мультимедийные кнопки регулировки громкости через Ctrl+Alt+Kp{+,-}, сочинив такой ~/.Xmodmap:

keycode 86 = KP_Add KP_Add KP_Add KP_Add KP_Add KP_Add XF86AudioRaiseVolume KP_Add KP_Add XF86Next_VMode
keycode 82 = KP_Subtract KP_Subtract KP_Subtract KP_Subtract KP_Subtract KP_Subtract XF86AudioLowerVolume KP_Subtract KP_Subtract XF86Prev_VMode KP_Subtract KP_Subtract KP_Subtract KP_Subtract XF86Prev_VMode KP_Subtract KP_Subtract KP_Subtract KP_Subtract XF86Prev_VMode

Заняло часа два. Не дело это.
Зато штатный "апплет" регулирования громкости xfce при убавлении до упора действительно выключает всё, ставя Master = PCM = 0, слава С-т-не.

Однако обнаружилась проблема с xfce4-xkb-plugin (хуйня, которая показывает раскладку и даёт конфигурировать их): он возвращает взад то, что я настроил через ~/.Xmodmap, "погибая при этом".
Думаю избавиться от этого индикатора раскладки (но багу зафайлю). Как хардкорно, через иксы, посоны переключают раскладку клавиатуры?

http://gds.psto.net/tsftho

gds - "Да как ты можешь критиковать тсоя? С...

Sat, 09 Mar 2013 11:16:37 GMT

язык, музыка, говно

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

http://gds.psto.net/tsftti

gds - Имею xfce. Хочу настроить регулирован...

Wed, 06 Mar 2013 21:12:19 GMT

linux, гей

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

http://gds.psto.net/tshgzs

gds - http://udpn.livejournal.com/95628.htm...

Sat, 02 Mar 2013 12:35:31 GMT

fp, it, говно

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

http://gds.psto.net/tshzof

gds - В случае дизайна чего-либо нового либ...

Fri, 01 Mar 2013 17:11:59 GMT

it, гей

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

http://gds.psto.net/tstnzs

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

Fri, 01 Mar 2013 07:34:39 GMT

язык, гей

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

http://gds.psto.net/tstgze

gds - Пост про различие "proof of negation"...

Thu, 28 Feb 2013 15:09:40 GMT

math, cs

Пост про различие "proof of negation" vs "proof by contradiction", в том числе есть интересное про отличие классической от интуиционистской (конструктивной) логики (однако, если последнее вам известно, в том числе на практике, то читать будет не очень интересно, разве что для структуризации знаний): http://math.andrej.com/2010/03/29/proof-...

http://gds.psto.net/tstsgt

gds - http://maxim.livejournal.com/400957.h...

Mon, 25 Feb 2013 22:41:59 GMT

math

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

http://gds.psto.net/tstthn

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

Sat, 23 Feb 2013 18:07:43 GMT

psto, аншланг, гей, говно, музыка, неуподоблюсь, драма

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

http://gds.psto.net/tsoeno