Top all-time · #6045
Kristopher Micinski
Personal blog · kmicinski.comprogrammingai
Kristopher Micinski's personal blog at kmicinski.com covers programming and ai. Since 2018, 13 different Hacker News readers have linked it 19 times, most often “Certifying Interpreters in Racket”. It is still writing: the last post was on 2026-09-17, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked only in one comment that invites readers to a seminar for industrial participants, with no remark on the writing. The thread it sits in is about optimising Datalog for the GPU.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Kris Micinski's Website. Love the lambda.
Most-linked posts?
- Certifying Interpreters in Racket3 people · 3 mentions · first linked 2022-08-15
- Datalog, Chain-Forward Computation, and Relational Algebra3 people · 3 mentions · first linked 2024-05-12
- Why Study CS? Thoughts on LLM-assisted software engineering2 people · 2 mentions · first linked 2026-01-07
- Build a Compiler in Five Projects2 people · 2 mentions · first linked 2025-11-24
What Hacker News says?
This is very cool to hear. Please get in touch with me, I would love to learn more. By the way, I am recruiting participants for an upcoming seminar in which I am soliciting industrial participation: https://kmicinski.com/minnowbrook-26 . Please get in contact with me if this is relevant to anyone at your company.
Comment linking /minnowbrook-26
on “Optimizing Datalog for the GPU”Submitted Build a Compiler in Five Projects as a story · 206 points
HN discussionSubmitted Why tail-recursive functions are loops as a story · 137 points
HN discussionSubmitted Certifying Interpreters in Racket as a story · 63 points
HN discussionSubmitted Certifying Interpreters in Racket as a story · 7 points
HN discussionSubmitted Datalog, Chain-Forward Computation, and Relational Algebra as a story · 4 points
HN discussionSubmitted Why Study CS? Thoughts on LLM-assisted software engineering as a story · 3 points
HN discussionSubmitted Why Study CS? Thoughts on LLM-assisted software engineering as a story · 3 points
HN discussionSubmitted Modern Deduction: Datalog, Chain-Forward Computation, and Relational Algebra as a story · 3 points
HN discussionSubmitted Build a Compiler in Five Projects as a story · 2 points
HN discussionSubmitted Modern Deduction Post 1: Datalog, Chain-Forward Computation, Relational Algebra as a story · 2 points
HN discussionSubmitted Hyperproperties and Why They're Hard as a story · 2 points
HN discussionSubmitted Program Visualization as Abstract Interpretation (2016) as a story · 2 points
HN discussionSubmitted Puffin: Scheme-like language with self-hosting compiler and gradual types as a story · 1 points
HN discussionSubmitted The Thing We All Obviously Want as a story · 1 points
HN discussionSubmitted Lambda Calculus Explorer as a story · 1 points
HN discussionSubmitted CIS352: Principles of Programing Languages as a story · 1 points
HN discussionSubmitted Certifying Interpreters in Racket as a story · 1 points
HN discussionSubmitted Why Does Netflix See My Facebook Picture? as a story · 1 points
HN discussion
