Leanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai783 points·by Poudlardo·4 bulan yang lalu·191 comments
Kubernetes isn't dead, you just misused itmedium.com2 points·by Poudlardo·10 bulan yang lalu·0 comments
Poudlardo·2 bulan yang lalu·discussFunny that by the time you post this type of articles it's obsolete already since the all industry's watching
Poudlardo·3 bulan yang lalu·discussI think i like the idea. But why specifically laptops, why won't they accept small computers like thinkcentres for example ?
Poudlardo·4 bulan yang lalu·discussCould be useful to quick check simple things such i18n or default behavior of a website. But for actual use, I will wait for the technical "trade-offs" as mentioned in the article.
Poudlardo·6 bulan yang lalu·discussFor iOS users, "Bitchat" from Jack Dorsey is pretty similar. I'm not sure whether it syncs with Wi-Fi though, only Bluetooth