OPEN SOURCE

Leanstral: Open-source agent for trustworthy coding and formal proof engineering
777 points | 189 comments

Nightingale – open-source karaoke app that works with any song on your computer
555 points | 156 comments

Mouser: An open source alternative to Logi-Plus mouse software
440 points | 152 comments

John Carmack about open source and anti-AI activists
375 points | 488 comments

Reverse-engineering Viktor and making it open source
180 points | 81 comments

I found 39 Algolia admin keys exposed across open source documentation sites
159 points | 47 comments

Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
147 points | 81 comments