Stories by jstrieb

Philosophy of Humor

Keep your public keys private

Open Source Licensing: Software Freedom and Intellectual Property Law (2004)

Fossil site overview – 15,000 fossil localities in the US and Canada

Interfacing with the Subterranean (2011) [pdf]

Changing Faces: The Mistaken Portrait of Legendre (2009) [pdf]

Verified Programming in F*: A Tutorial

Show HN: Collaborative programming environment inside GitHub Actions

Show HN: Never focus again with nearly unlimited web comics

Chinese Talent Program Tracker

Changing Faces: The Mistaken Portrait of Legendre (2009) [pdf]

Git for Ages 4 and Up (2013) [video]

Interfacing with the Subterranean (2011) [pdf]

Verified Programming in F*: A Tutorial

The Puzzle Toad

Show HN: Generate beautiful summary GitHub statistics images using Actions

In Solidarity with Library Genesis and Sci-Hub

Everyone Should Use details on GitHub

Orthogonal, Ooh (2010)

Show HN: Link-lock – Distributed app to password-protect URLs

1
2
3
4
5
6
7
8
9