top | item 45674955 (no title) Hexigonz | 4 months ago This is pretty cool! Are you sure about the name... discuss order hn newest NitpickLawyer|4 months ago It's a system where a 3rd party library (aptly named Coq) gets to throughly verify your kernel, and you get to watch it do its thing? I think the name is fitting. bitwize|4 months ago It's called Rocq now—for this reason. load replies (1) ahallock|4 months ago Aren't we more mature than this? Granted, it's the first thing I thought of as well 7bit|4 months ago Can we instead please be mature about choosing a adequate sounding name? hnuser123456|4 months ago Bonus points if it runs on UNIX CaptainOfCoit|4 months ago I'm getting a ԃҽʝα ʋυ VoodooJuJu|4 months ago [deleted]
NitpickLawyer|4 months ago It's a system where a 3rd party library (aptly named Coq) gets to throughly verify your kernel, and you get to watch it do its thing? I think the name is fitting. bitwize|4 months ago It's called Rocq now—for this reason. load replies (1)
ahallock|4 months ago Aren't we more mature than this? Granted, it's the first thing I thought of as well 7bit|4 months ago Can we instead please be mature about choosing a adequate sounding name?
NitpickLawyer|4 months ago
bitwize|4 months ago
ahallock|4 months ago
7bit|4 months ago
hnuser123456|4 months ago
CaptainOfCoit|4 months ago
VoodooJuJu|4 months ago
[deleted]