- "we use Lisp (via Allegro CL’s Enterprise class development environment) in the design of our Intel Tofino series of programmable switch chips"
- article on [Franz Inc networks](https://allegrograph.com/press_room/barefoot-networks-uses-franzs-allegro-cl-to-drive-artificial-intelligence-in-networks/), some words [on reddit](https://www.reddit.com/r/lisp/comments/oq884e/how_do_you_use_lisp_at_work/h6d8xcw/), and a [youtube video](https://www.reddit.com/r/lisp/comments/oq884e/how_do_you_use_lisp_at_work/h6d8xcw/).
Lisp applications still are used behind the scenes for a lot of interesting stuff. In 1987, "An advanced VSLI design and simulation suite, with programmability and a GUI, used to design actual taped out processors."[0] Screenshots in "The Symbolics Ivory Design and Verification Strategy": https://archive.org/details/ivory-design-verification/mode/1...
Comments
I also hear "programmable chips", does that count? Example:
- [Barefoot Networks](https://www.barefootnetworks.com/)
- "we use Lisp (via Allegro CL’s Enterprise class development environment) in the design of our Intel Tofino series of programmable switch chips"
Lisp applications still are used behind the scenes for a lot of interesting stuff. In 1987, "An advanced VSLI design and simulation suite, with programmability and a GUI, used to design actual taped out processors."[0] Screenshots in "The Symbolics Ivory Design and Verification Strategy": https://archive.org/details/ivory-design-verification/mode/1...
[0] Thanks to stylewarning for the link last year: https://x.com/stylewarning/status/1834996048307388889