Stories by jstrieb

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

A Student's Perspective on Hacker News

How Breaking Up Big Tech Could Affect the Pentagon's Access to AI [pdf]

Trends in U.S. Intention-to-Stay Rates of International PhD Graduates [pdf]

Show HN: LaTeX template optimized for online homework submissions

Three typefaces for mathematics (2007) [pdf]

1
2
3
4
5
6
7
8