lsb
Joined 19 years ago
Joined 19 years ago
All of the proofs of privacy rely on us getting the math right. All of the privacy from unplugging your internet cable is there by default.
(cf Saul Bellow asking “who is the Tolstoy of the Zulus”, and Ralph Wiley in the Atlantic saying that Tolstoy is the Tolstoy of the Zulus.)
For this project, where you have 120GB of customer data, and thirty requests a second for ~8k objects (0.25MB/s object reads), you’d seem to be able to 100x the throughput vertically scaling on one machine with a file system and an SSD and never thinking about object storage. Would love to see why the complexity
> Instead of taking a stab in the dark, Leanstral rolled up its sleeves. It successfully built test code to recreate the failing environment and diagnosed the underlying issue with definitional equality. The model correctly identified that because def creates a rigid definition requiring explicit unfolding, it was actively blocking the rw tactic from seeing the underlying structure it needed to match.
Buy the book! https://qntm.org/vhitaos
[email protected]