| 1. | | ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag) |
| 326 points by barthelomew 3 months ago | 175 comments |
|
| 2. | | Deterministic Quoting: Making LLMs safer for healthcare (mattyyeung.github.io) |
| 117 points by mattyyeung on May 5, 2024 | 38 comments |
|
| 3. | | SQLite improves performance with memory-mapped I/O (sqlite.org) |
| 185 points by moonboots on May 23, 2013 | 80 comments |
|
| 4. | | Infinite Craft (neal.fun) |
| 1177 points by kretaceous on Jan 31, 2024 | 675 comments |
|
| 5. | | Show HN: Open-source Rule-based PDF parser for RAG (github.com/nlmatics) |
| 293 points by jnathsf on Jan 24, 2024 | 32 comments |
|
| 6. | | I am done. I give up |
| 1237 points by wakana on Dec 23, 2022 | 972 comments |
|
| 7. | | I wasted $40k on a fantastic startup idea (2020) (tjcx.me) |
| 603 points by webmaven on March 28, 2022 | 322 comments |
|
| 8. | | How Video Streaming Processing Works (howvideo.works) |
| 306 points by dreampeppers99 on Jan 4, 2022 | 65 comments |
|
| 9. | | A monorepo misconception – atomic cross-project commits (snellman.net) |
| 102 points by askl on July 21, 2021 | 102 comments |
|
| 10. | | Against SQL (scattered-thoughts.net) |
| 499 points by deafcalculus on July 10, 2021 | 339 comments |
|
| 11. | | Software Engineering principles to make teams better (principles.dev) |
| 382 points by _wp_ on June 30, 2021 | 102 comments |
|
| 12. | | Learn by reading code: Python standard library design decisions explained (andgravity.com) |
| 282 points by genericlemon24 on June 29, 2021 | 43 comments |
|
| 13. | | Tips for Better Signup / Login UX (learnui.design) |
| 194 points by mooreds on June 27, 2021 | 130 comments |
|
| 14. | | The Document Culture of Amazon (justingarrison.com) |
| 488 points by ecliptik on June 17, 2021 | 210 comments |
|
| 15. | | An Introduction to Knowledge Graphs (stanford.edu) |
| 244 points by umangkeshri on May 22, 2021 | 72 comments |
|
| 16. | | Elliptic Curve Cryptography Explained (2019) (fangpenlin.com) |
| 298 points by ptr on May 27, 2021 | 44 comments |
|
| 17. | | Querying an RDF triplestore using SPARQL and Relational pipes (globalcode.info) |
| 50 points by xkucf03 on July 30, 2020 | 14 comments |
|
| 18. | | FragAttacks: new security vulnerabilities that affect wi-fi devices (fragattacks.com) |
| 609 points by sylvainkalache on May 11, 2021 | 236 comments |
|
| 19. | | Z3 Tutorial (colab.research.google.com) |
| 195 points by todsacerdoti on May 5, 2021 | 31 comments |
|
| 20. | | Logica, a novel open-source logic programming language (googleblog.com) |
| 346 points by layer8 on April 14, 2021 | 98 comments |
|
| 21. | | Programming in Z3 by learning to think like a compiler (bellmar.medium.com) |
| 179 points by mbellotti on May 3, 2021 | 18 comments |
|
| 22. | | Distributed search engines using BitTorrent and SQLite (github.com/lmatteis) |
| 246 points by tosh on Jan 20, 2021 | 48 comments |
|
| 23. | | Just Write the Parser (tiarkrompf.github.io) |
| 276 points by matt_d on Oct 20, 2020 | 82 comments |
|
| 24. | | The J1 Forth CPU (excamera.com) |
| 214 points by Cieplak on Jan 13, 2021 | 49 comments |
|
| 25. | | Tell HN: Aaron Swartz died today, 8 years ago |
| 945 points by ignoramous on Jan 11, 2021 | 184 comments |
|
| 26. | | Algorithms for Decision Making (algorithmsbook.com) |
| 693 points by Dowwie on Jan 10, 2021 | 85 comments |
|
| 27. | | State machines are wonderful tools (nullprogram.com) |
| 338 points by chmaynard on Jan 1, 2021 | 101 comments |
|
| 28. | | Show HN: Simple-graph – a graph database in SQLite (github.com/dpapathanasiou) |
| 237 points by dpapathanasiou on Dec 26, 2020 | 42 comments |
|
| 29. | | CLI Guidelines – A guide to help you write better command-line programs (clig.dev) |
| 564 points by bfirsh on Dec 4, 2020 | 212 comments |
|
| 30. | | Bit Twiddling Hacks (stanford.edu) |
| 143 points by Cieplak on Dec 4, 2020 | 33 comments |
|
|
| More |
