@Elemir's blog

Elemir - Внезапно обнаружил живой и развивающи...

Sun, 09 Dec 2012 13:49:06 GMT

xmms2, ня, git

Внезапно обнаружил живой и развивающийся git xmms2 (старый, — уж полгода минимум как битый). Был очень удивлён, что везде (и в разнообразных ebuild'ах, и в разнообразных PKGBUILD'ах) указан сначала неразвивающийся, а затем и неработающий старый.
http://git.xmms2.org/xmms2/xmms2-devel/l...

http://Elemir.psto.net/tffizf

Elemir - http://plasmon.rghost.ru/42048577/ima...

Thu, 06 Dec 2012 18:13:16 GMT

cs, котики, fp, pic

http://Elemir.psto.net/tfhess

Elemir - Ekaterina: я познакомилась с копирайт...

Sun, 02 Dec 2012 17:11:01 GMT

@Klava, bash.im, quotes

Ekaterina: я познакомилась с копирайтером
это умная и умеющая правильно и красиво говорить девочка
красивая нежная и хрупкая девочка копирайтер
и от вот как результат знакомства я тоже изменилась

и стала говорить НОРМИК, ПИЗДАРИКИ и ОХУЕНЧИК
Ekaterina: и КАПСОМ

http://Elemir.psto.net/tftfst

Elemir - http://www.google.com/intl/ru/takeact...

Wed, 28 Nov 2012 11:50:34 GMT

google, цензура, подписи

http://www.google.com/intl/ru/takeaction...

http://Elemir.psto.net/tfotet

Elemir - squadette: Недавно мне позвонил курье...

Tue, 27 Nov 2012 18:53:54 GMT

bash.im, вещества, амфетамин

squadette: Недавно мне позвонил курьер на автомобиле, сказал что будет через час. Потом перезвонил через десять минут, и замечательным голосом сказал: "Знаете, Алексей, ДОРОЖКА ХОРОШО ПОШЛА, так я у вас минут через пятнадцать буду."

http://Elemir.psto.net/tfoznt

Elemir - А ты неёбанная нимфоманка

Mon, 26 Nov 2012 21:35:03 GMT

quotes, дк

А ты неёбанная нимфоманка

http://Elemir.psto.net/tfzghz

Elemir - http://kommersant.ru/doc/2075283

Fri, 23 Nov 2012 18:17:03 GMT

социализм, news, ня

http://kommersant.ru/doc/2075283

http://Elemir.psto.net/thnnhh

Elemir - http://vk.com/wall1831257_1522

Thu, 15 Nov 2012 12:19:11 GMT

vk, nazi, опрос, политота

http://vk.com/wall1831257_1522

http://Elemir.psto.net/thefss

Elemir - Либертарианство не создаёт проблем, а...

Mon, 12 Nov 2012 16:21:59 GMT

экономика, социология, либертарианство, социализм

Либертарианство не создаёт проблем, а только их решает!
http://en.wikipedia.org/wiki/Tragedy_of_...

http://Elemir.psto.net/thssiz

Elemir - http://sourceforge.net/p/adwm/home/Home/

Sun, 04 Nov 2012 20:42:38 GMT

wayland, x11, иксам капец

http://sourceforge.net/p/adwm/home/Home/

http://Elemir.psto.net/thfiis

Elemir - https://bugzilla.mozilla.org/show_bug...

Thu, 01 Nov 2012 14:43:39 GMT

thunderbird, bugs, пиздец, ldap

https://bugzilla.mozilla.org/show_bug.cg...
> Reported: 2001-06-18
> CC List: 168 users
> Importance: P3 enhancement with 388 votes
И самое смачное! > Status: NEW

http://Elemir.psto.net/thhezi

Elemir - Нашёл охуенный вики-сайт по математик...

Wed, 31 Oct 2012 22:36:49 GMT

math, wiki, nya

Нашёл охуенный вики-сайт по математике, — http://ncatlab.org/nlab/show/HomePage Меня привлекло в первую очередь большое количество статей по конструктивизму и категориальной логике

http://Elemir.psto.net/thhife

Elemir - Внезапно, товарищ Uriel умер

Mon, 29 Oct 2012 14:14:37 GMT

sad_news, plan9, rip

Внезапно, товарищ Uriel умер

http://Elemir.psto.net/thtesz

Elemir - http://psto.net/search?text=elemir&mo...

Thu, 18 Oct 2012 17:26:05 GMT

psto, python, нетипизированное говно

http://psto.net/search?text=elemir&m...

http://Elemir.psto.net/ttnzfs

Elemir - 2004 -- Yi is derived from Riot
Thu, 11 Oct 2012 22:59:16 GMT

yi, haskell, внезапно, tuomov
2004 — Yi is derived from Riot < http://iki.fi/tuomov/riot/>, written by Tuomo Valkonen.
http://Elemir.psto.net/ttseiz

Elemir - Офигенное и понятное (что редкость) в...

Tue, 09 Oct 2012 22:45:55 GMT

math, type theory, ня, конструктивизм

Офигенное и понятное (что редкость) введение в интуционисткую теорию типов. http://www.cse.chalmers.se/~smith/handbo...

http://Elemir.psto.net/ttszeh

Elemir - Мой рабочий восьмиядерный десктоп с д...

Thu, 27 Sep 2012 16:08:14 GMT

thinkpad, дерьмо

Мой рабочий восьмиядерный десктоп с двумя мониторами стоит дешевле, чем бомжовый thinkpad.

http://Elemir.psto.net/tttfni

Elemir - http://www.macdigger.ru/macall/skromn...

Wed, 19 Sep 2012 17:31:05 GMT

apple, быдло, сша, социалистическая европка

http://www.macdigger.ru/macall/skromnye-...
Шведы охуенны, я щитаю.

http://Elemir.psto.net/ttztgo

Elemir - Наконец-таки наткнулся на книгу, каче...

Tue, 18 Sep 2012 23:48:36 GMT

math, books, types, logic, ня

Наконец-таки наткнулся на книгу, качественно и полно раскрывающую тему задания и исследования систем типов с помощью теории категорий, — "Introduction to Higher-Order Categorical Logic" Ламбека. Она описывает три разных способа задать типовые системы с помощью категориальных структур, — начиная от наивного CCC, заканчивая доказательством того, что любую типовую систему можно описать как топос, и наоборот. Также рассматриваются немаловажные практические вопросы, — категориальное описание нетипизированного лямбда-исчисления, а также эмуляция рекурсии. В общем я с удовольствием сел за её чтение, чего и всем заинтересованным рекоммендую. Для чтения будет достаточно элементарных знаний в логике и знакомства с аксиоматикой Гёделя-Бернайса, Ламбек вводит всё остальное необходимое прямо в книге.

http://Elemir.psto.net/ttzoso

Elemir - xxx: Ты сказала не писать тебе и что ...

Thu, 13 Sep 2012 18:17:17 GMT

@Elemir, @karnath, bash.im

xxx: Ты сказала не писать тебе и что не хочешь со мной общаться, а теперь ты мне пишешь сюда. Что это значит?
yyy: это значит, что я психованная дура, но я остыла :)

http://Elemir.psto.net/togetg

Elemir - http://cs407324.userapi.com/v40732471...

Thu, 13 Sep 2012 12:42:16 GMT

@wasd, pic, кот

http://Elemir.psto.net/togsgo

Elemir - Внезапно приятная новость из мира нек...

Thu, 06 Sep 2012 16:39:34 GMT

freebsd, некрофилия, ня

Внезапно приятная новость из мира некроюниксоидов, — фряшники таки допилили свой новый "пакетный" менеджер. Судя по описанию, — он возможно сможет уделать в удобстве и скорости emerge. Надо выделить как-нибудь себе денёк и потыкать его поподробнее.
http://www.opennet.ru/opennews/art.shtml...

http://Elemir.psto.net/toseih

Elemir - http://emacswiki.org/emacs/FootSwitch...

Fri, 31 Aug 2012 17:49:08 GMT

emacs, wiki, педали, костыли

http://emacswiki.org/emacs/FootSwitches
Я знал что они существуют! Иначе бы никто не пользовался имаксом.

http://Elemir.psto.net/tofngi

Elemir - Не, я прекрасно понимаю когда на тако...

Thu, 30 Aug 2012 12:26:58 GMT

@javakka, psto_ppl, идиоты

Не, я прекрасно понимаю когда на такой толстый троллинг ведутся всякие фанатки Ранеток и WinX, ЦА товарища Гоблина и прочие 14-16-летние школьники. Но, мать вашу, чуваки, вам не 15 лет, неужели можно быть ТАКИМ тупым, чтобы не понимать, что сей персонаж чисто синтеческий и виртуальный, идеально подобранный под троллинг аудитории этого ресурса. Нет, вы толпами по 20-30 человек кормите этого сраного убогого тролля. Вам не тошно?

http://Elemir.psto.net/tofieo

Elemir - Поцоны, кто на какие курсы в НМУ в эт...

Wed, 29 Aug 2012 17:16:23 GMT

math, dc, ?, НМУ

Поцоны, кто на какие курсы в НМУ в этом году пойдёт?
http://ium.mccme.ru/f12/algebra1.html
Я думаю над алгеброй-2, выбираю между топологией и геометрией, и хочу попытаться сходить к Мише. Кто чо как?

http://Elemir.psto.net/tofhtn