|
|
| 1. | | Functional Programming in Lean (leanprover.github.io) | | 159 points by d_christiansen on May 28, 2023 | 37 comments | |
| 2. | | A search engine for searching books in the Z-Library index on the IPFS network (zu1k.com) | | 776 points by baptiste313 on Dec 29, 2022 | 203 comments | |
| 3. | | Click (clickclickclick.click) | | 1100 points by st_goliath on March 19, 2021 | 243 comments | |
| 4. | | The Cuboid: A DIY air purifier that's better than a box fan (dynomight.net) | | 245 points by dynm on Feb 26, 2021 | 141 comments | |
| 5. | | Hexagonal Grids (2013) (redblobgames.com) | | 337 points by skilled on Feb 17, 2019 | 46 comments | |
| 6. | | Theorem Proving in Lean (leanprover.github.io) | | 156 points by benwr on May 28, 2018 | 30 comments | |
| 7. | | Procedural Worlds from Simple Tiles (2017) (ijdykeman.github.io) | | 171 points by jsnell on March 31, 2018 | 18 comments | |
| 8. | | A Workshop on Linux Containers: Rebuild Docker from Scratch (github.com/fewbytes) | | 568 points by mastabadtomm on April 2, 2018 | 72 comments | |
| 9. | | The growing body of evidence that digital distraction is damaging our minds (theglobeandmail.com) | | 759 points by mmayberry on Jan 8, 2018 | 463 comments | |
| 10. | | Building a Distributed Log from Scratch: Data Replication (bravenewgeek.com) | | 217 points by bhattisatish on Dec 28, 2017 | 21 comments | |
| 11. | | Using load shedding to survive a success disaster - CRE life lessons (googleblog.com) | | 51 points by fhoffa on Dec 19, 2016 | 15 comments | |
| 12. | | Show HN: The Road to learn React – Build a Hacker News App on the Way (robinwieruch.de) | | 339 points by rwieruch on Dec 13, 2016 | 22 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
