Poudlardo

Recent Submissions

1. 1. ▲ Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai) 783 points · 6 days ago · 193 comments
2. 2. ▲ Kubernetes isn't dead, you just misused it (medium.com) 2 points · 6 months ago · 0 comments
3. 3. ▲ Apple Launches Apple Maps on the Web – Firefox Unsupported (beta.maps.apple.com) 2 points · 1 year ago · 2 comments
4. 4. ▲ Murena releases v2 of /e/OS, an open source and privacy-first mobile OS (youtube.com) 3 points · 1 year ago · 0 comments
5. 5. ▲ Google open sourced CDC File Transfer from the ashes of Stadia (github.com) 4 points · 3 years ago · 1 comment