конец понведельника закончился весело

Судя по всему, я ревность пяти процентов нашего общества и не сможет принять что-то не такое, как у него каждый адекватный человек должен понимать, что не только его точка зрения является едина верный и правильный. А есть масса других точек зрения. Слово пробыла. Вы не замечает, что в нашей стране каждого парня, который просто целоваться не знает эти фразы. Красив. Просто мало мало сидит за собой. Также он зарыт Питера. Вы почти почему? Ну как у тонечки? Не ходит там нас не по принте масик пати и не бьёт по. И.
При поддержке Золота Бородача

https://t.me/scala_ru/302517

Hello officer, I'd like to report a murder.

неет

это не токс

правда уважаю его позицию

(нет)

Вот это кроссовер

как дела

Гадаю по бенчмаркам

И отсутствию внятных SLA

я целый день тупил в денотационные семантики сепарационных логик

Ещё бы понимать что это такое

типа математические модели программ

есть три вида формальных семантик

денотационная, когда программа мапится на математический объект

операционная, когда строится автомат, работа которого вычисляет программу

и аксиоматическая, когда программа прошивается пред/постусловиями

Так понятно