| 1. | | How NASA built Artemis II’s fault-tolerant computer (acm.org) |
| 645 points by speckx 65 days ago | 235 comments |
|
| 2. | | 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 |
|
| 3. | | PdfGptIndexer: Indexing and searching PDF text data using GPT-2 and FAISS (github.com/raghavan) |
| 311 points by raghavankl on July 8, 2023 | 137 comments |
|
| 4. | | Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com/zwegner) |
| 153 points by djoldman on May 15, 2023 | 24 comments |
|
| 5. | | Run Llama 13B with a 6GB graphics card (gist.github.com) |
| 618 points by rain1 on May 14, 2023 | 266 comments |
|
| 6. | | Ask HN: AI to study my DSL and then output it? |
| 70 points by onesphere on April 19, 2023 | 24 comments |
|
| 7. | | What I've Learned About Formal Methods in Half a Year (jakob.space) |
| 164 points by todsacerdoti on April 10, 2023 | 70 comments |
|
| 8. | | Mermaid Cheat Sheet (jojozhuang.github.io) |
| 368 points by mooreds on Feb 23, 2023 | 95 comments |
|
| 9. | | Show HN: Graph-based AI for longform writing (jotte.ai) |
| 212 points by Broge on Feb 22, 2023 | 76 comments |
|
| 10. | | Show HN: Second-Chance Pool (news.ycombinator.com) |
| 543 points by dang on April 30, 2021 | 91 comments |
|
| 11. | | Pressures that have always existed for vertical farms have come to a head (wired.co.uk) |
| 72 points by zeristor on Dec 28, 2022 | 133 comments |
|
| 12. | | LL(1) Parser Visualization (princeton.edu) |
| 113 points by curling_grad on Dec 22, 2022 | 13 comments |
|
| 13. | | Optimizing performance for 1000 units (construct.net) |
| 66 points by AshleysBrain on Nov 30, 2022 | 16 comments |
|
| 14. | | Ask HN: Which books have made you a better thinker and problem solver? |
| 354 points by newsoul on Nov 30, 2022 | 237 comments |
|
| 15. | | Demystifying financial leverage (kalzumeus.com) |
| 309 points by arkadiyt on Nov 11, 2022 | 119 comments |
|
| 16. | | D2: A new declarative language to turn text into diagrams (d2-lang.com) |
| 295 points by snikolaev on Aug 30, 2022 | 126 comments |
|
| 17. | | Formal Requirements Elicitation Tool (github.com/nasa-sw-vnv) |
| 62 points by xo5vik on Dec 12, 2021 | 33 comments |
|
| 18. | | Formal methods only solve half my problems (brooker.co.za) |
| 69 points by mjb on June 2, 2022 | 29 comments |
|
| 19. | | Formally Verifying Rust's Opaque Types (dylanj.xyz) |
| 133 points by BreakfastB0b on Aug 1, 2022 | 65 comments |
|
| 20. | | Learn TLA+ (hillelwayne.com) |
| 350 points by MindGods on July 1, 2022 | 74 comments |
|
| 21. | | An automatic theorem proving project (gowers.wordpress.com) |
| 163 points by ColinWright on April 28, 2022 | 76 comments |
|
| 22. | | Ask HN: How do you keep track of software requirements and test them? |
| 195 points by lovehatesoft on April 19, 2022 | 125 comments |
|
| 23. | | IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/nasa-sw-vnv) |
| 91 points by ingve on April 20, 2022 | 38 comments |
|
| 24. | | Can you be sure to clear a line at Tetris? (a3nm.net) |
| 185 points by a3_nm on April 19, 2022 | 38 comments |
|
| 25. | | Larry Page’s Flying Taxis, Now Exiting Stealth Mode (nytimes.com) |
| 288 points by fallingmeat on March 13, 2018 | 160 comments |
|
| 26. | | Cora – Kitty Hawk's prototype air taxi [video] (youtube.com) |
| 432 points by partingshots on March 13, 2018 | 273 comments |
|
