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