4 ms·
Related context: The 2025 European Lisp Symposium [1] was just wrapped a few hours ago in Zurich. There was content on: - Static typing a la Haskell with Coalt
by reikonomusha 1y ago
Related context: The 2025 European Lisp Symposium [1] was just wrapped a few hours ago in Zurich. There was content on:
- Static typing a la Haskell with Coalton in Common Lisp
- Dependent typing with Deputy in Clojure (this post)
- The Common Lisp compiler SBCL ported to the Nintendo Switch
- Common Lisp and AI/deep learning
- A special retrospective on Modula and Oberon
- Many lightning talks.
[1] https://european-lisp-symposium.org/2025/index.html https://european-lisp-symposium.org/2025/index.html
- deleted 1y ago[deleted]
- no_wizard 1y agoI feel like Lisp would be an ideal language for AI development. Its exceedingly good for DSL development and pattern matching. Its already structurally like math notation as well, which I would think would lend itself to thinking how models would consume information and learn
- rscho 1y agoWell... believe it or not, some have thought of using lisp for AI for quite some time. ;-)
- froh 1y agoindeed. Peter Norvig, 1992 Paradigms of AI Programming: Case Studies in Common Lisp https://g.co/kgs/hck8wsE https://g.co/kgs/hck8wsE https://en.m.wikipedia.org/wiki/Peter_Norvig https://en.m.wikipedia.org/wiki/Peter_Norvig it's no coincidence Google is actively maintaining sbcl, either.
- Zambyte 1y agoWhy not go all the way to the source? John McCarthy coined the term "artificial intelligence", and then invented / discovered LISP in pursuit of it in the 1950s :D
- ayrtondesozzla 1y agohttps://quantumzeitgeist.com/lisp-and-the-dawn-of-artificial-intelligence/ https://quantumzeitgeist.com/lisp-and-the-dawn-of-artificial... Lisp was the de facto language of artificial intelligence in the U.S. for many years. Apparently Prolog was popular in Europe (according to Norvig's PAIP)