blobcode

2025-06-14 6:24

Commented: "The Hat, the Spectre and SAT Solvers (2024)"

I feel like SAT solvers and the like are getting a lot more attention on HN recently (for example https://news.ycombinator.com/item?id=44259476) - justifiably so! I think that they're a great tool that's often criminally underused in industry for a whole subset of problems.

2025-06-12 3:44

Commented: "Show HN: The Roman Industrial Revolution that could have been"

https://en.wikipedia.org/wiki/Aeolipile

2025-06-06 1:50

Submitted: "Science Proceeds One Question at a Time"

2 points0 commentsscholars-stage.org

MIDWAY through his 900 page history of biology, zoologist Ernst Mayr considers the problem posed by Alfred Wallace. Wallace was a contemporary of Charles Darwin who independently developed a theory…

2025-06-01 6:38