| 1. | | Show HN: A memory database that forgets, consolidates, and detects contradiction (github.com/yantrikos) |
| 47 points by pranabsarkar 4 days ago | 33 comments |
|
| 2. | | Lumina – a statically typed web-native language for JavaScript and WASM (github.com/nyigoro) |
| 58 points by light_ideas 9 days ago | 25 comments |
|
| 3. | | A perfectable programming language (alok.github.io) |
| 209 points by yuppiemephisto 6 days ago | 143 comments |
|
| 4. | | Surelock: Deadlock-Free Mutexes for Rust (brooklynzelenka.com) |
| 248 points by codetheweb 10 days ago | 82 comments |
|
| 5. | | Launch HN: Freestyle – Sandboxes for Coding Agents (freestyle.sh) |
| 322 points by benswerd 12 days ago | 157 comments |
|
| 6. | | Why I'm Building a Database Engine in C# (nockawa.github.io) |
| 66 points by vyrotek 8 days ago | 43 comments |
|
| 7. | | Slightly safer vibecoding by adopting old hacker habits (addxorrol.blogspot.com) |
| 178 points by transpute 16 days ago | 94 comments |
|
| 8. | | Sonnet 4.6 Elevated Rate of Errors (claude.com) |
| 62 points by kylestanfield 11 days ago | 88 comments |
|
| 9. | | SQLite in Production: Lessons from Running a Store on a Single File (ultrathink.art) |
| 209 points by thunderbong 14 days ago | 129 comments |
|
| 10. | | Show HN: Hippo, biologically inspired memory for AI agents (github.com/kitfunso) |
| 128 points by kitfunso 12 days ago | 29 comments |
|
| 11. | | Show HN: Stop paying for Dropbox/Google Drive, use your own S3 bucket instead (locker.dev) |
| 252 points by Zm44 11 days ago | 207 comments |
|
| 12. | | Run Linux containers on Android, no root required (github.com/extv) |
| 221 points by politelemon 15 days ago | 87 comments |
|
| 13. | | [flagged] European alternatives to Google, Apple, Dropbox and 120 US apps (only-eu.eu) |
| 361 points by madman_dev 15 days ago | 158 comments |
|
| 14. | | Project Nomad – Knowledge That Never Goes Offline (projectnomad.us) |
| 610 points by jensgk 27 days ago | 222 comments |
|
| 15. | | Wander – A tiny, decentralised tool to explore the small web (susam.net) |
| 370 points by susam 31 days ago | 89 comments |
|
| 16. | | LotusNotes (computer.rip) |
| 172 points by TMWNN 34 days ago | 109 comments |
|
| 17. | | Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai) |
| 783 points by Poudlardo 33 days ago | 191 comments |
|
| 18. | | Office.eu launches as Europe's sovereign office platform (office.eu) |
| 306 points by campuscodi 34 days ago | 163 comments |
|
| 19. | | Executing programs inside transformers with exponentially faster inference (percepta.ai) |
| 330 points by u1hcw9nx 37 days ago | 130 comments |
|
| 20. | | Mesh over Bluetooth LE, TCP, or Reticulum (github.com/torlando-tech) |
| 135 points by khimaros 39 days ago | 17 comments |
|
| 21. | | Aura-State: Formally Verified LLM State Machine Compiler |
| 23 points by rohanmunshi08 48 days ago | 6 comments |
|
| 22. | | Smalltalk's Browser: Unbeatable, yet Not Enough (lorenzano.eu) |
| 157 points by mpweiher 44 days ago | 82 comments |
|
| 23. | | Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com) |
| 279 points by spacemarine1 46 days ago | 77 comments |
|
| 24. | | Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social) |
| 1298 points by pabs3 46 days ago | 563 comments |
|
| 25. | | An Interactive Intro to CRDTs (2023) (jakelazaroff.com) |
| 179 points by evakhoury 46 days ago | 33 comments |
|
| 26. | | Have your cake and decompress it too (spiraldb.com) |
| 26 points by emschwartz 50 days ago | 3 comments |
|
| 27. | | Time-Travel Debugging: Replaying Production Bugs Locally (lackofimagination.org) |
| 38 points by tie-in 52 days ago | 9 comments |
|
| 28. | | Smallest transformer that can add two 10-digit numbers (github.com/anadim) |
| 248 points by ks2048 51 days ago | 100 comments |
|
| 29. | | How we rebuilt Next.js with AI in one week (cloudflare.com) |
| 540 points by ghostwriternr 53 days ago | 236 comments |
|
| 30. | | λProlog: Logic programming in higher-order logic (polytechnique.fr) |
| 167 points by ux266478 57 days ago | 39 comments |
|
|
| More |
