Y Hacker News new | ask | show | jobs

user: Poudlardo created: 2021-08-02 karma: 309 Sysadmin DevOps Paris, France submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Leanstral: Open-source agent for trustworthy coding and formal proof engineering 783 points | 191 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Kubernetes isn't dead, you just misused it 2 points | 0 comments 0 points | 0 comments Apple Launches Apple Maps on the Web – Firefox Unsupported 2 points | 2 comments Murena releases v2 of /e/OS, an open source and privacy-first mobile OS 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Google open sourced CDC File Transfer from the ashes of Stadia 4 points | 1 comments 0 points | 0 comments