Hakan Kjellerstrand

2.8K posts

Hakan Kjellerstrand

Hakan Kjellerstrand

@hakankj

a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.

Malmoe, Sweden Katılım Mayıs 2008
642 Takip Edilen993 Takipçiler
Hakan Kjellerstrand retweetledi
Özgür Akgün
Özgür Akgün@ozgurakgun·
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…
English
0
5
10
953
Hakan Kjellerstrand retweetledi
Particles MDPI
Particles MDPI@Particles_MDPI·
🤔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/…
English
0
2
2
238
Hakan Kjellerstrand
Hakan Kjellerstrand@hakankj·
It proposes a research program using #AI to tackle the longstanding problem of many free parameters of Standard Model
English
0
0
2
70
Hakan Kjellerstrand
Hakan Kjellerstrand@hakankj·
@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.
English
0
0
1
20
Frink
Frink@Frinklang·
@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_…
English
1
0
2
20
Frink
Frink@Frinklang·
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.
Hakan Kjellerstrand@hakankj

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

English
2
0
3
198
Hakan Kjellerstrand
Hakan Kjellerstrand@hakankj·
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
English
1
0
2
73