Hacker News Reader

lbruckon AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

He is also the chief architect and cofounder of the Lean FRO, the associated non-profit: https://lean-lang.org/fro/team/

lbruckon What to Do When the Trisector Comes (1983) [pdf]

Underwood Dudley has written more comprehensive books about mathematical cranks (in general) and trisectors (in particular) which are a delight to read.

lbruckon The DynamoDB Book: Data Modeling with NoSQL and DynamoDB

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)

lbruckon Readings in Database Systems, 5th Edition (2015)

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.