Technical details of my projects, including the code, are available on github.com/caslabs
Cognitive Sciences & AI
Read more →
Meta analysis about leetcoding culture and problem solving
VR/AI/Metaverse
Mechanizing Computation
Type System for Programming Language
Software Engingeering != Coding
Reflection
The Invisible Machines
The Mechanics of Logic
Free Software Movement
High School Essay
The Chronology of Computation
Hypothetical Model for Engineering Complex Software Systems
My High School Essay