From a Buzzard's talk. I have an impression very few people appreciate how much math is involved into a proof of the Fermat's theorem (me included).

And all of that on top of some "basic" preliminary background. 🤣

https://youtu.be/TzvPljhhctI?si=QV9uqCDHkcWXdszs

LOL, that's pretty cool. Never thought you can use a speedbag like that. 😂

https://conf.researchr.org/home/VMCAI-2025
26th International Conference on Verification, Model Checking, and Abstract Interpretation
January 20-21, 2025

Sounds sexy. I hope they'll record the talks and publish on YouTube...

A fun exercise you can do at home (or work, or wherever):

https://www.shakeout.org/

An international earthquake safety drill is coming on October 17 this year. Though you can practice before or after at any convenient (or better yet inconvenient) moment.

This one is about practicing actions during an earthquake which starts already happening, but the site has many links to more holistic preparedness (and recovery) guidelines and advice. In particular,
https://www.earthquakecountry.org/sevensteps/

Many points are useful not only for earthquake preparedness, but most of other natural disasters like floods, hurricanes, blizzards and alike. So I suggest you take a look and take note.

— Мы делаем bazaar research.
— Может, market research?
— Нет.

https://sq.io/

Interesting (jq-like) non-SQL tool to work with tables, RDBMS in particular.

Once upon a time Sony made a promo video for The Last Of Us game starring Les Stroud:
https://vimeo.com/132681011

I never played the game (not even watched the TV series), but I suspect it has exactly zero in common with what Les says. 😂

Still fun to watch. Or maybe even more so. 😁

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

Mind-bending technology and fascinating visuals. Actually, not only beautiful but also pretty illustrative and accurate.

Нужно запатентовать компьютерный лагерь для антисоциальных ИИ.

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

"... квадроберы Лиса Алиса и Кот Базилио..."

While we're waiting for "Alien: Earth"...

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

I have a suspicion this one will turn out to be better...

https://sysblok.ru/blog/gorkij-urok-abbyy-kak-lingvisty-proigrali-poslednjuju-bitvu-za-nlp/

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

Вангую, года через 3-5 окажется, что только данных недостаточно и "само" оно работает до определённого предела, после которого таки нужны явные модели, и "компьютерные лингвисты" снова начнут заламывать руки "ой-ой, надо было разрабатывать способы совмещения того и другого, опять мы просрали полимеры и оказались за бортом!"

Собственно, застолбил дату.

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

HYPE HYPE HYPE!!! 😃

If you didn't know already, it's directed by Shinichiro Watanabe and has action scenes designed by Chad Stahelski.

Coming out some time next year... 😊

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

Interesting how people leave and die in other places... Varying relations to water are also curious.

https://www.youtube.com/watch?v=1gwNrYJ5VKM

IS NOW!!! 😃

Java programmers are reinventing profunctor optics. At the very least they've made an Enterprise Review:
https://mapstruct.org/
😂

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

https://www.kickstarter.com/projects/lesstroud/the-question-of-bigfoot

You might not give a flying f*** about Bigfoot, but if you like wilderness adventures, beautiful cinematography and engaging documentaries — I strongly suggest backing the project.

I honestly think Survivorman's Bigfoot is the best documentary detective TV series out there. Go see for yourself, it's available for free on Les Stroud's YouTube page.