было очень забавно что собственно база (одна из) нынешних верификационных наук - вычисление слабейшего предусловия делается прямо по книжке читайнной мной еще в школе. Все-таки программирование удивительно косная область
30 лет спустя
было очень забавно что собственно база (одна из) нынешних верификационных наук - вычисление слабейшего предусловия делается прямо по книжке читайнной мной еще в школе. Все-таки программирование удивительно косная область
-
"Временное явление"
Прикольный плач о языковых и прочее проблемах Украины: https://inosmi.ru/social/20211023/250740594.html Буковину буквально разделяют на…
-
А ведь и правда сто лет
У бегемота перепост: https://bgmt.livejournal.com/1347100.html Вот этого я у Альфонса Мухи не видела. Для Международного общества помощи…
-
Ещё лампочное из комментов
Даже в 70-е электричество вау эффекта не производило. У меня в деревне в домике киловаттный чемоданчик стоял, но его только ради телевизора и…
- Post a new comment
- 73 comments
- Post a new comment
- 73 comments
-
"Временное явление"
Прикольный плач о языковых и прочее проблемах Украины: https://inosmi.ru/social/20211023/250740594.html Буковину буквально разделяют на…
-
А ведь и правда сто лет
У бегемота перепост: https://bgmt.livejournal.com/1347100.html Вот этого я у Альфонса Мухи не видела. Для Международного общества помощи…
-
Ещё лампочное из комментов
Даже в 70-е электричество вау эффекта не производило. У меня в деревне в домике киловаттный чемоданчик стоял, но его только ради телевизора и…
