Hacker News new | past | comments | ask | show | jobs | submit | aithrowawaycomm's favorites login
1.
The Humans Building AI Scientists (asimov.press)
71 points by surprisetalk 3 months ago | 25 comments
2.
How to draw an outline in a video game (ameye.dev)
555 points by alexanderameye 5 months ago | 70 comments
3.
F*: A proof oriented general purpose programming language (fstar-lang.org)
254 points by akkad33 6 months ago | 61 comments

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: