https://www.youtube.com/watch?v=CU0VikkaaZ0

Very funny! And pretty exciting too. 😁

https://www.producthunt.com/products/ecosort-2

Potentially useful, but it seems to send your pictures of garbage to Google Gemini. On the other hand, sending garbage to Google Gemini sounds pretty fun even without recycling. 😏

https://openai.com/index/shipping-sora-for-android-with-codex/

Очень умилительный пост. 😊 По итогу OpenAI выяснили, что можно очень быстро написать небольшое приложение с очень высоким уровнем качества, если

— собрать небольшую команду очень квалифицированных инженеров
— не заёбывать их процессами и бюрократией
— тщательно продумать и зафиксировать архитектуру приложения
— на ранней стадии реализовать end-to-end несколько наиболее критичных фич
— методично покрывать всё тестами
— делать (detailed) design review прежде чем кидаться кодить

Это, безусловно, прорыв. Никто до них такого не знал. (Peopleware? Джоэл Спольски? Не, не слышал.)

Для меня загадочными остались только два вопроса:

1. зачем в этой схеме Codex?
2. что ж мешало всем так делать последние ~40 лет?

https://www.youtube.com/watch?v=mQnKZr97y7A

In the essence, it's just a one cool fancy example of probabilistic programming... but it's still cool, though-provoking and kinda deep in more that one way.

https://www.youtube.com/watch?v=D_gs6mTY0w8

A sorta follow-up. Behind the Scenes, a breakdown of the process, the lighting, the props and so on. A must-watch for anyone shooting anything. A lot of tips, tricks and wisdom.

ARMA 5 is already here, you're simply looking in the wrong store! 😂

https://nibblestew.blogspot.com/2023/09/circles-do-not-exist.html

Old news: Circles do not exist... in PDF, apparently. 😁

Случайно купил молотый кофе в такой же пачке, в каких продают зёрна. Пять минут не мог понять, как же его заваривать — кофемолка, очевидно, бесполезна, но с чего тогда начинать, если не с помола?

По итогу оказался вполне неплохой кофе. По крайней мере, пока он свежий. Хотя помол мелковат для воронки, на мой вкус. И много "шелухи" в помоле.

The famous Jeff Dean and Sanjay Ghemawat recently (2025/12/16) updated their quite elaborate and comprehensive article on performance engineering:
https://abseil.io/fast/hints.html

https://youtu.be/aaOZC--KY1w

Konstantin Vasiliev as 2025 draws to the end... 😏

Люблю поздравления от сервисов такси.

С Новым годом, ёпта! Ехай нахуй! Не забудь заказать такси у нас.

Едим салат «Оленье»

За праздники поправился на -500г

Я знаю только то, что ничего не знаю... А большинство не знает и этого.

Т.е. они не знают, что я ничего не знаю, и думают, что я что-то знаю...

Карл Юнг предлагает для канала нативную интеграцию с тенью... 🧐

In an impromptu rubric "funny pills", today I present

Ibalgin

You might wonder what's so funny about another old Ibuprofen rebranding, but I bet my Russian-speaking readers will immediately want to lay their hands on a pack or two. 😏

We have a new, 7th (sic!) volume of Software Foundations: Security Foundations
https://softwarefoundations.cis.upenn.edu/secf-current/index.html

Topics include noninterference, security type systems, secure multi-execution, cryptographic constant time, and speculative load hardening. And that's not even all, as the volume is still in progress, and some new chapters are upcoming.

#free #book #verification

— Здравствуйте. Мы — Свидетели Игоговы.
— Может, Иеговы?
— Нет.

The annual VerifyThis competition is collecting verification problems for the next one until February 8. The competition itself is scheduled for 11 and 12 of April, collocated with ETAPS 2026.

Also take a look at the https://verifythis.github.io/ltc/ — a real-world scale challenge, currently aimed at verifying memcached.

Оказывается, "чашка" не является мерой объёма кофе... 😏

Thorsten Altenkirch jumped the hype train and launched a podcast named "about logic", presumably, about formal logic and type theory:

https://www.youtube.com/@aboutlogic