lbruck
Joined 9 years ago
Karma
13
Submissions
4
Member since
Oct 10
Recent submissions
Comment · 2 days ago
He is also the chief architect and cofounder of the Lean FRO, the associated non-profit: https://lean-lang.org/fro/team/
Comment · 10 months ago
Underwood Dudley has written more comprehensive books about mathematical cranks (in general) and trisectors (in particular) which are a delight to read.
Comment · 6 years ago
Regarding the empty string and binary values: https://aws.amazon.com/about-aws/whats-new/2020/05/amazon-dy...
(Disclosure: I work for AWS on DynamoDB and on this)
Comment · 9 years ago
I like "Architecture of a Database System"
by Stonebraker, Hamilton,
and Hellerstein (http://db.cs.berkeley.edu/papers/fntdb07-architecture.pdf) for an overview and then "Transaction Processing: Concepts and Techniques" by Gray and Reuter (https://www.amazon.com/Transaction-Processing-Concepts-Techn...) for the storage-side of things. Granted these are a little old (especially G&R) so extra thought must be given for modern hardware (memory, CPU performance, processor counts, network, disks, etc) as well as distributed processing, replication, and consensus.