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