Bbtree: Fastest Ordered Map

bbtree.xiangpeng.systems

99 points by aoli-al 14 hours ago


hugmynutus - 6 hours ago

[flagged]

jared_hulbert - 11 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.

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

geraneum - 6 hours ago

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

What does model checking mean here?

tyilo - 8 hours ago

> No human can write better code than LLMs.

Bold claim...

- 5 hours ago
[deleted]
eumon - 6 hours ago

[dead]

jackbeanstalk20 - 11 hours ago

[flagged]