Skip to content

Daniel H personal blog

Accidentally writing a SAT solver

blog.danielh.cc

where my words occasionally escape /dev/null

Read on blog.danielh.cc → Discuss on HN (38) Archived copy

Points: 135
HN comments: 38
Submissions: 1
Cited by: 0 commenters

Software Engineering Math & Algorithms 2024

On Hacker News

Submitted	Title on HN	Points	Comments
Nov 28, 2024	Accidentally writing a SAT solver by max__dev	135	38

More from Daniel H

All 4 posts →

Emailing a one-time code is worse than passwords

2025995 points789 comments Security & Privacy details

I don't like curved displays

2025118 points133 comments Design & UX details

Path Isn't Real on Linux

2025113 points112 comments Systems & Performance details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

Anthropic acquires Bun

Bun Blog20252,192 points1,072 commentscited by 7 details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

A 10x Faster TypeScript

Microsoft Developer Blogs20251,827 points907 commentscited by 14 details