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