Leanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai783 points·by Poudlardo·4 месяца назад·191 comments
Kubernetes isn't dead, you just misused itmedium.com2 points·by Poudlardo·10 месяцев назад·0 comments
Poudlardo·2 месяца назад·discussFunny that by the time you post this type of articles it's obsolete already since the all industry's watching
Poudlardo·3 месяца назад·discussI think i like the idea. But why specifically laptops, why won't they accept small computers like thinkcentres for example ?
Poudlardo·4 месяца назад·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 месяцев назад·discussFor iOS users, "Bitchat" from Jack Dorsey is pretty similar. I'm not sure whether it syncs with Wi-Fi though, only Bluetooth