- Forge: A Tool and Language for Teaching Formal Methods
by jer0me on 1/28/25, 12:19 AM, with comments
- All the data can be yours
by jer0me on 10/22/24, 1:57 PM, with comments
- CUNY paid Oracle $600M for its HR software (2013)
by jer0me on 9/18/24, 4:08 PM, with comments
- Show HN: Georgia's Café Reviews
by jer0me on 9/14/24, 6:40 PM, with comments
- Dropbox Dash: AI-powered universal search for work
by jer0me on 8/30/24, 4:54 AM, with comments
- Postal Service Hacks
by jer0me on 6/23/24, 12:15 AM, with comments
- Seeing Theory: A Visual Introduction to Probability and Statistics
by jer0me on 6/3/24, 5:20 AM, with comments
- 60 kHz (2022)
by jer0me on 6/1/24, 12:05 AM, with comments
- Things Go Downhill After We Leave (2022)
by jer0me on 5/24/24, 4:07 AM, with comments