Thread
Stories related to "Data Structures in Clojure: Singly-Linked Lists" across the full archive.
Getting data out of databases: a surprisingly tricky problem — Martin Kleppmann’s talks
(martin.kleppmann.com)
Kleppmann's talk: slides, video, and references from the "All Your Base" conference.
I stumbled across this CppCon talk and found it interesting. The Ewig text editor example with concurrent loading and editing is impressive. The code seems clean.
There is a lucid exposition of Relaxed Radix Balanced Trees (RRB trees) in the video.
Although I lost the plot with C++ around C+...
Verification of Full, Functional Correctness for Imperative, Linked, Data Structures (2010)
(dspace.mit.edu)
[Github.](https://github.com/epfl-lara/jahob)