/home
/posts
/open-source
Stuff which I found interesting.
Rust
The Little Book of Rust Macros
Learning Rust with Too Many Linked Lists
Rustonomicon
Type Exercise in Rust
PNGMe Project
Rust Design Patterns
Lifetime Kata
Macro Kata
Networking
Electricity
Auth
Microcontrollers
Operating Systems
Functional Programming
Functional Programming in Lean4
Theorem Proving in Lean4
Learn you a Haskell
Assembly