| 1. | | What Is miniKanren? (minikanren.org) |
| 235 points by Bluestein on Jan 2, 2025 | 135 comments |
|
| 2. | | Immersive Linear Algebra (2015) (immersivemath.com) |
| 876 points by oumua_don17 on May 11, 2024 | 71 comments |
|
| 3. | | Moirai: A time series foundation model for universal forecasting (salesforceairesearch.com) |
| 196 points by throwaway888abc on March 26, 2024 | 37 comments |
|
| 4. | | Friends don't let friends export to CSV (kaveland.no) |
| 245 points by lervag on March 25, 2024 | 440 comments |
|
| 5. | | k on pdp11 (ktye.github.io) |
| 140 points by tosh on Jan 8, 2024 | 91 comments |
|
| 6. | | Keyless Signing with Witness and SigStore (testifysec.com) |
| 9 points by colek42 on Jan 24, 2023 |
|
| 7. | | Timelock Encryption made possible and easy to use (github.com/drand) |
| 124 points by anomalroil on Aug 15, 2022 | 65 comments |
|
| 8. | | What Is Applied Category Theory? (2018) (arxiv.org) |
| 202 points by behnamoh on Feb 3, 2021 | 68 comments |
|
| 9. | | Salsify – A New Architecture for Real-time Internet Video (stanford.edu) |
| 250 points by dedalus on Aug 25, 2019 | 41 comments |
|
| 10. | | Adventures Building a Self-Driving RC Car (rahulrav.com) |
| 173 points by rahulrav on July 18, 2019 | 42 comments |
|
| 11. | | From Design Patterns to Category Theory (2017) (ploeh.dk) |
| 411 points by behnamoh on June 10, 2019 | 46 comments |
|
| 12. | | Self Studying the MIT Applied Math Curriculum (harshsikka.me) |
| 714 points by hsikka on May 2, 2019 | 96 comments |
|
| 13. | | Why Language-Oriented Programming? Why Racket? (beautifulracket.com) |
| 281 points by jessealama on Feb 23, 2019 | 105 comments |
|
| 14. | | Ask HN: Which tool do you use to create beautiful diagrams? |
| 681 points by lichtenberger on Dec 30, 2018 | 212 comments |
|
| 15. | | Michelangelo PyML: Uber’s Platform for Rapid Python ML Model (uber.com) |
| 77 points by pplonski86 on Dec 16, 2018 | 24 comments |
|
| 16. | | On HtDP (felleisen.org) |
| 121 points by tosh on Aug 23, 2018 | 34 comments |
|
| 17. | | “Manager READMEs” from some tech companies (hackernoon.com) |
| 394 points by thmslee on May 5, 2018 | 99 comments |
|
| 18. | | Postgres as the Substructure for IoT and the Next Wave of Computing (timescale.com) |
| 124 points by kermatt on April 19, 2018 | 25 comments |
|
| 19. | | Ask HN: How to self-learn electronics? |
| 1681 points by sidyapa on April 6, 2018 | 302 comments |
|
| 20. | | Your body wasn’t built to last: Math of human mortality (2009) (gravityandlevity.wordpress.com) |
| 88 points by lighttower on Feb 15, 2018 | 26 comments |
|
| 21. | | Exploring different microcontrollers less than $1 (jaycarlson.net) |
| 929 points by stefanpie on Nov 6, 2017 | 183 comments |
|
| 22. | | Ask HN: Which developers do you closely follow? |
| 551 points by krptos on Jan 30, 2017 | 264 comments |
|
| 23. | | Scala 2.12.0 is now available (scala-lang.org) |
| 223 points by rilut on Nov 3, 2016 | 75 comments |
|
