lbruck
Re:AI, Lean, and the Future of Formal Verification, with Lean Creator ...
on Saturday October 31, 2026 @08:18PM (#50321566)
He is also the chief architect and cofounder of the Lean FRO, the associated non-profit: https://lean-lang.org/fro/team/
Re:What to Do When the Trisector Comes (1983) [pdf]
on Monday January 05, 2026 @08:02PM (#46507475)
Underwood Dudley has written more comprehensive books about mathematical cranks (in general) and trisectors (in particular) which are a delight to read.
Re:The DynamoDB Book: Data Modeling with NoSQL and DynamoDB
on Monday May 18, 2020 @04:52PM (#23228217)
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)
Re:Readings in Database Systems, 5th Edition (2015)
on Monday October 09, 2017 @11:11PM (#15439029)
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.