Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderMinikanren was the subject of a phenomenal talk by Matt Might for it's applications in medicine [0] https://www.janestreet.com/tech-talks/algorithm-for-precisio...
So this appears to be a language to specify logic systems. This makes it especially odd how unstructured the website appears. If the language is so simple and uses only 3 or 4 operators, why not just start with a short definition of those operators, and maybe a list of short examples? That would go a long way towards explaining to me as a casual visitor why I should care about this.
After you learn to write miniKanren programs, you'll want to know how it works. The original miniKanren implementation combines the core of the logic processing with some crazy Scheme macrology for building a nice syntax. I spent several days puzzling through the back page of "The Reasoned Schemer" without really getting it. Luckily, you can now read the microKanren paper (http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf) which breaks apart the "core" portion of the logic processing into a…
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 548
- Total comments
- 201
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2014-10-01 | MiniKanren – An embedded DSL for logic programming | michaelsbradley | 85 | 22 |
| 2017-01-02 | What is miniKanren? | tosh | 3 | 0 |
| 2018-08-17 | MiniKanren | tosh | 1 | 0 |
| 2018-12-17 | Minikanren – An embedded DSL for logic programmingFirst breakout | tosh | 224 | 44 |
| 2025-01-02 | What Is miniKanren?Hall induction · Best thread · Latest 20+ point return | Bluestein | 235 | 135 |