kouzdra

Вообще-то IT-шник он условный весьма - собственно IT не занимался "на земле" ни дня. С самого начала заведовал отделом в МКК - это такая шарашка, которая окучивала чиновников справками "что в мире компьютеров можно купить" -

http://mkf.ru/history/
Создание МКК имело свою предысторию. Его старт планировался как один из проектов ассоциации «Интерзнание», задуманной инициативной группой сотрудников и общественных активистов Всесоюзного общества «Знание», что в здании Политехнического музея на Лубянской площади (особенно следует отметить энергичную деятельность В.С.Булатова, управляющего делами «Знание», С.П.Курдюмова, члена-корреспондента АН СССР, и А. Егорова). А идея создания МКК уже в его сегодняшнем виде была выдвинута и реализована Левоном Амдиляном, работавшем тогда во Всесоюзном обществе “Знание”. Он обратился с этой идеей к В.С.Булатову, и тогда же, прямо в комнате управляющего, родилась концепция будущей организации. В декабре 1988 г. была проведена учредительная конференция МКК в Центре международной торговли на Красной Пресне. Не будет преувеличением добавить, что в этот момент зародилась и часть нынешнего компьютерного рынка России....

Одной из находок Клуба была идея создания БИТ — “Бюллетеня информационных технологий”. В этом небольшом по формату (А5) издании, выходившем небольшим тиражом, можно было найти рефераты западной компьютерной прессы, интересные обзоры, результаты тестов и информацию о мероприятиях МКК. Бюллетень рассылался высшему менеджменту российского компьютерного рынка и издавался с 1989 по 1995 год.

Тестовая лаборатория Клуба, руководителем которой был Михаил Мишустин, тестировала программное обеспечение и “железо” и публиковала свои отчеты в “БИТе”. Особенно хотелось отметить роль М.Мишустина в истории МКК — с самых первых дней организационной работы по его созданию и до сегодняшних дней (в том числе и когда он уже покинул МКК с должности Председателя Правления в связи с переходом на государственную службу) он играл ведущую роль в его функционировании. Вне всякого сомнения, его энергия, знания, энтузиазм во много сделали МКК таким, каким он стал

Я так понимаю мечта Бабченки имеет все шансы исполниться в ближайшем будущем.

Абрамсы на блокчейнах будут бить по Кремлю прямой демократией :)

На деле символичнее даже не разваленный космос и авианосец-приключение, а недавний наезд рамблера на nginx - точнее его неожиданно быстрая развязка.

Тут прекрасно все

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

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

Посмотрел наконец повнимательнее на продукт сумрачного W3C-шного гения - WebAssembly.

До них наконец дошло, что нынешнее использование жабаскрипта с усиленными оптимизациями "на лету" того что оптимизировать нельзя, несколько через жопу (собственно большую часть ресурсов компа Хром и тратит на то чтобы делать это несколько лучше, чем конкуренты, хотя эффективная компиляция динамически типизированного языка в общем случае задача нормально все равно нерешаемая).

В результате получилось не просто удаление гланд через жопу, но удаление их автогеном. А именно:
( Collapse )

Почитал кстати историю с NGinx в изложении Ашманова (кстати к вопросу о ФСБ - с которым Ашманов по крайней мере согласно популярному мнению плотно аффилирован и OSS - кроме прочего надо понимать что в OSS как раз ФСБ и заинтересовано) -

https://roem.ru/12-12-2019/281134/rambler-nginx/?#comment-292045

Там как раз по делу - и в таком разрезе ситуация выглядит совсем провально для рамблера - в смысле там если так как он говорит юристы у рамблера никакие совершенно. Хотя даже если наезд и провалится - крови все равно попортят.

PS: Кстати копирайт в действительности не любят вовсе не за идею что "типа творцу" надо каких-то денег дать, а именно за обилие возможностей для самых фантастического вида злоупотреблений.

PPS: Кстати к предыдущим тредам - Ашманов тут как раз демонстрирует довольно естественное классовое сознание - крупный довольно буржуй, который объективно заинтересован тем чтобы мелкие лавочники (а рамблер тут выступает в роли именно мелкого лавочника, который за три рубля удавится и других удавит) ему поляну не портили. Ну потому что вести дела где в среде где за любой чих в суд подают - некомфортно. Он персонально скорее всего и отсудится - но "а оно надо?"

Тут переживают по поводу истории с "рамблер vs nginx"
https://vitus-wagner.livejournal.com/1506145.html
https://beldmit.dreamwidth.org/897232.html

Ну там и далее по ссылкам.

Ну все почему-то - "какой ужас! какой ужас! Только в россии такое возможно! Ах - через 15 лет".

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

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

Но эльфизм комметаторов данной истории как-то зашкаливает.

Есть еще одно забавное поделие - язычок ivory - safe язычок С-образного типа (у которого естественно есть интегратор под названием tower). Затея сама по себе пример ленивого языкового дизайна - и потому что на haskell и потому что действительно ленивого:

Там использован старый принцип: программа на ivory представляет собой код на haskell, результатом выполнения которого является код на С. Ну а типовой контроль держится на системе типов haskell:

fib_loop :: Def ('[Ix 1000] :-> Uint32)
fib_loop  = proc "fib_loop" $ \ n -> body $ do
  a <- local (ival 0)
  b <- local (ival 1)

  n `times` \ _ -> do
    a' <- deref a
    b' <- deref b
    store a b'
    store b (a' + b')

  result <- deref a
  ret result

Обращу внимани на тип параметра - "от 0 до 1000" - то есть это не совсем фиббоначи (на Ivory кажется non-terminated программа вообще невозможна - но как ни смешно - писать на этом можно - они вон цельный автопилот для квадрокоптера написали)

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

Потом еще Tcl как макроассемблер пользовали (ну в смысле команды просто описываются как tcl-процедуры и вперед) etc

Ну в общем приятно видеть что прием не забыт.

По поводу:
https://kouzdra.livejournal.com/4404809.html
https://kouzdra.livejournal.com/4410328.html

были демоны была бага - вчера вечером засабмитил - пофиксили (говорят - я пока не проверял).

Upd: проверил и правда пофиксили

В общем - разобрался я "что это было и как это называется" (© Леонид Соболев). На деле оказалось не просто "тупо и просто", а "очень тупо и просто" - и довольно коряво, но для своего реального назначения вероятно самое то.

На деле SAW при всей своей интересности жестко заточена под ровно одну задачу: верификацию криптографии, причем в основном той криптографии которую они пишут на Криптоле.

А одна из главных фишек криптола (при всем его хаскелеобразии) - это возможность трансляции его кода в FPGA (ну или просто в жесткую логику). Разумеется - не любого кода, но вполне понятного подмножества: где ширины битовых полей ограничены, циклы по ним тоже невелики, а прочее делается "в потоке данных" (кой поток изображают свертки-зипперы с бесконечной рекурсией). Насколько этого достаточно на все криптографические случаи жизни, я сказать не возьмусь, но понятно что довольно многое туда попадает.

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

Если получилось - все хорошо, если нет - зациклится (приведенный мной пример с делением - просто ошибка в процессе развертки). Заодно понял и как оно казавшиеся головоломными примеры из того поста доказывает.
( Collapse )

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

Так-то там ничего особенно принципиально нового нет.