| 1. | | Programming in Martin-Lof's Type Theory: An Introduction (1990) (chalmers.se) |
| 59 points by todsacerdoti 5 months ago | 6 comments |
|
| 2. | | Postgres as a Search Engine (anyblockers.com) |
| 155 points by philippemnoel on Aug 25, 2024 | 39 comments |
|
| 3. | | Moxie Marlinspike: Agile is killing software innovation (theregister.com) |
| 84 points by signa11 on Aug 10, 2024 | 101 comments |
|
| 4. | | Self-reasoning tokens: teaching models to think ahead (reasoning-tokens.ghost.io) |
| 153 points by fesens on April 20, 2024 | 30 comments |
|
| 5. | | Church's λ-Calculus (2023) [pdf] (cmu.edu) |
| 155 points by jstrieb on April 16, 2024 | 46 comments |
|
| 6. | | Fault tolerance and resilience patterns for Go (github.com/failsafe-go) |
| 200 points by nalgeon on March 19, 2024 | 162 comments |
|
| 7. | | Micrograd-CUDA: adapting Karpathy's tiny autodiff engine for GPU acceleration (github.com/mlecauchois) |
| 178 points by cataPhil on March 20, 2024 | 13 comments |
|
| 8. | | Go, Python, Rust, and production AI applications (ajmani.net) |
| 62 points by todsacerdoti on March 12, 2024 | 29 comments |
|
| 9. | | Show HN: Fructose – LLM calls as strongly typed functions (github.com/bananaml) |
| 218 points by edunteman on March 6, 2024 | 99 comments |
|
| 10. | | It's time to break free from Corporate Agile (danielrothmann.com) |
| 91 points by pcloadletter_ on Feb 11, 2024 | 79 comments |
|
| 11. | | Data Structures for Data-Intensive Applications [pdf] (2023) (bu.edu) |
| 583 points by mfiguiere on Feb 9, 2024 | 26 comments |
|
| 12. | | LLM App Stack – a.k.a. Emerging Architectures for LLM Applications (github.com/a16z-infra) |
| 54 points by sebg on Jan 26, 2024 | 10 comments |
|
| 13. | | Automatic Syntax Error Recovery (2020) (tratt.net) |
| 22 points by evertedsphere on Jan 10, 2024 | 2 comments |
|
| 14. | | Ask HN: Is there a data set for GitHub repos associated with academic papers? |
| 34 points by mnky9800n on Jan 1, 2024 | 7 comments |
|
| 15. | | Show HN: I built an open source AI video search engine to learn more about AI (avse.vercel.app) |
| 145 points by yoeven on Dec 20, 2023 | 49 comments |
|
| 16. | | ML system design: 300 use cases from 80 companies (evidentlyai.com) |
| 66 points by dmalyugina on Dec 4, 2023 | 6 comments |
|
| 17. | | Large Language Model Course (github.com/mlabonne) |
| 178 points by T-A on Dec 1, 2023 | 10 comments |
|
| 18. | | Generative AI for Beginners (microsoft.github.io) |
| 648 points by Anon84 on Nov 24, 2023 | 92 comments |
|
| 19. | | Translations of Russ Cox's Thompson NFA C Program to Rust (github.com/burntsushi) |
| 83 points by asicsp on Nov 3, 2023 | 47 comments |
|
| 20. | | SudoLang: a programming language designed to collaborate with AI language models (github.com/paralleldrive) |
| 61 points by surprisetalk on Oct 6, 2023 | 32 comments |
|
| 21. | | RAG is a hack (latent.space) |
| 42 points by FanaHOVA on Oct 6, 2023 | 36 comments |
|
| 22. | | DBSP: Automatic Incremental View Maintenance for Rich Query Languages [pdf] (feldera.com) |
| 28 points by luu on Sept 8, 2023 | 4 comments |
|
| 23. | | The Raft Consensus Algorithm (2015) (raft.github.io) |
| 343 points by oumua_don17 on Sept 3, 2023 | 76 comments |
|
| 24. | | Show HN: Use Code Llama as Drop-In Replacement for Copilot Chat (continue.dev) |
| 187 points by sestinj on Aug 24, 2023 | 52 comments |
|
| 25. | | Common mistakes in salary negotiation (interviewing.io) |
| 629 points by eamonnm on Aug 23, 2023 | 454 comments |
|
| 26. | | Whisper.api: Open-source, self-hosted speech-to-text with fast transcription (github.com/innovatorved) |
| 216 points by innovatorved on Aug 22, 2023 | 50 comments |
|
| 27. | | Vector databases: analyzing the trade-offs (thedataquarry.com) |
| 170 points by chop on Aug 19, 2023 | 55 comments |
|
| 28. | | Show HN: Superfunctions – AI prompt templates as an API (versoly.page) |
| 42 points by trentearl on Aug 20, 2023 | 16 comments |
|
| 29. | | Show HN: Marqo – Vectorless Vector Search (github.com/marqo-ai) |
| 62 points by jn2clark on Aug 16, 2023 | 15 comments |
|
| 30. | | The Mathematics of Training LLMs (latent.space) |
| 199 points by FanaHOVA on Aug 16, 2023 | 66 comments |
|
|
| More |
