April 16th, 2016

Gen.Turgidson

"Об этом мы с господином окружным начальником

говорили еще до войны": про Coq:
http://caml.inria.fr/pub/ml-archives/caml-list/2000/01/bb794203a8b51a7602bf06ab1441d54a.en.html
(это я к этому вопросу "Что я думаю за кока"
Date:	-- (:)
From:	Anton Moscal 
Subject:	Re: Q: camlp4 use?
On Thu, 13 Jan 2000, Daniel de Rauglaudre wrote:

> > I am asking who is using the Camlp4 as an Ocaml preprocessor (the
> > Revised syntax is another legitimate use of Camlp4, as is its pretty
> > printing facilities) and why?
> 
> The main big user of Camlp4 is the program Coq (from the project Coq
> of INRIA). The revised syntax seems to have very few users.

I use CamlP4 for different for of the "syntaxic sugaring" (for example -
for list comprehension syntax) and for incapsulations of some patterns in
matching.

I have a following question about camlp4 distribution: I failed to build
Windows version of camlp4. May will be better to include camlp4 in binary
Windows distribution of OCaml?

Regards, 
Anton
Major Kong

"Старое как говно мамонта"

Вообще к вопросу о том насколько subj (тоже примерно 99-2000 год):

Collapse )На это кстати последовал немедленный ответ и предлагаемые патч был иинкорпорирован в ближайший релиз Ocaml (хоть естественно не в таком виде - XL все-таки лучше знал куда там надо это вставлять).

Упомянутый CoQ там был у меня на пару с самим компилятором главным тестбенчем - "если и он после моих грязных хаков заработает - значит я ничего серьезно там не сломал" - заработал - и оекономию по коду на Петухе дал даже больше - около 15% емнимп)

Но вообще говоря - странно даже не то, что чувствовать себя динозавром - странно то, что вот это все закаменелое говно конца прошлого века до сих пор "передний край компутерной науки".

Тойсть у мну проблема что таки да - на ветке ML-CaML-OCaml-Dependent ML-ATS выросло нечто нетривиальное - но мне трудно это заметить потому что я все эти окаменелости знаю и что там что-то особенное может прорасти в общем не жду (хотя тут слава Путину (без шуток кстати) извне обратили внимание - ну и оценил) - но норот ведь в основном и об этом не думает.

Да - этот пост проплачен за 83 рубли.
Слава Путину!
PS: А если серьезно - то вот правда - причиной моего начального интереса (потом пошел собственный) было именно - "а вот посмотри что щас с верификацией формальной в мире происходит - и особенно на ATS посмотри - потом расскажешь и может поможешь бумажку с предложениями для заказчика написать"

Ситуация как раз радикально отличающаяся от 15-летней давности, когда всем на такие вещи было просто пох - "мы все купим". А тут - спрос есть, хоть и непростой.

Кстати сильное отличие нынешней путинской россии от ельцинской-постельцинской - восстанавливается квалифицированный спрос. С околовоенных вестимо - а по другому и не бывает - если у вас есть армия и нет квалифицированного военного спроса - у вас и никакого нет (исключения - мини-республики которым повезло встроиться в международное разделение труда в прибыльную позицию - типа Швейцарии - хотя и ее встраивание основано на войне - автомат с запасом патроном под кроватью и налог на уклонистов как бе намекают)
Gen.Turgidson

"in order to prevent misconstruction or abuse of its powers"

К вопросу о хулительных стихах на Ердогана, оскорблении шляхетской доблести фактами что оне перебили больше жидов, чем бошей и прочем (не исключая наших кстате пусек риотных и прочее):

THE Conventions of a number of the States having at the time of their adopting the Constitution, expressed a desire, in order to prevent misconstruction or abuse of its powers, that further declaratory and restrictive clauses should be added: And as extending the ground of public confidence in the Government, will best insure the beneficent ends of its institution...

Вообще а что я дико американцев уважаю - за первую поправку - которая именно страховка от таких соблазнов и есть.

Что она не всегда работает тоже я и сам знаю - не надо - но работает все-таки же, отсекая большую часть подобной лютой-ебаной-хуйни в зародыше - потому как уже просто знание что твоя инициатива скорее всего о первую поправку и убьется веником большинство инициативников тормозит уже на фазе придумывания инициативы.
Gen.Turgidson

"Великая дерьмократия без писанной конституции"

Кстате - поклонение англичашке по поводу subj и одновременно биллу'о'райту есть несколько взаимоисключающие пункты - поскольку Билла позвали именно дабы хоть как-то ограничить пенки, традиционно порождавшиеся именно subj-ем.

На континентальный опыт отцы-основатели конечно тоже смотрели - но билль о правах документ в первую очередь практический, и каких именно закидонов следует ждать от "избранников народа" прикидывали в первую очередь по англо-саксонскому опыту
Gen.Turgidson

На радио "Свобода" (что в данном контексте особенно смешно)

Большая статья о дивном новом мире с технологией "блокчейн":

умные контракты могут регулировать и договор аренды (не заплатил за месяц – замок входной двери перестает работать) и кредитные договоры (не внес платеж – машина перестала заводиться).

Ну что они - Филиппа Дика не читали - "Убик" или там Носова "Незнайку на Луне" (гостинница "Экономическая").

Хотя понятно, что "мечта либертарьянца" - чтобы все механически контролировалось и честность энфорсилась компутером (типа "система общественной совести"). Понятно и почему работать не будет.

Upd: Особенно прикольно что это все в украинском контексте - так и просится бисмарковское - "идея интересная, надо попробовать на стране, которой не жалко"

via
Dr.Strangelove

Кстати о дивном новом мире

А ведь кстати электронное голосование должно в числе прочего предполагать и легкость скупки голосов - это при физическом его тайну хоть как-то можно гарантировать - а при электронном - хрен
Dr.Strangelove

Из комментов

фундаментальная дыра биткойна в самой идее - если он станет "электронным золотом" - то и будет с ним тоже самое что и с золотом - будет лежать в хранилищах банков а ходить будут производные от него деньги.

Поэтому на сам деле и не взлетит. Золото и так уже есть.
Gen.Turgidson

Ну вот - пусти колхозника в городской дом...

... и он на балконе хлев устроит.

Паргентум прочитал меня и сообщил что принял вентиляционные каналы в стенах за дымоходы:

В Новосибирском Академгородке дома первых поколений ВЗ (трех- и пятиэтажные кирпичные хрущевки) имеют в стенах каналы под дымоходы и характерные трубы на крышах.

PS: Инициатор темы Таки-Нет, что характерно такой ошибки не делает - зато имеют систему каналов вентиляции, пригодных для использования как дымоходы.
Major Kong

Бггг:

«Молодые люди с растрепанными и грязными волосами, в рваных джинсах, которые пропагандируют разврат и пацифизм — это результат экспансии в Украину американского образа жизни, либеральной идеологии»....

«Вспомним времена Киевского государства. Тогда Украина была одним из ведущих центров культурной жизни Европы, самой милитарной силой Европы. Собственно тогда Украина защитила белую расу от тотального нашествия азиатских орд. Остановила их своей грудью...

Россия и США являются двумя центрами мондиализма, которые, собственно, и стремятся уничтожить европейский дух, как враждебный своей сущности. Стремятся уничтожить идентичность европейских наций. Но они не понимают — варвары могут временно победить, могут многое уничтожить, но европейский дух, дух белой расы они не уничтожат.


© новый спикер Рады

via
Gen.Turgidson

Сила стереотипов:

alien3 сообщает:

Выступил на V Всероссийском конгрессе молодых учёных в ИТМО:

«Многие из сидящих в зале родились уже в то время, когда люди перестали летать на расстояния большие, чем 400 километров от Земли....


Причем автор более чем в теме - но вот ляпнул однако (хотя "в главном-то он прав"):)
Gen.Turgidson

Корейские учоные открыли:;;

= align=right>62. Ученый с мировым именем Иннокентий вывел
новый сорт вишен, сильно напоминающих арбузы.
Не размером - вишни очень мелкие, и не вкусом -
вишни ужасно горькие, а большим количеством
косточек, которых в каждой вишне - ровно 174 штуки.
Сколько вишневых деревьев смогут вырастить
опытные садоводы из 3 ведер этих вишен, если
в первом ведре насчитывают 675 вишен, во втором
- 732 вишни, а в третьем - 591 вишню.

Collapse )
Dr.Strangelove

Олдскульное от доктора П

http://dr-piliulkin.livejournal.com/776824.html
Дети нашли старую папину пишущую машинку.

Извлекли из шкафа, заправили лист бумаги, принялись печатать.

Печатает.

На ленте, заправленной двадцать лет назад.

Старший сын обдумывает идею сделать задание по литературе на пишущей машинке, отнести в школу и всех поразить.

Младший сын удивленно спросил: "Папа, ты на этом писал?"


ЕМНИМП 20 лет назад (1996 то есть) я самозабвенно срался с доктором в SU.BOOKS - наверное он выходил в сеть (не в интернет кстати) с пишущей машинки (хотя теоретически такое возможно - в конце концов телетайп и есть пишущая машинка заапгрейженая до уровня электромеханического модема - даже протокол тот же что и в RS-232 - только электрические параметры другие
Dr.Strangelove

Тут - мудрость:

Миф, антимиф и историческая справка имеют свою различную, данной ипостаси свойственную силу, полезность и объективность. Лучше их сильно не перемешивать; впрочем, их, как правило, пишут совсем разные люди. Так, материалы архива КГБ не являются органическим продолжением трудов «Краткий курс истории ВКП(б)» или «Архипелаг ГУЛАГ».
Gen.Turgidson

"Молодые и сильные выживут - и расскажут как было весело"

Случайно наткнулся на набор мемуаров о "свободных 90-х":
Главный: http://istarni.livejournal.com/143910.html#comments
Ну и другие на ту же тему в комменитах:
http://kot-kam.livejournal.com/1369282.html#comments

Там в общем местами лютый-хтонический п-ц - хотя понятно что может быть и много хуже - но и это скажем так - то, что я стесняюсь как поклепы возводить. Причем это все не "совковатники" - а скорее наоборот.

Я-то и ко в 90-е в общем "катался как сыр в масле" (с поправкой на общий тогдашний уровень) - это было действительно "время нашего поколения" - и мои претензии в том что время на сам деле было очень душное и тесное - пространство возможностей закрывалось (я бы точку максимума обозначил бы в 1990-м, потом хужее и хужее - щас кстати напротив)...

Но вот такое.

PS: Есть один эпизод который мне запомнился впрочем - в рамбовскую электричку (я тогда жил в дачном и постоянно катался в универ оттуда) в Ульянке зашла такая рафинированного вида дама - как будто только что из театра вышла "с газетами" и пыталась их продавать - смотря умоляющими глазами - газету я купил, но вообще говоря было сильное желание у нее их отобрать и пройтись вместо нее по поезду как положено с криками и зазываниями. В общем до сих пор помню и жалею что так и не сделал. Больше я ее на этой линии не видел - да и не удивительно.

Вообще ощущение крайне неправильности происходящего у меня было с конца 80-х - но тут оно как-то бомбануло как это щас принято говорить