Hacker News new | past | comments | ask | show | jobs | submit | mcshicks's submissions login

1. Mathmatics in Lean (leanprover-community.github.io) 1 point by mcshicks on March 27, 2024 | past 2. How to Prove It with Lean (djvelleman.github.io) 3 points by mcshicks on Aug 30, 2023 | past 3. Push for Digital ID Tech Spurred by Pandemic (bloomberglaw.com) 1 point by mcshicks on Sept 24, 2020 | past 4. John Podesta was warned in 2008 to start encrypting sensitive emails (theintercept.com) 2 points by mcshicks on Nov 4, 2016 | past

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: