1Leanstral: Open-source agent for trustworthy coding and formal proof engineering (opens in new tab)(mistral.ai)783Poudlardo9d ago193
3Apple Launches Apple Maps on the Web – Firefox Unsupported (opens in new tab)(beta.maps.apple.com)2Poudlardo1y ago2
4Murena releases v2 of /e/OS, an open source and privacy-first mobile OS (opens in new tab)(youtube.com)3Poudlardo1y ago0
5Google open sourced CDC File Transfer from the ashes of Stadia (opens in new tab)(github.com)4Poudlardo3y ago1
