climate haiku:

https://climatejustice.social/@kentpitman/116430994279613067

, thread presenting Symbolics 1983 Signalling and Handling Conditions http://nhplace.com/kent/ZL/ :

https://climatejustice.social/@kentpitman/116430918312626201

Ontolog forum (2026)

https://ontologforum.com/index.php/OntologySummit2026

Franz Allegrograph people on the forum were talking about:

https://allegrograph.com/products/neuro-symbolic-ai/

Liskov and Guttag Abstraction and specification in program development :

(Well, Barbara Liskov's wikipedia page: https://en.wikipedia.org/wiki/Barbara_Liskov )

ACL2:

https://www.cs.utexas.edu/~moore/acl2/

Szmidt's 1984 (MIT) CADR simulator:

https://tumbleweed.nu/lm-3/