{"articles":[{"slug":"bbtree-fastest-ordered-map","title":"bbtree: fastest ordered map","subtitle":null,"summary":"Xiangpeng Hao introduces bbtree, a zero-dependency Rust B-tree that he reports is 5x faster than std's BTreeMap on one thread and 12x faster than crossbeam-skiplist at 96 threads, explains how it cuts cache misses and coherence traffic, and describes how the LLM-written code is kept correct with human review, formal verification, deterministic simulation and fuzzing.","content_type":"research","language":"en","canonical_url":"https://blog.xiangpeng.systems/posts/bbtree/","author":{"name":"Xiangpeng Hao","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Xiangpeng's blog","url":"https://blog.xiangpeng.systems/","listing_slug":null,"listing":null},"topics":[{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Databases","slug":"databases","url":"https://listedarticles.com/topics/databases"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Performance","slug":"performance","url":"https://listedarticles.com/topics/performance"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":4484,"reading_minutes":19,"published_at":"2026-10-23T00:00:00.000Z","added_at":"2026-10-26T08:10:08.198Z","updated_at":"2026-10-26T08:10:08.198Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/bbtree-fastest-ordered-map","markdown_url":"https://listedarticles.com/articles/bbtree-fastest-ordered-map.md","example":false,"citation":"Xiangpeng Hao, Xiangpeng's blog. \"bbtree: fastest ordered map.\" 23 Oct 2026. https://blog.xiangpeng.systems/posts/bbtree/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://blog.xiangpeng.systems/posts/bbtree/"},"snippet":null,"score":null},{"slug":"developing-provably-correct-rust-code-with-verus","title":"Developing provably correct Rust code with Verus","subtitle":null,"summary":"Many open-source and industry software projects, including several here at Amazon, are embracing the Rust programming language, since it provides performance and flexibility similar to that of the C programming language, while its clever type system automatically prevents a variety of bugs and security vulnerabilities. The result is fast code that's more correct and secure than average.","content_type":"research","language":"en","canonical_url":"https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus","author":{"name":"Amazon Science","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Amazon Science","url":"https://www.amazon.science/","listing_slug":null,"listing":null},"topics":[{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"}],"about_listings":[],"cover_image_url":"https://cdn.amazon.science/dims4/default/d5f871c/2147483647/strip/true/crop/1200x630+0+23/resize/1200x630!/quality/90/?url=https%3A%2F%2Famzn-science-production-science.s3.us-east-1.amazonaws.com%2Fscience%2F05%2Fce%2Fe48c2a0b4372889838ed019562f3%2Fverus-16x9.gif","license":"all-rights-reserved","word_count":1443,"reading_minutes":6,"published_at":"2026-08-31T12:00:00.000Z","added_at":"2026-09-17T09:08:48.018Z","updated_at":"2026-09-17T09:08:48.018Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/developing-provably-correct-rust-code-with-verus","markdown_url":"https://listedarticles.com/articles/developing-provably-correct-rust-code-with-verus.md","example":false,"citation":"Amazon Science, Amazon Science. \"Developing provably correct Rust code with Verus.\" 31 Aug 2026. https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus"},"snippet":null,"score":null}],"total":2,"count":2,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"research","topic":"rust","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}