| user: | akshayshah |
| created: | March 16, 2012 |
| karma: | 632 |
| about: | https://akshayshah.org |
| 1. | New Logic for Programmers (and the future of this newsletter)(buttondown.com) |
| 2. | Antithesis – The Deterministic Computer(mack.work) |
| 3. | Catalog of reliability properties for blockchains (Antithesis)(antithesis.com) |
| 4. | Keeping Master Green at Scale(dl.acm.org) |
| 5. | Chroma Technical Report: Generative Benchmarking(research.trychroma.com) |