Hacker Newsnew | past | comments | ask | show | jobs | submit | techwizrd's submissionslogin
1.
Touchdown: Enabling Safe Landings in Las Vegas for Super Bowl Lviii (mitre.org)
1 point by techwizrd on Feb 9, 2024 | past
2.
Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs (twitter.com/animaanandkumar)
4 points by techwizrd on Dec 11, 2023 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: