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