16 points | by namanbnsl an hour ago ago
2 comments
Slightly off-topic, but how far are we from a formally verified stack for (say) a webdav or NFS server?
The fact that the description is AI slop doesn't inspire confidence in the results.
Slightly off-topic, but how far are we from a formally verified stack for (say) a webdav or NFS server?
The fact that the description is AI slop doesn't inspire confidence in the results.