Y Hacker News new | ask | show | jobs

user: akshayshah created: 2012-03-16 karma: 634 https://akshayshah.org submissions: 0 points | 0 comments 0 points | 0 comments New Logic for Programmers (and the future of this newsletter) 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Antithesis – The Deterministic Computer 10 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Catalog of reliability properties for blockchains (Antithesis) 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Keeping Master Green at Scale 2 points | 0 comments Chroma Technical Report: Generative Benchmarking 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments