akshayshah

Karma: 632
Created: 14 years ago

About

https://akshayshah.org

Recent Submissions

1. ▲ New Logic for Programmers (and the future of this newsletter) (buttondown.com) 2 points · 14 days ago · 0 comments
2. ▲ Antithesis – The Deterministic Computer (mack.work) 10 points · 4 months ago · 0 comments
3. ▲ Catalog of reliability properties for blockchains (Antithesis) (antithesis.com) 1 point · 6 months ago · 0 comments
4. ▲ Keeping Master Green at Scale (dl.acm.org) 2 points · 8 months ago · 0 comments
5. ▲ Chroma Technical Report: Generative Benchmarking (research.trychroma.com) 3 points · 8 months ago · 0 comments

All submissions on HN · View profile on HN