Blogs

• My First Blog Post

  A sample blog post about programming languages

  1/20/2024• 1 min read
• Compilers & Implementation

  Translating human-readable code into efficient machine code.

  1/15/2024• 1 min read
• Language Design & Paradigms

  Structuring code for readability, maintainability, and safety.

  1/5/2024• 1 min read
• Type Theory & Foundations

  The mathematical underpinnings of computation and program correctness. Explore type theory, formal semantics, category theory, and lambda calculus.

  12/20/2023• 1 min read