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