Real-Time Trading Signals aka /dev/urandom as a Service

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

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