Scrambled Kitchen
Scrambled thoughts. Scrambled journeys. And scrambled eggs. Just batch migrated from Notion for easier customization & decentralized backups, so things may currently be scrambled up a bit.
Scrambled Thoughts
No thoughts yet. Still scrambling.
Scrambled Journeys
- DesignactiveDesign systems, cognition, perception, and brand
- Type theory, lambda calculus, semantics, and formal methods
Scrambled Projects & Research
- MPiSCdonePorting shared-memory MPSCs to distributed context using MPI-3.
- type-theoryactiveExercises and proofs from Software Foundations, TAPL, and PFPL.
Scrambled Reads
- bookEssentials of programming languages
- bookPractical foundations for programming languages
- bookProgramming language pragmatics
- bookProgramming languages: Application and Interpretation
- bookSoftware Foundations
1 / 3