Top all-time · #25037
bohlender.pro
Personal blog · bohlender.pro/blogprogrammingmath
bohlender.pro is a personal blog at bohlender.pro about programming and math. Since 2020, 3 different Hacker News readers have linked it 4 times, most often “Generating Crosswords via SAT/SMT (2020)”. The last post was in 2023, but the archive is still widely read.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Linked for posts on SMT-based reasoning about the limits of the Quake fast inverse square root trick and on SAT-based crossword generation. Commenters cite them as pointers to the topics.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Both a portfolio and outlet for all things creative
Most-linked posts?
- Generating Crosswords via SAT/SMT (2020)2 people · 2 mentions · first linked 2020-10-24
- SMT-Based Reasoning About the Fast Inverse Square Root2 people · 2 mentions · first linked 2020-11-03
What Hacker News says?
It is fun to read the source of old games for gems like the discussed `Q_rsqrt` function. However, one often wonders what the limits/assumptions/guarantees of such tricks are so I've blogged about SMT-based reasoning about such properties using `Q_rsqrt` as an example: https://bohlender.pro/blog/smt-based-optimisation-of-fast-in... -- might be interesting to those not too familiar with the verification business.
Comment linking /blog/smt-based-optimisation-of-fast-inverse-square-root/
on “Fast Inverse Square Root”Submitted Generating Crosswords via SAT/SMT (2020) as a story · 2 points
HN discussionWhat a coincidence. I've also been looking into crossword generation recently. Have a look ( https://bohlender.pro/blog/generating-crosswords-with-sat-sm... ) if you're interested in a SAT-based solution. However, now I'll have to watch these videos for further insights.
Comment linking /blog/generating-crosswords-with-sat-smt/
on “I finished filming 12 hours of a coding tutorial: crossword puzzle construction”Submitted SMT-Based Reasoning About the Fast Inverse Square Root as a story · 1 points
HN discussion