Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Structure and Interpretation of Computer Programs – JavaScript Adaptation. Parent comment
Lisp is usually an academic language, which means research into type systems and type safety frequently takes place in it.
ACL2 is a theorum prover written in Common Lisp [0]. And not just a random project either, but something AMD, ARM, IBM, etc. have used.
[0] https://en.wikipedia.org/wiki/ACL2
Lisp is usually an academic language, which means research into type systems and type safety frequently takes place in it.
ACL2 is a theorum prover written in Common Lisp [0]. And not just a random project either, but something AMD, ARM, IBM, etc. have used.
[0] https://en.wikipedia.org/wiki/ACL2