rramadass
- Karma
- 0
- Created
- ()
- Submissions
- 0
- I DO Understand Relativity (southampton.ac.uk)
- I Don't Understand Quantum Physics (southampton.ac.uk)
- Probabilistic Programming (adriansampson.net)
- A Tutorial on the Curry-Howard Correspondence [pdf] (web.archive.org)
- Adding Reflection to C (davidpriver.com)
- The Quantum Atlas (quantum physics for non-experts) (quantumatlas.umd.edu)
- Foundations of Large Language Models (arxiv.org)
- Proof and Progress in Mathematics (1994) (arxiv.org)
- Random Reality (2000) (sprott.physics.wisc.edu)
- The Relation Between Mathematics and Physics by Paul Dirac (damtp.cam.ac.uk)
- C*: Unifying Programming and Verification in C (arxiv.org)
- The Structured Vacuum: Thinking about Nothing [pdf] (rafelski.com)
- Why C++ Wins in Finance [video] (youtube.com)
- The most thoroughly commented linker script (probably) (blog.thea.codes)
- Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy) (www-formal.stanford.edu)
- A brief guide: Supersonic flight without the boom (aeroreport.de)