24 points | by namanbnsl 2 hours ago ago
3 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.
Slop Verbiage, Straight To Your HN Feed
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.
Slop Verbiage, Straight To Your HN Feed