Post #1819338
2026-04-28 07:09 UTC
@screwlisp @vnikolov
Guys, thank you for introducing me to ACL2! This is a rabbit hole into which I shall most eagerly dive!
https://en.wikipedia.org/wiki/ACL2
Replies (3)
-
@vnikolov@ieji.de 2026-04-28 07:10
@simon_brooke Good luck, but all credit is due to Screwlisp! @screwlisp
-
@screwlisp@gamerplus.org 2026-04-28 07:10
@simon_brooke Oh that would actually be so cool. ACL2's famous case study was hardware verification of floating point operations for the motorola 68k series (er, iirc). It would be neat if you verified your hardware with it (as a case study!). @vnikolov
-
@wakame@tech.lgbt 2026-04-28 07:15
@simon_brooke @screwlisp @vnikolov If Access Control Lists were so good, why didn't they make Access Control Lists 2? Oh, wait.