December 2nd, 2019

Dr.Strangelove

(казалось бы причем тут dafny)

Тут по моим окрестностям ходят слухи что с В737Max все еще хуже чем говорилось "на народ" - в смысле что при отказе второго датчика система пыталась перейти на первый (который тоже не работал) - ну и. В смысле что чисто софтверный баг там тоже был.
Chim-Rus

А только мне кажется что

Что российская элитка чем дальше тем больше переходит к действиям по принципу:

"А буквы вы умеете? Тоже не умеете? Совсем нехорошо! Ведь мы-то художники! Ну, дня два можно будет мотать, а потом выкинут. За эти два дня мы должны успеть сделать все, что нам нужно. Положение несколько затруднилось. Я узнал, что стулья находятся в каюте режиссера. Но и это в конце концов не страшно. Важно то, что мы на пароходе. Пока нас не выкинули, все стулья должны быть осмотрены. Сегодня уже поздно. Режиссер спит в своей каюте"

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

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

Еще дафнячного: алиасинг

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

На тему медного таза:

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

Динамичная отрасль.

Вообще я конечно хренею тихо от мифа о "динамично развивающейся отрасли IT":

Ну вот то что я по dafny и saw пишу - это вообще-то говоря логика Хоара доведенная наконец до практически юзабельного вида.

Хоар ее придумал в 1969 году. Дейкстра "Дисциплину программирования", где оно популярно презентуется "с человеческим лицом" написал в 1976 (на русском кстати 1978 публикация в серии "со стрелочками" - любимая книжка деццтва - в 9 классе внимательно читал.

Ну в общем - "не прошло и полвека", как этим заинтересовались.

Функциональные языки чуть побыстрее - придумано все в начале 80-х - в индустрию пошло лет через 25.

Объектное программирование - 1967 год - жужжать начало в конце 80-х (если не считать неудавшийся реально взбрык со Смоллтолком).

Ну там про unix, который "не прошло и 40 как наконец перестал быть "системой будущего" (это старая шутка была)

Динамичная очень отрасль. Ага.

Почему кстати историю программирования особенно 60-70-х гг знать полезно - там лежит куча всякого разного, которое только надо поднять с полу, стереть пыль и выгодно продать.
prog

PS: собственно dafny - это "WhyML" с человеческим лицом

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

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

Тяжело жить в Германии простому активисту майдана:

https://inosmi.ru/social/20191202/246357000.html
... Самым оптимальным вариантом и наименее рискованным для комфорта мне кажется переезд в Канаду. Там есть связи, много соотечественников. Но здесь сразу возникает другой вопрос, где взять деньги, чтобы туда переехать… Вообще ситуация выглядит безвыходной. Мы продолжаем перебирать варианты и активно ищем поддержку.

На своем примере я убедился, что Майдан, революцию достоинства, борьбу за суверенитет и целостность Украины рядовые европейцы воспринимают больше с негативной стороны. Конечно, перед переездом сюда, надо всем об этом помнить. Если вы готовы с этим жить, глотать обиды, тогда переезжайте, но, как по мне, это был крайне негативный опыт. По моему мнению, Германия вовсе не так близка к нашим демократическим ценностям, как мы думали, сидя в палатках на Майдане. Спасибо за внимание и надеюсь, что кому-нибудь эта информация будет полезной и поможет решить вопрос переезжать в Германию или не переезжать.


Ну там проблемы типа:
Collapse )