(blog.janestreet.com)

226 points Ne02ptzero | 1 comments | 02 Jul 25 18:34 UTC | HN request time: 0.357s | source

Show context

vrnvu ◴[03 Jul 25 11:02 UTC] No.44453763[source]▶

>>44447259 (OP) #

I'd like to highlight this:

>NFS with Kerberos

secure, simple, battle tested. no crazy architecture

works so well a bug showed up in the kernel :-)

replies(2): >>44455019 #>>44458931 #

1. burnt-resistor ◴[03 Jul 25 20:33 UTC] No.44458931[source]▶

>>44453763 #

The Linux kernel needs to adopt better testing methodologies because they're almost entirely reliant on meatcloud CI than provably-correct code with invariant contracts.

↑

A Higgs-Bugson in the Linux Kernel