New

The latest blog posts to take off on Hacker News. 158 posts.

Games & Graphics
2019
78

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…

84

Day of the Tentacle

Although they didn’t know one another at the time, Dave Grossman and Tim Schafer both found themselves at a similar place in life in the summer of 1989: just out of university and uncertain what to do next. Both saw the same unusual advertisement in the newspaper: an advertisement for programmers who could also write…

87

Dolphin Progress May 2019

The past few months have been quite hectic with a slew of gigantic changes requiring lengthy articles alongside them. These big features all hitting together seems to have brought up a talking point in the community would be irresponsible to ignore. Everyone wants to know when Dolphin 6.0 is coming. After all, Dolphin…