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