Things I need to study

[Thomaz-Peres]

Read that book

• [ ] Software Foundation (started)
• [ ] Code (started)

For study

• [ ] Type theory
• [ ] Lambda/Lambda Cube
• [ ] Compilers (started)
• [ ] Programming paradigms
• [ ] functional programming
• [ ] programming languages design
• [ ] networking
• [ ] operating systems
• [ ] cryptography/blockchain
• [ ] security.

I'm studying Rust, and some really basics things functional languages (SML, Racket)

[Thomaz-Peres]

• [x] Starting reading Software Foundations

[Thomaz-Peres]

• [x] Starting learn about compilers, and reading SF yet (reading less then i want, but it's ok because i'm reading 'Code' too)

Compilers = this playlist in Pt-br Book Code