Stories by jstrieb

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]

WebGL Fundamentals

The Solitaire Encryption Algorithm (1999)

Red Star OS – North Korean Linux Distribution

Keeping Top AI Talent in the United States [pdf]

Secure Messaging Apps Comparison

Best Colleges for You

Building a Static Site Generator from Scratch for My Personal Website

My Favorite Programming Problem to Teach: Digit Length

1
2
3
4
5
6
7
8