AlexTCH

I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scientist Jean-Raymond Abrial. He is a pioneer in formal methods and their applications, particularly through three major innovations: - The "Data Semantics" model. - The two successive versions of the Z specification language. - The remarkable B method and tools. One of the most spectacular achievements of practical formal methods was the groundbreaking verification of the security system of the Paris Metro's "Line 14". A major loss for computer science.

Bertrand Meyer 😢

https://huaweiuk.teamtailor.com/jobs/2474908-programming-languages-principal-research-engineer Huawei is looking for a Programming Languages Research Engineer in Edinburgh...

SOMA-ирония

Хороший армянский коньяк — единственный способ влачить хоть какое-то подобие существования для мыслящего русского человека в 2025 году!

https://www.youtube.com/watch?v=Vxx12whC0js WOW, this was surprisingly good! Very good direction, good production, pretty good acting (considering it's a bit comedic film).

Псы режима. Режима сна и бодрствования. Поднимают в 7 утра на "прогулку".

Пейте, дети, молоко, психдиспансер недалеко!

— Ты чего тут круги нарезаешь? — Ищу шорты. — Трейдер, штоле?

Not to search for the picture for too long next time.

Msc of None

https://www.forester-notes.org/index/index.xml Jon Sterling (and Kento Okura as one can see) released his "mathematical hypertext"/Zettelkasten thing as a full-blown standalone project. And migrated it to the Sourcehut.

Позорливость — способность опозориться в любых обстоятельствах.

Если кто-то другой удалил сообщение пока ты пытался удалить это сообщение — Telegram виснет и падает. Шёл 2025й год. Разработчики по-прежнему не знали, что делать с concurrency. 🤦‍♀️

Dart has Haskell's newtype s now! 😁 https://dart.dev/language/extension-types

When they say "AI makes you more productive" they mean "AI makes more productive the people why can make the thing on their own". If you can't make it without AI you don't become more productive, you're as clueless as before.

https://www.youtube.com/watch?v=_A3TZNXNp_Y This Thursday, Abramsky himself. The topic is next to incomprehensible, as expected. 😁

Древнее зло пробудилось, но ещё не раскачалось. Никаких разрушений до первой кружки кофе!

TIL: in Julia type names are written in capital (or camel) case, but that's simply the code style. The interpreter happily accept and work with low (or snake) case type names. I couldn't find it anywhere in the docs and had to test manually.