YHacker Newsscreenshots

davecturner.github.io on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of davecturner.github.io: Identifying Leap Years (2020)

Identifying Leap Years (2020)(davecturner.github.io)

27 points by g0xA52A2A 2 years ago | 4 comments

Screenshot of davecturner.github.io: TLA+ in Isabelle/HOL

TLA+ in Isabelle/HOL (davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments