Comments are for the page: Overdriving approximation

### Some missing graphs in Overdriving approximation

2020-06-29

The first couple of graphs seem to be missing, I see this:

Graphed, this is a straight line:

[linear graph]

The model is not absolutely true. For small enough positive or negative

### Math and formal logic

2020-09-06

Can you explain a bit more why someone might consider mathematics to be superior to formal logic. Doesn’t Godelian incompleteness put logic and math in the same boat–with symbolic logic having been the tool of choice in the last bravest effort to salvage math from ontological nebulosity?

## Usualness, adversaries, row hammer

Reading footnote 4 reminded me of row hammer - a security exploit in DRAM that flips normally-inaccessible bits in memory by repeatedly accessing physically nearby rows of memory, thereby using charge leakage. I think that usualness conditions become particularly fraught when there’s an adversary out there who’s deliberately looking for exceptions to the conditions, in order to exploit them.