> Production-ready by formal verification, model checking, deterministic simulation, fuzzing, and lots of testing.
What does model checking mean here?
tyilo 1 hours ago [-]
> No human can write better code than LLMs.
Bold claim...
0c3ca83 55 minutes ago [-]
Especially since it's trivially proved wrong by inspecting the code. It's invariably awful.
This is only a statement that could be written by someone that doesn't read the code.
jared_hulbert 4 hours ago [-]
Very nice work. I'm working on stuff... adjacent to this I guess. I've been harping on the ideas that we have to be much more willing to reach for intrinsics, be laser focused on the cache lines, treat DRAM more like an async block device, but I can't believe I haven't thought to show the impact of coherence traffic! When I get some time I might try to apply some of my tricks to bbtree. DM me. I'd love to be able to reach out when I do.
What does model checking mean here?
Bold claim...
This is only a statement that could be written by someone that doesn't read the code.
https://news.ycombinator.com/item?id=50218616