https://toobnix.org/videos/watch/e1fc24ba-c5c6-4c18-a040-2dc236eb7994 Kent's 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/ Tue, 21 Apr 2026 19:43:36 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://toobnix.org https://toobnix.org/client/assets/images/icons/icon-96x96.png https://toobnix.org/videos/watch/e1fc24ba-c5c6-4c18-a040-2dc236eb7994 All rights reserved, unless otherwise specified in the terms specified at https://toobnix.org/about and potential licenses granted by each content's rightholder.