Hacker News Reader

If you use microprocessors from companies like AMD and Intel, there is a good chance that parts of their design were checked with large amounts of Lisp code.

Example: https://github.com/acl2/acl2/tree/master/books/rtl/rel11

> This directory contains an ACL2 library of register-transfer logic, developed at AMD from 1995 to 2011, and at Intel from 2012 to the present, in support of the mechanical verification of the floating-point arithmetic units designed during those periods by the respective companies.

So, Lisp provides static checking that is so early, it precedes your CPU being taped out.

https://www.google.com/flights/

This website: Arc

Ha! Figures.

walmart (http://blog.cognitect.com/blog/2015/6/30/walmart-runs-clojur...)

Emacs.

This was to go-to answer when I started learning Lisp a decade ago. Glad to see nothing's changed.