gavr_sas

сыс!

эмм, вдоль улицы стоят такие штучки каждые 100 метров, типа информационные терминалы 2002? прикольна

методы борьбы с бомжами восхитительны

панельки 2.0 лестничная"площадка" снаружи и у каждого своя дверь на улицу #здания@gavr_sas

так вот как живут богатеи в пентхаусах

12 ЖАБ как у оригинала?! думал будет типа 2 а ваще ориг забавный конеш, чето супер странное ((((у меня лучше 😈))))

1:1 реврайт

https://www.phoronix.com/news/Micro-QuickJS Сделал то чего не смогли разработчики фреймворков вложив в это миллионы человеко-часов

пиздец, это какой то тут следящий закон штоль, каждый вайфай, запрашивает сначала мыло, а потом и все остальное, литерали 1984

#здания@gavr_sas

верим?

бррр нинавижу

глав дизайнера этого сокровища Alan Dye переманили из apple в meta средний интеллект возрос у обеих компаний

воздушный пример формальной верификации в Ada preкондишон - X должен быть меньше максимального значения инта Посткондишон - X на выходе должен быть больше чем X на входе

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

Мне оч понравилось как выглядит код на Ada вот тут https://youtu.be/JYNW9T-HKkU?list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o&t=123 и сразу же стало интересно как оно будет на ниве, штош скобок действительно раза в 2 меньше А вообще у меня какая то Ada фаза начинается

True and factual

дефолтный JIT питона выглядит замечательно (не pypy)

ну и тема конеш на learn x in y, комментарии неотличимы от идентификаторов посмотрел другие языки, у всех также учитывая характер местного кода комментариев тут всегда с избытком https://learnxinyminutes.com/niva/