jnpn
@jnpn.bsky.social
Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Reposted by jnpn
Implementations in languages like Prolog or MiniZinc were mentioned. They showcase how declarative or constraint-based programming paradigms are well-suited for solving constraint satisfaction problems like this. #ConstraintProgramming 5/6
June 25, 2025 at 6:00 PM
Implementations in languages like Prolog or MiniZinc were mentioned. They showcase how declarative or constraint-based programming paradigms are well-suited for solving constraint satisfaction problems like this. #ConstraintProgramming 5/6
non mais on aurait bien echange un vlad pour un bun
July 10, 2025 at 8:20 PM
non mais on aurait bien echange un vlad pour un bun
a new oppenheimer cut is coming
June 19, 2025 at 4:33 PM
a new oppenheimer cut is coming
yeah then I go to miranda. jk
June 17, 2025 at 6:22 PM
yeah then I go to miranda. jk
Pretty timely, I started reading about TLA+ few monthes ago, thanks a lot.
June 17, 2025 at 10:42 AM
Pretty timely, I started reading about TLA+ few monthes ago, thanks a lot.
Thanks. I was hoping for some crazy new insights from a haskell hacker hidden in a british phd lab you know :)
June 16, 2025 at 7:45 PM
Thanks. I was hoping for some crazy new insights from a haskell hacker hidden in a british phd lab you know :)