corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08785-73e7-71fb-8f33-154576a06ce6

Book Club 2/2026: Constraints

ian.wold.guru · published 28 February 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at ian.wold.guru Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
37
Words captured
1,683

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Constraint_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Logic_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Constraint_logic_programming
en.wikipedia.org
https://minikanren.org/
minikanren.org
https://github.com/naasking/uKanren.NET
github.com
https://github.com/lifebeyondfife/Decider
github.com
https://medium.com/vptech/a-practical-introduction-to-constraint-programming-2037c91833ba
medium.com
https://lpn.swi-prolog.org/lpnpage.php?pageid=online
lpn.swi-prolog.org
https://blogit.michelin.io/an-introduction-to-datalog/
blogit.michelin.io
https://minikanren.org/workshop/2020/minikanren-2020-paper5.pdf
minikanren.org
https://news.ycombinator.com/item?id=9248107
news.ycombinator.com
Why Learn Prolog in 2021? Read at the source ↗
dstrohmaier.com
https://www.youtube.com/watch?v=R2Aa4PivG0g
youtube.com
https://www.youtube.com/watch?v=oa0qq75i9oc
youtube.com
https://www.youtube.com/watch?v=G_eYTctGZw8
youtube.com
https://en.wikipedia.org/wiki/Agda_(programming_language
en.wikipedia.org
Designing with types: Making illegal states unrepresentable Read at the source ↗
fsharpforfunandprofit.com
https://functional.works-hub.com/learn/dependent-types-explained-2e233
functional.works-hub.com
https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878
medium.com
https://www.idris-lang.org/index.html
idris-lang.org
https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf
type-driven.org.uk
https://www.cs.princeton.edu/%7Edpw/papers/DTDT-tr.pdf
cs.princeton.edu
https://www.youtube.com/watch?v=4i7KrG1Afbk
youtube.com
https://www.youtube.com/watch?v=VxINoKFm-S4
youtube.com
https://www.youtube.com/watch?v=jgFAkmnBHwU
youtube.com
https://www.youtube.com/watch?v=IOiZatlZtGU
youtube.com
https://www.youtube.com/watch?v=_2jrmgO_Gq0
youtube.com
https://en.wikipedia.org/wiki/Refinement_type
en.wikipedia.org
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/MSR-TR-2009-147-SP1.pdf
microsoft.com
https://arxiv.org/pdf/2010.07763
arxiv.org
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
ucsd-progsys.github.io
https://dl.acm.org/doi/epdf/10.1145/3610408
dl.acm.org
https://www.youtube.com/watch?v=OEdXcn1rx6k
youtube.com
https://www.youtube.com/watch?v=oYTGXNrMEho
youtube.com
https://www.youtube.com/watch?v=pnktXb-BY54
youtube.com
https://www.youtube.com/watch?v=KZwpQIpqbf4
youtube.com
https://www.youtube.com/watch?v=Ye0luMc4vGU
youtube.com