| 1. | | Show HN: Octelium – FOSS Alternative to Teleport, Cloudflare, Tailscale, Ngrok (github.com/octelium) |
| 358 points by geoctl 6 months ago | 151 comments |
|
| 2. | | Emacs Lisp Elements (protesilaos.com) |
| 353 points by robenkleene 9 months ago | 56 comments |
|
| 3. | | Google to buy Wiz for $32B (reuters.com) |
| 608 points by uncertainrhymes 10 months ago | 845 comments |
|
| 4. | | Verification-First Development (buttondown.com/hillelwayne) |
| 65 points by vinipolicena 10 months ago | 24 comments |
|
| 5. | | Show HN: A bi-directional, persisted KV store that is faster than Redis (hpkv.io) |
| 79 points by mehrant 10 months ago | 75 comments |
|
| 6. | | Coq-of-rust: Formal verification tool for Rust (github.com/formal-land) |
| 159 points by todsacerdoti 10 months ago | 42 comments |
|
| 7. | | Show HN: CodeVideo – Two years in the making to build an event-sourced IDE (codevideo.io) |
| 69 points by fullstackchris 10 months ago | 20 comments |
|
| 8. | | Differentiable Logic Cellular Automata (google-research.github.io) |
| 469 points by eyvindn 10 months ago | 90 comments |
|
| 9. | | Show HN: Time travel debugging AI for more reliable vibe coding (nut.new) |
| 129 points by bhackett 10 months ago | 52 comments |
|
| 10. | | Show HN: Superglue – open source API connector that writes its own code (github.com/superglue-ai) |
| 198 points by adinagoerres 11 months ago | 48 comments |
|
| 11. | | Lessons Learned Implementing Common Lisp with LLVM [video] (youtube.com) |
| 152 points by StreamBright on Dec 17, 2018 | 30 comments |
|
| 12. | | Show HN: Anything World – AI for 3D auto-rigging and animation (anything.world) |
| 123 points by mov on Oct 2, 2023 | 51 comments |
|
| 13. | | Vine: A programming language based on Interaction Nets (vine.dev) |
| 203 points by todsacerdoti 11 months ago | 49 comments |
|
| 14. | | 20 years working on the same software product (successfulsoftware.net) |
| 533 points by hermitcrab 11 months ago | 179 comments |
|
| 15. | | I built a "Tinder for SaaS" – try it for free (appairium.com) |
| 1 point by celian_bdt 11 months ago |
|
| 16. | | TinyCompiler: A compiler in a week-end (ssloy.github.io) |
| 319 points by sebg 11 months ago | 113 comments |
|
| 17. | | Pseudo Scheme: Scheme Implemented on Top of Common Lisp (cmu.edu) |
| 52 points by interpunct on July 13, 2024 | 17 comments |
|
| 18. | | Meta’s Hyperscale Infrastructure: Overview and Insights (acm.org) |
| 302 points by sidcool 11 months ago | 169 comments |
|
| 19. | | Patterns for Building Realtime Features (zknill.io) |
| 161 points by zknill 11 months ago | 45 comments |
|
| 20. | | Spreadsheets are all you need (spreadsheets-are-all-you-need.ai) |
| 1493 points by evanmays on March 14, 2024 | 164 comments |
|
| 21. | | Transformer – Spreadsheet (byhand.ai) |
| 250 points by next_xibalba 11 months ago | 20 comments |
|
| 22. | | Earthstar – A database for private, distributed, offline-first applications (earthstar-project.org) |
| 310 points by kristianpaul 11 months ago | 42 comments |
|
| 23. | | Mini-R1: Reproduce DeepSeek R1 "Aha Moment" (philschmid.de) |
| 191 points by jonbaer 11 months ago | 15 comments |
|
| 24. | | From C++ to Clojure: Jank language promises best of both (thenewstack.io) |
| 259 points by Jeaye 12 months ago | 103 comments |
|
| 25. | | Scalable OLTP in the Cloud: What's the Big Deal? (muratbuffalo.blogspot.com) |
| 93 points by SchwKatze 12 months ago | 49 comments |
|
| 26. | | Promising results from DeepSeek R1 for code (simonwillison.net) |
| 979 points by k__ 12 months ago | 746 comments |
|
| 27. | | Infinigen (infinigen.org) |
| 319 points by galaxyLogic on Jan 19, 2025 | 35 comments |
|
| 28. | | Ask HN: Is anyone doing anything cool with tiny language models? |
| 684 points by prettyblocks on Jan 21, 2025 | 346 comments |
|
| 29. | | Build a Database in Four Months with Rust and 647 Open-Source Dependencies (tisonkun.io) |
| 130 points by tison on Jan 15, 2025 | 146 comments |
|
| 30. | | Build a Database in 3000 Lines with 0 Dependencies (build-your-own.org) |
| 422 points by not_a_boat on Jan 16, 2025 | 56 comments |
|
|
| More |
