Recent Posts

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