"powerful hand of math". What? I did a pretty simple proof of the safety of Write-ahead Logging as an undergraduate project -- given reasonable assumptions abo

"powerful hand of math". What? I did a pretty simple proof of the safety of Write-ahead Logging as an undergraduate project -- given reasonable assumptions about disks (or implementation safeguards such as pervasive checksumming). Most developers have superpowers: It's called "existing research". I just wish they'd use them more.