188

Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)

22 hours ago Poudlardo mistral.ai

1

Kubernetes isn't dead, you just misused it (medium.com/dev_tips)

6 months ago Poudlardo medium.com

2

Apple Launches Apple Maps on the Web – Firefox Unsupported (maps.apple.com)

a year ago Poudlardo apple.com

1

Murena releases v2 of /e/OS, an open source and privacy-first mobile OS (youtube.com)

a year ago Poudlardo youtube.com

3

Google open sourced CDC File Transfer from the ashes of Stadia (github.com/google)

3 years ago Poudlardo github.com