Hacker News: lbruck

New comment by lbruck in "AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura"

lbruck — Sun, 01 Nov 2026 00:18:23 +0000

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

New comment by lbruck in "What to Do When the Trisector Comes (1983) [pdf]"

lbruck — Tue, 06 Jan 2026 01:02:48 +0000

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

New comment by lbruck in "The DynamoDB Book: Data Modeling with NoSQL and DynamoDB"

lbruck — Mon, 18 May 2020 20:52:50 +0000

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)

New comment by lbruck in "Readings in Database Systems, 5th Edition (2015)"

lbruck — Tue, 10 Oct 2017 03:11:16 +0000

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.