https://aws.amazon.com/blogs/opensource/lean-into-verified-software-development/ OK, it's more clear now why Amazon hired Leonardo de Moura... #lean #verification guided development

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

https://www.zotero.org/blog/zotero-7/

Some more recent and useful news for a change. ?

Looks pretty nice, feels fast and responsive. Recommend.

www.zotero.org

Zotero Blog » Blog Archive » Zotero 7: Zotero, redesigned

Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share research.

Водопровод — вода по трубам
Нефтепровод — нефть по трубам
Газопровод — газ по трубам
Трубопровод — ???

https://nicholas.carlini.com/writing/2023/little-bobby-endoftext.html

Не так феерично, как SolidGoldMagicarp, но всё равно забавно.

Carlini

Little Bobby <|endoftext|>

TODO

Есть ли какой-то способ отвадить муравьев попроще, чем отрывать им головы и насаживать на зубочистки?.. ?

More random old news (the time for a hash tag?):
https://statmodeling.stat.columbia.edu/2024/07/30/free-textbook-on-applied-regression-and-causal-inference/

Another #free #book on regression analysis with the basics of causal inference from Andrew Gelman.

Pretty comprehensive "zero to hero" course on regression including necessary math background, Bayesian treatment, generalized regression models, validation, tips and tricks.

And the source code for all the examples and everything.

— Какая кличка кота?
— Так-то по паспорту он Санта Берри Бор, но мы зовём его Хули. Хули орёшь? Хули надо?