zk learning resource
- lambda sparkling water bootcamp
- privacy scaling explorations core program
- crypto101
- moonmath manual
- STARK 101's - STARK prover from scratch (in Python).
compilers/interpreters learning resource
- SSA book
- implementing SSA compilers with rust
- Type inference as constraint solving: how GHC’s type inference engine actually works - SPJ
- Intro. to compilers and language design
other interesting blogs/articles/videos
- A series about making a programming language called Eldiro using Rust
- Remco Bloemen's personal notes on maths and engineering
- introduction to SNARKs by vitalik
- understanding PLONK
- how to explain zero-knowledge protocols to your children
- ray tracing in one weekend
- temple OS
- ratatui
- to understand the diff. between concurrency and parallelism, read the first chapter of Carl Fredrick's Asynchronous Programming in Rust
- File compression in rust: Huffman Coding
- Ludwig's bookmarks. this is a gem, trust me
- anatomy of a terminal emulator
- Measuring the size of the cache line empirically
- Padding and alignment in structs
haskell learning resource
- https://argumatronic.com/posts/1970-01-01-beginners.html
- https://www.reddit.com/r/haskell/comments/oilapt/haskell_books_index_with_rss/?rdt=36670