bamalip: (Default)
2017-07-22 05:09 pm

* * *

на сайте анти-поттеринговской пропаганды http://without-systemd.org/wiki/index.php/Main_Page#GNU.2FLinux_distributions
есть отдельно список "GNU/Linux distributions" и отдельно "Linux distributions (non-GNU)" - без формулировки критерия различия.
причем Void Linux, который я недавно установил в виртуалку, значится в обоих списках.
что они хотели этим сказать?
bamalip: (Default)
2017-07-20 07:33 pm

* * *

Италия ведет военные действия в Украине на стороне РФ: https://argument-q.dreamwidth.org/37152.html?style=mine
bamalip: (Default)
2017-07-20 07:21 pm
Entry tags:

* * *

https://ua.censor.net.ua/photo_news/448219/boyiovyky_prodovjuyut_yurodstvuvaty_i_tantsyuvaty_na_kistkah_ubytyh_nymy_lyudeyi_kazanskyyi_pro_mityngrekviyem

Люди, які в 2014 році заявляли, що в "Боїнгу" були несвіжі трупи, і катастрофа була підлаштована, тепер вдають, що їм шкода загиблих пасажирів. У маскараді використовували дітей, яких одягли в ангелів і змусили покладати до пам'ятника дитячі іграшки. Рідкісне за своєю мерзенністю лицемірство", - написав блогер.


(примерно такое же у меня впечатление от лживых и противоречивых заявлений от бывшего работодателя о причинах прекращения того еще проекта).
bamalip: (Default)
2017-07-19 06:41 pm

* * *

у нас тут в магазинах наблюдаю новый бренд Vinga, консультанты говорят, якобы он украинский, но где у них производственные мощностя, не говорят. телевизоры, мышки, наушники, корпуса для компов, дешевле китайского. но меня терзают смутные сомнения, поскольку нагуглить ничего внятного про этот бренд не получилось, что как-то подозрительно.
bamalip: (Default)
2017-07-19 11:51 am

* * *

Пришла MB из гарантии. Теперь у нее mac-address: 88:88:88:88:87:88 на физическом интерфейсе, лол.
bamalip: (Default)
2017-07-15 09:28 am

* * *

вспомнил, что еще давно обращал внимание на однотипньіе аватарки на фоне нашего флага. начал гуглить, вроде бьі их раздавали на сайте http://eduni.com.ua/ - но сейчас сайт не работает. що робити, аби отримати таку аватарку?
bamalip: (Default)
2017-07-14 03:07 pm

давно пора

"міністерство звертається до правоохоронних органів з проханням провести розслідування з'язків духовенства Московського патріархату з окупантами."
http://espreso.tv/news/2017/07/13/minkult_zvynuvatyv_moskovskyy_patriarkhat_u_spivpraci_z_okupantamy
bamalip: (Default)
2017-07-13 04:24 pm

* * *

жизнь идет "своим чередом" (что, кстати, это выражение должно буквально означать?), а мразь вокруг остается все той же мразью.
bamalip: (Default)
2017-07-12 07:22 am

* * *

а были ли случаи, чтоб рашист осознал и покаялся? или наоборот?
или исторически: признавали ли головорезы люфтваффе или там СС свои злодеяния?
или там тоже: святофюрер, нибелунгивоевали, вретевывсё-холокостанет?

это я не устаю удивляться лицемерию нынешних россиян.
bamalip: (Default)
2017-07-12 06:13 am

* * *

а поиск-по-блогам от яндекса уже совсем того, да? он и так в последнее время был крайне ограничен, а сейчас там выдается просто выдача из основного поиска. очевидно, теперь сервис доступен только кураторам из гб, нечего толпиться, панимаишь, товарищи, здесь вам не тут.
bamalip: (Default)
2017-07-12 06:03 am
Entry tags:

* * *

"четвертому товарищ полковник... по блядскому укроповскому хутору по 20 снарядов залпом, огонь! уничтожить пидарасов..." в кабине гос. флажок рф и это войска рф стреляют по Украине:
https://argument-q.dreamwidth.org/34520.html?style=mine
bamalip: (Default)
2017-07-12 05:56 am
Entry tags:

* * *

баг ловил меня, но не поймал
bamalip: (Default)
2017-07-10 03:18 pm
Entry tags:

* * *

вчерашнее сразу приходится доделывать, поскольку семантика, в отличие от синтаксиса, не просто функтор, а функтор с двумя переменными, контра- и ковариантной. поэтому придется рассматривать профункторы и их концы. ох!
bamalip: (Default)
2017-07-09 06:30 pm
Entry tags:

AST: pure monadic FOAS is better than dirty HOAS

Я тут начал разбираться с HOAS и понял, что он нинужин от слова совсем.

Мало того, что его семантика сомнительна, по крайней мере нормальных объяснений я не видел, везде это представлено в виде "а вот есть такой фокус". Но! Цели HOAS достигаются простым FOAS, если он монадичен. А ведь он действительно, обычно представляет собой монаду, да еще и свободную. Хотя свободность не обязательна.

Более конкретно, для конвертации из внешней лямбды в пользовательский тип и обратно достаточно структуры монады на обычном (FOAS-like) AST. Демонстрационный код на Идрисе сейчас в процессе написания и вскоре воспоследует; по идее он ничего специфического использовать не должен, и будет портируем на Скалу или Хаск.

UPD
https://github.com/zraffer/AST/blob/be3b945aad3f5987d19668238f523324e4d0d0ba/src/idris/type_monad.idr
завтра сделаю для примера вариант simple typed lambda, чтобы можно было конвертировать из синтаксической формы в семантическую и обратно. ежели получиццо.
bamalip: (Default)
2017-07-09 06:27 pm

* * *

день прошел, а информации нет.
так что там у Трампа с Пуйлом было, какие результаты?
и почему они не могли по Скайпу или по е-мейлу давно договориться, а надо вот так вот?
bamalip: (Default)
2017-07-08 03:50 pm

* * *

хвалебные песни языку Идрис
https://news.ycombinator.com/item?id=14551330

UPD
http://docs.idris-lang.org/en/latest/faq/faq.html#will-there-be-support-for-unicode-characters-for-operators
неприязнь Брейди к юникоду выглядит либо личной идиосинкразией, либо даже ложной гордостью англосакса тем фактом, что в мире все якобы пользуются только латинским алфавитом. до определенной версии у них даже тип String не поддерживал юникод, что для 2000-х довольно странно. а уж эти отговорки по ссылке выглядят совершенно притянутыми за уши: якобы броузеры до сих пор плохо поддерживают юникод, лол. это при том, что даже инженерская Java с самого начала поддерживала юникод как в данных, так и в идентификаторах.
но пользователи все равно находят способы обойти авторские ограничения:
https://github.com/Heather/idris-unicode/blob/master/Control/Unicode.idr
bamalip: (Default)
2017-07-07 07:54 pm

* * *

вот еще Qubes-OS как раз дошла до почти-RC очередной версии
https://groups.google.com/forum/#!topic/qubes-devel/SYDnEdLBVu4
(на самом деле далеко до RC, судя по описанным багам)

но у них Xen+Fedora и соответственно systemd :(