1
Many hard LeetCode problems are easy constraint problems
Use the right tool for the job.
Hillel Wayne
Buttondown is the last email platform you'll migrate to. We're focused on your success, not on bleeding you dry.
- Popular posts
- 39
- Total points
- 6,975
- HN comments
- 4,528
- Rank
- #132 personal
Visit buttondown.com → RSS feedOn Hacker News Aug 2024 – Sep 2026
Software Engineering 26Math & Algorithms 12History & Retro Computing 7Tech Industry & Business 7Systems & Performance 4Career & Management 4
2
What TLA+ can and can't check
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative
3
Adventures in Probability
I hope everyone had a good weekend. I went on a hike. It was great. Statistics One of my great school regrets, next to “taking three years of business...
4
What does “Undecidable” mean, anyway
An explainer for people who don't know computer science and are mildly curious
5
Solving LinkedIn Queens with SMT
For sure easier than solving it in SAT!
6
Five Kinds of Nondeterminism
Or four kinds, or six kinds, I'm not picky about how you count them
7
Fine, I'll Play With Skiplists
Follow me on Bluesky! A Log-Structured Merge tree, or LSM, is a popular data structure for storage engines. It’s what is used by RocksDB, which is sort of...
8
Solving a “Layton Puzzle” with Prolog
I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming...
9
The Halting Problem is a terrible example of NP-Harder
It's a justifiable copout, but it's still a copout.
10
When would you ever want bubblesort? (2023)
There are very few universal rules in software engineering, but there are are a lot of near-universal principles. Things like "prefer composition to...
11
TLA from First Principles
Building an intuition for the mathematics behind the "TLA" in "TLA+"
12
Formally Modeling Dreidel, the Sequel
2 model 2 dreidel