Blogs / Personal blogs

Evan Miller

evanmiller.org

Articles, software, calculators, and opinions.

Popular posts
22
Total points
6,957
HN comments
3,733
Rank
#133 personal

Visit evanmiller.org → RSS feedOn Hacker News Apr 2010 – Jul 2023

Programming Languages 8Software Engineering 6Math & Algorithms 5Tech Industry & Business 3Web & Frontend 2Tools & Productivity 2

3

The Mathematical Hacker

The programming profession is blessed with a number of gifted essayists. Today I will pick on three of my favorites — Eric Raymond, Paul Graham, and Steve Yegge — because they all seem to disagree about why (and whether) mathematics is relevant to the practicing programmer. Their attitudes might be summarized as:

5

Adventure Games and Eigenvalues (2017)

Do adventure games have dead ends? The author of The Teeny Tiny Mansion proves the absence of dead ends in that game via formal verification (in particular, with the help of the cbmc model-checking program ). Here I’ll demonstrate how to prove the same thing via Markov theory. The Markov approach requires more…