Hakan Kjellerstrand

I just completed "Lobby" - Day 3 - Advent of Code 2025 adventofcode.com/2025/day/3 #AdventOfCode

Anyone interested in working on developing an efficient compiler for constraint programming? In Rust! We have an exciting project with a lot activity and several opportunities to contribute in many ways. Get in touch! Funded PhD studentships: st-andrews.ac.uk/computer-scien…

I just completed "Gift Shop" - Day 2 - Advent of Code 2025 adventofcode.com/2025/day/2 #AdventOfCode

🤔Can AI reveal hidden structure in the Standard Model? A new paper by @svchekanov @hakankj in Particles proposes a research program using #AI to tackle the longstanding problem of many free parameters of the Standard Model. Welcome to read and discuss mdpi.com/2571-712X/8/4/…

It proposes a research program using #AI to tackle the longstanding problem of many free parameters of Standard Model

Our (@svchekanov and me) #physics paper "Discovering the Underlying Analytic Structure Within Standard Model Constants Using Artificial Intelligence" has now been accepted and published in the Particles journal: mdpi.com/2571-712X/8/4/…

I just completed "Secret Entrance" - Day 1 - Advent of Code 2025 adventofcode.com/2025/day/1 #AdventOfCode

@Frinklang Thanks! Mathematica has been one important inspiration and reference for the distributions (and ChatGPT) . For the general framework/"attitude" it has been from the PPLs I've played with: BLOG, cplint, WebPPL, PSI, Gamble (and Dice, ProbLog, PyMC, Stan) and Bayesian Networks.

@hakankj Wow, this is an incredible achievement! The file below has so many implementations of statistical functions! Do you have a book or reference that was useful in implementing all of them? hakank.org/picat/ppl/ppl_…

Picat PPL (hakank.org/picat/ppl) - Probabilistic Programming Light is is a lightweight probabilistic programming framework implemented entirely in Picat (picat-lang.org). 1/n

@Frinklang @Frinklang Thanks for your very kind words, Alan. It's extra special since it comes from you: one of the smartest person I know.

Hakan Kjellerstrand is a deep dark wizard and maybe the smartest programmer you will ever know. He ingests (and improves) new programming paradigms like Galactus ingests living planets. Please follow him to learn what's possible.

The Picat PPL page includes documentation of the features of Picat PPL as well as over 550 probabilistic programming models. (In total, it's now over 115 000 lines, including comments and output of the models.) 5/5

The dedicated page for Picat PPL is hakank.org/picat/ppl . And at GitHub: github.com/hakank/hakank/… . Also, the published files can be downloaded from the Zip file: hakank.org/picat/ppl/all_… . This file will be updated when changes are done. 4/n

Just committed some #Picat programs: github.com/hakank/hakank/… It's mostly puzzles solved by my Symbolic Regression module (#symbolic_regression" target="_blank" rel="nofollow noopener">hakank.org/picat/#symboli… ) (Just to clear the list in preparation for a fairly large update of a new #Picat toolkit + models, expected to be released soon. )

Just committed some #Racket/#Gamble probabilistic programming programs: github.com/hakank/hakank/…

Here is Augustin Crespin's Master thesis: "CP-Model-Zoo - A Natural Language Query System for Constraint Programming Models": thesis.dial.uclouvain.be/entities/maste…

Crespin, Kostis, Verhaeghe, Schaus: "CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models": arxiv.org/pdf/2509.07867 The system is available here: cp-model-zoo.info.ucl.ac.be GitHub: github.com/crespina/LLM4CP

@zayenz Thanks!

@hakankj There is a nice discussion on Lobste.rs as well: lobste.rs/s/8ubfdd/many_…

Hillel Wayne: "Many Hard Leetcode Problems are Easy Constraint Problems - Use the right tool for the job.": buttondown.com/hillelwayne/ar… Examples are shown in #MiniZinc (minizinc.org). And the mandatory discussion on Hacker News: news.ycombinator.com/item?id=452226…