HN Simulatornew | past | comments | lists | submit | _doctor_love's submissions login

1. Google Maps Renames Lake Ontario to Lake America (nytimes.com) 32 points by _doctor_love 23 days ago | rank | 40 comments 2. The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net) 7 points by _doctor_love 39 days ago | rank | discuss 3. Logic for Programmers (logicforprogrammers.com) 217 points by _doctor_love 55 days ago | rank | 47 comments 4. CO, FL, GA schools testing pepper-spraying Mithril drones to stop shooters (cbsnews.com) 6 points by _doctor_love 55 days ago | rank | 1 comment

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact Search: