HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
Poudlardo
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
782 points
Poudlardo
2026-03-16T20:59:40Z
mistral.ai
Kubernetes isn't dead, you just misused it
2 points
Poudlardo
2025-09-22T08:27:08Z
medium.com
Apple Launches Apple Maps on the Web – Firefox Unsupported
2 points
Poudlardo
2024-07-26T10:08:20Z
beta.maps.apple.com
Murena releases v2 of /e/OS, an open source and privacy-first mobile OS
2 points
Poudlardo
2024-05-17T09:00:03Z
www.youtube.com
Google open sourced CDC File Transfer from the ashes of Stadia
4 points
Poudlardo
2023-01-06T15:41:01Z
github.com