Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by jstrieb
Verified Programming in F*: A Tutorial
2 points
jstrieb
2020-09-25T20:10:11Z
fstar-lang.org
The Puzzle Toad
86 points
jstrieb
2020-08-31T05:57:46Z
www.cs.cmu.edu
Show HN: Generate beautiful summary GitHub statistics images using Actions
6 points
jstrieb
2020-08-28T06:58:58Z
github.com
In Solidarity with Library Genesis and Sci-Hub
2 points
jstrieb
2020-08-24T21:31:21Z
custodians.online
Everyone Should Use details on GitHub
1 points
jstrieb
2020-08-09T23:23:32Z
jstrieb.github.io
Orthogonal, Ooh (2010)
1 points
jstrieb
2020-07-04T19:10:15Z
volokh.com
Show HN: Link-lock – Distributed app to password-protect URLs
73 points
jstrieb
2020-05-20T01:10:38Z
github.com
A Student's Perspective on Hacker News
2 points
jstrieb
2020-05-14T04:29:55Z
jstrieb.github.io
How Breaking Up Big Tech Could Affect the Pentagon's Access to AI [pdf]
1 points
jstrieb
2020-05-11T16:12:32Z
cset.georgetown.edu
Trends in U.S. Intention-to-Stay Rates of International PhD Graduates [pdf]
2 points
jstrieb
2020-04-28T19:24:59Z
cset.georgetown.edu
Show HN: LaTeX template optimized for online homework submissions
4 points
jstrieb
2020-03-27T21:31:18Z
github.com
Three typefaces for mathematics (2007) [pdf]
149 points
jstrieb
2020-03-23T02:29:30Z
ultrasparky.org
WebGL Fundamentals
4 points
jstrieb
2020-03-22T03:52:02Z
webglfundamentals.org
The Solitaire Encryption Algorithm (1999)
8 points
jstrieb
2020-03-15T06:21:35Z
www.schneier.com
Red Star OS – North Korean Linux Distribution
5 points
jstrieb
2020-02-21T22:53:41Z
en.wikipedia.org
Keeping Top AI Talent in the United States [pdf]
125 points
jstrieb
2019-12-17T16:42:56Z
cset.georgetown.edu
Secure Messaging Apps Comparison
6 points
jstrieb
2019-12-16T21:04:32Z
www.securemessagingapps.com
Best Colleges for You
2 points
jstrieb
2019-12-03T21:56:05Z
thompsonml.shinyapps.io
Building a Static Site Generator from Scratch for My Personal Website
2 points
jstrieb
2019-11-27T23:17:21Z
jstrieb.github.io
My Favorite Programming Problem to Teach: Digit Length
124 points
jstrieb
2019-11-10T21:58:21Z
jstrieb.github.io
1
2
3
4
5
6
7
8