Top (Modern Common Lisp with FSet)

The Coalton Programming Language

A statically typed, functional programming language that compiles to Common Lisp

The Common Lisp Cookbook

A collection of examples of how to use Common Lisp

The Topos of Programming | Yon

A topos-oriented programming language. Native via MLIR and LLVM, with a content-addressed heap on the Leech lattice.

ELS 2026, Kraków - European Lisp Symposium

Homepage for the European Lisp Symposium

Fundamental theorem of topos theory

In mathematics, The fundamental theorem of topos theory states that the slice E / X {\displaystyle \mathbf {E} /X} of a topos E {\displaystyle \mathbf {E} } over any one of its objects X {\displaystyle X} is itself a topos. Moreover, if there is a morphism f : A → B {\displaystyle f:A\rightarrow B} in E {\displaystyle \mathbf {E} } then there is a functor f ∗ : E / B → E / A {\displaystyle f^{*}:\mathbf {E} /B\rightarrow \mathbf {E} /A} which preserves exponentials and the subobject classifier.

Integrating functional and imperative programming | Proceedings of the 1986 ACM conference on LISP and functional programming

We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language ...

Bringing Clojure programming to Enterprise

How a dialect of LISP can help developping modern enterprise applications

Learn C • Build Your Own Lisp

If you're looking to learn C, or you've ever wondered how to build your own programming language, this is the book for you.

Lisp Against the (LL)Machine

Every Lisp, Scheme, and Lisp-adjacent project listed is a non-toy implementation that is at least somewhat active. When I first wrote this article (2026-03-12), most Lisps did not have a policy or even public stance on LLM contributions. In such cases I posted to their bug trackers or discussion lists to ask. Most maintainers kindly responded.

Using Lisp libraries from other programming languages - now with sbcl

Have you ever wanted to call into your Lisp library from C? Have you ever written your nice scientific application in Lisp, only to be requ...

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl) | Proceedings of the ACM on Programming Languages

Profunctor optics are a neat and composable representation of bidirectional data accessors, including lenses, and their dual, prisms. The profunctor representation exploits higher-order functions and higher-kinded type constructor classes, but the ...

Practical Common Lisp

This page, and the pages it links to, contain text of the Common Lisp book Practical Common Lisp published by Apress These pages now contain the final text as it appears in the book. If you find errors in these pages, please send email to book@gigamonkeys.com. These pages will remain online in perpetuity—I hope they will serve as a useful introduction to Common Lisp for folks who are curious about Lisp but maybe not yet curious enough to shell out big bucks for a dead-tree book and a good Common Lisp tutorial for folks who want to get down to real coding right away. However, don't let that stop you from buying the printed version available from Apress at your favorite local or online bookseller. For the complete bookstore browsing experience, you can read the letter to the reader that appears on the back cover of the treeware edition of the book.

Boomerang | Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well ...

Georgi Gerganov on Twitter / X

gpt-oss is a great modelIMO OpenAI showed us the blueprint for winning local AI:- Interleaved SWA- Small head sizes in the attention- Attention sinks- Mixture of Experts FFN- 4-bit trainingAll of these parts combined together result in the best architecture suitable for…— Georgi Gerganov (@ggerganov) August 28, 2025