Hackernews posts about OpenSource

1. OpenCode – Open source AI coding agent (opencode.ai)
   1274 points by rbanffy 18 days ago | 619 comments
2. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   783 points by Poudlardo 22 days ago | 191 comments
3. Nightingale – open-source karaoke app that works with any song on your computer (nightingale.cafe)
   592 points by rzzzzru 20 days ago | 162 comments
4. Lemonade by AMD: a fast and open source local LLM server using GPU and NPU (lemonade-server.ai)
   569 points by AbuAssar 5 days ago | 112 comments
5. Battle for Wesnoth: open-source, turn-based strategy game (www.wesnoth.org)
   485 points by akyuu about 16 hours ago | 136 comments
6. Mouser: An open source alternative to Logi-Plus mouse software (github.com)
   443 points by avionics-guy 25 days ago | 151 comments
7. OpenScreen is an open-source alternative to Screen Studio (github.com)
   431 points by jskopek 6 days ago | 72 comments
8. John Carmack about open source and anti-AI activists (twitter.com)
   376 points by tzury 25 days ago | 488 comments
9. Open source CAD in the browser (Solvespace) (solvespace.com)
   371 points by phkahler 7 days ago | 127 comments
10. Delve allegedly forked an open-source tool and sold it as its own (techcrunch.com)
    327 points by nickvec 5 days ago | 176 comments
11. Floci – A free, open-source local AWS emulator (github.com)
    292 points by shaicoleman 16 days ago | 95 comments
12. An open-source 240-antenna array to bounce signals off the Moon (moonrf.com)
    252 points by hillcrestenigma 1 day ago | 63 comments
13. OpenCiv1 – open-source rewrite of Civ1 (github.com)
    197 points by caminanteblanco 10 days ago | 73 comments
14. How to attract AI bots to your open source project (nesbitt.io)
    183 points by zdw 17 days ago | 30 comments
15. Reverse-engineering Viktor and making it open source (matijacniacki.com)
    181 points by zggf 21 days ago | 85 comments
16. I found 39 Algolia admin keys exposed across open source documentation sites (benzimmermann.dev)
    159 points by kernelrocks 24 days ago | 48 comments
17. Show HN: I made open source, zero power PCB hackathon badges (github.com)
    157 points by kaipereira 3 days ago | 18 comments
18. Show HN: Open-source browser for AI agents (github.com)
    155 points by theredsix 27 days ago | 55 comments
19. Aegis – open-source FPGA silicon (github.com)
    149 points by rosscomputerguy 2 days ago | 40 comments
20. Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
    148 points by wek 22 days ago | 81 comments
21. HopTab – Open source macOS app switcher and tiler that replaces Cmd+Tab (www.royalbhati.com)
    141 points by robhati 16 days ago | 55 comments
22. A ngrok-style secure tunnel server written in Rust and Open Source (github.com)
    107 points by joaoh82 20 days ago | 35 comments
23. Show HN: Modo – I built an open-source alternative to Kiro, Cursor, and Windsurf (github.com)
    98 points by mohshomis 1 day ago | 22 comments
24. Dobase – Open-source, self-hosted workspace with installable tools (dobase.co)
    94 points by frenkel 15 days ago | 45 comments
25. OpenYak – An open-source Cowork that runs any model and owns your filesystem (github.com)
    80 points by wangzhangwu 9 days ago | 38 comments
26. Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com)
    71 points by dougdonohoe 28 days ago | 22 comments
27. Open-source, low-cost 10.5 GHz PLFM phased array RADAR system (github.com)
    71 points by keepamovin 25 days ago | 1 comments
28. Open source isn't a tip jar – it's time to charge for access (www.theregister.com)
    66 points by beardyw 13 days ago | 76 comments
29. DoesItAgeVerify: The age verification status of Open Source Operating Systems (github.com)
    57 points by pkaeding 8 days ago | 54 comments
30. AI has suddenly become more useful to open-source developers (www.zdnet.com)
    54 points by CrankyBear 6 days ago | 47 comments