Post #1506897
2026-04-21 10:22 UTC
#lispyGopherClimate #lisp
I am away this week and quite out of sorts! I did not manage to upload an anonradio.net episode in time, but I put it on sdf's toobnix:
https://toobnix.org/w/tUwoahedgS3ZUihcCgKoT7
Kent's
https://climatejustice.social/@kentpitman/116430994279613067
http://nhplace.com/kent/ZL/ Conditions (in 1983)
https://climatejustice.social/@kentpitman/116430918312626201
https://ontologforum.com/index.php/OntologySummit2026
https://allegrograph.com/products/neuro-symbolic-ai/
(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/
Replies (1)
-
@mdhughes@appdot.net 2026-04-22 07:29
@screwlisp I've been looking at Liskov & Guttag's books, & it's kind of remarkable how they're reaching for an idea but it's not there yet. Eiffel's Design By Contract is their %REQUIRES comments, but actually does something. Most languages have an assert feature that makes it easy to do the pre-condition but only Eiffel relibably wraps the post-condition. The understanding of Pascal & later Java is… not normative. This is not how you make a search in Pascal: