Bbtree: Fastest Ordered Map

[flagged]

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.

https://news.ycombinator.com/item?id=50218616

> Production-ready by formal verification, model checking, deterministic simulation, fuzzing, and lots of testing.

What does model checking mean here?

> No human can write better code than LLMs.

Bold claim...

[dead]

[flagged]