In reverse chronological order you will find:

• recent experiments, mostly involving LLMs and using Go: semblame, lingograph, wikai, aivoke, velora
• a SAT solver in Go (Satie); partly Go practice, partly nostalgia, partly foundation for future projects
• silence while I was working on big OCaml codebases
• older research work, including constraint solvers (Inez, PB-SAT) and publications