Our (Sergei Chekanov 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: www.mdpi.com/2571-712X/8/... .

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

Our second physics paper (preprint) is now available at arXiv: S. V. Chekanov (@svchekanov), H. Kjellerstrand (@hakankj): "Evidence of Relationships Among Fundamental Constants of the Standard Model" (arxiv.org/abs/2509.07713) Abstract: See next comment. 1/n

Here's the GitHub repo of the source code of the #Picat SAT FlatZinc solver fzn_picat_sat used in the MiniZinc Challenge 2025: github.com/hakank/fzn_p... . For the result of the #MiniZinc Challenge 2025: www.minizinc.org/challenge/20... . (As mentioned earlier, the Picat SAT solver got two Silver.)

#Picat version 3.9 has been released: picat-lang.org Updates: picat-lang.org/updates.txt It contains improvements of the SAT solver and - which is really cool - a bit vector constraint module which makes it possible to use arbitrary sized domains (> 2**56) in constraint models. 1/3

Results from the #MiniZinc Challenge 2025: minizinc.org/challenge/20... As earlier years, Google OR-tools got all Gold medals. We (#Picat team) got two Silver (again). Choco: 1 Silver, 1, Bronze; Yuck: Silver; SICStus Prolog, Pumpkin, iZplus, and Atlantis: 1 Bronze. Congrats to all!

Puzzle creator Jim Bumgardner (aka krazydad, krazydad.com) is "vide coding" a puzzle solver/generator using Constraint Programming (w Google OR-tools): "Lets make minesweeper sudoku part 2" (www.youtube.com/watch?v=aNdT... ). His other YT videos: www.youtube.com/@jbum

Our paper “Discovering the underlying analytic structure within Standard Model constants using artificial intelligence” by Sergey Chekanov (anl.gov/profile/serg...) and myself (hakank.org) is at arXiv: arxiv.org/abs/2507.00225, in the category hep-ph.

Earlier today I read about Warp Terminal (warp.dev) and it looked neat. However, it uses a remote AI for the query. Since I rather want to use my local LLM (via LM Studio), ChatGPT (4o) and I did Terminal Assistant instead. Examples: hakank.org/terminal_ass...

Here's my (new) Litmus test of LLMs: The No change problem (from medium.com/puzzle-spher... ) #Picat program: www.hakank.org/picat/no_cha... showing two constraint approaches (and a brute force variant). LLMs might get one of the two solutions, but often only after a lot of corrections.

In March 2023, I tested GPT4 with a couple of traditional ILP (Inductive Logic Programming) problems, and some other problems: hakank.org/gpt/ Yesterday, I checked how GPT 4o would do: chatgpt.com/share/67d479... In summary: quite much better.

The other day I happen to read about Einstellung effect (en.wikipedia.org/wiki/Einstel...) and thought that it seems to be one of the problems that are in LLMs. So I asked GPT 4.5 + Deep Research for a report on LLM Cognitive Biases Research. Here's the report: chatgpt.com/share/67d47b...

#Picat version 3.8 is available: picat-lang.org/download.html picat-lang.org/download.html Updates: picat-lang.org/updates.txt E.g. new if/then/else syntax variant, improved error handling, debug flag (-d) at command line, new between/4, and some other bug fixes.

This Friday I decided to refresh my old (pre C++11) C++ foo in order to play with Competitive Programming at sites such as CSES (cses.fi/problemset/). Also, to use Visual Studio Code (I'm an avid Emacs user). But, darn what Copilot autocomplete disturbed the flow... 1/2

#Picat version 3.8.b-4 is available: picat-lang.org/download.html Updates: picat-lang.org/updates.txt (e.g. new if/then/else syntax variant, improved error handling, debug flag (-d) at command line, new between/4, and some other bug fixes).

Summary of my #AdventOfCode journey this year: Got 40 stars (last year 37 stars) so I'm quite happy with this. Actually even more so since some days I really struggled with my "chemo brain" after the cancer chemotherapy that finished earlier this year.

#AdventOfCode (adventofcode.com) Day 25 #Picat: hakank.org/advent-of-co... And thanks for all these wonderful (and - at least for me - sometimes too hard) puzzles!

#AdventOfCode Day 24: Here's two different approaches for solving Part 1 in #Picat using CP solver: - hakank.org/advent-of-co... - hakank.org/advent-of-co... part1b.pi was the one I used to get a point since part1.pi contained an annoying bug (fixed via DestyNova's hint).

A wonderful, illuminating - and entertaining - talk by Eric Wastl (creator of #AdventOfCode) on behind the scenes of Advent Of Code: www.youtube.com/watch?v=uZ8D...

I just completed "LAN Party" - Day 23 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/23

I've completed "Monkey Market" - Day 22 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/22

I just completed "Linen Layout" - Day 19 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/19

I just completed "Guard Gallivant" - Day 6 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/6

I've completed "RAM Run" - Day 18 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/18

I just completed "Restroom Redoubt" - Day 14 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/14

I just completed "Claw Contraption" - Day 13 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/13

I just completed "Plutonian Pebbles" - Day 11 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/11

I just completed "Hoof It" - Day 10 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/10

I just completed "Disk Fragmenter" - Day 9 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/9

I just completed "Resonant Collinearity" - Day 8 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/8

I just completed "Bridge Repair" - Day 7 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/7

I just completed "Print Queue" - Day 5 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/5

I've completed "Ceres Search" - Day 4 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/4

I just completed "Mull It Over" - Day 3 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/3

In this year's #AdventOfCode I'll also try ngn-k (codeberg.org/ngn/k). Here's the solution for Day 1: hakank.org/advent-of-co...

I've completed "Red-Nosed Reports" - Day 2 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/2

I'll publish my #AdventOfCode solutions here: hakank.org/advent-of-co...

I've completed "Historian Hysteria" - Day 1 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/1

Just updated my GitHub repo for #Picat regex support: github.com/hakank/picat...

My most recent updates: #Picat: hakank.org/picat/ GitHub: github.com/hakank/hakan... #Racket: hakank.org/racket/ esp. Probabilistic Programming using Gamble hakank.org/racket/#gamble Just started with Rosette (constraint modeling, SMT) hakank.org/racket/#rose... GitHub: github.com/hakank/hakan...

NY Times Spelling Bee solvers in #Picat: hakank.org/picat/spelli... #Javascript: hakank.org/javascript_p... #Pop11: hakank.org/poplog/spell... #Racket:http://hakank.org/racket/spelling_bee_solver.rkt ngn-k: ws@&{(0=#x^"odteuqn")&(0<+/x="o")&4<#x}'ws:0:"words_alpha.txt"