| 1. | | F*: A proof oriented general purpose programming language (fstar-lang.org) |
| 254 points by akkad33 8 months ago | 61 comments |
|
| 2. | | Tutorial on diffusion models for imaging and vision (arxiv.org) |
| 221 points by Anon84 on Sept 10, 2024 | 18 comments |
|
| 3. | | LwIP – Lightweight IP Stack (nongnu.org) |
| 183 points by fidotron on Sept 6, 2024 | 57 comments |
|
| 4. | | Ask HN: Resources for GPU Compilers? |
| 74 points by zvikinoza on Sept 2, 2024 | 21 comments |
|
| 5. | | Nord Stream Revelations Ignite Dispute Between U.S. Allies (wsj.com) |
| 4 points by JumpCrisscross on Aug 19, 2024 |
|
| 6. | | Taking my diabetes treatment into my own hands (janiczek.cz) |
| 485 points by mjaniczek on July 24, 2024 | 356 comments |
|
| 7. | | Ask HN: Going low-level – what to learn next? |
| 100 points by visil on June 4, 2024 | 56 comments |
|
| 8. | | Ask HN: Does (or why does) anyone use MapReduce anymore? |
| 106 points by bk146 on Jan 24, 2024 | 67 comments |
|
| 9. | | Vector Databases: A Technical Primer [pdf] (digitaloceanspaces.com) |
| 557 points by jide_tracc on Jan 12, 2024 | 105 comments |
|
| 10. | | Ask HN: How do I train a custom LLM/ChatGPT on my own documents in Dec 2023? |
| 800 points by divan on Dec 25, 2023 | 237 comments |
|
| 11. | | Reasonable GPUs |
| 72 points by frognumber on Nov 26, 2023 | 48 comments |
|
| 12. | | Reverse engineering the Intel 386 processor's register cell (righto.com) |
| 145 points by picture on Nov 9, 2023 | 28 comments |
|
| 13. | | Ask HN: AI is really exciting but where do I start? |
| 131 points by CyberMacGyver on Oct 28, 2022 | 45 comments |
|
| 14. | | Build a passive radar with software-defined radio (ieee.org) |
| 221 points by samizdis on Oct 25, 2022 | 53 comments |
|
| 15. | | Ask HN: Where are the good platforms for contract work? |
| 168 points by sph on Sept 14, 2022 | 141 comments |
|
| 16. | | Ask HN: Who do you talk to about system architecture and design? |
| 177 points by greggyb on Aug 3, 2022 | 114 comments |
|
| 17. | | Ask HN: Where can I see many examples of real companies' software architecture? |
| 469 points by PeledYuval on April 11, 2022 | 102 comments |
|
| 18. | | Ask HN: Books Similar to Code by Charles Petzold? |
| 110 points by gautamsomani on Dec 11, 2021 | 21 comments |
|
| 19. | | Software Verification and Analysis Using Z3 (nccgroup.com) |
| 143 points by escriss on Jan 30, 2021 | 40 comments |
|
| 20. | | Science Fiction Stories with Good Astronomy and Physics: A Topical Index (astrosociety.org) |
| 219 points by firebaze on Oct 5, 2020 | 70 comments |
|
| 21. | | Comprehensive Tutorial on Time Series Modelling and Forecasting (kanoki.org) |
| 279 points by min2bro on May 1, 2020 | 48 comments |
|
| 22. | | Sherlock: Find usernames across social networks (github.com/sherlock-project) |
| 172 points by Sn0wlizz4rd on Nov 30, 2019 | 83 comments |
|
| 23. | | Interview on ”Bayesian Statistics the Fun Way” (notamonadtutorial.com) |
| 222 points by unbalancedparen on June 4, 2019 | 52 comments |
|
