twitu / dotfiles

Dotfiles for tmux, zsh and vim setup

My simple web page 😇

🧑‍🎓 I'm working on the MLscript language at the TACO research group. It implements a sophisticated type system that infers the most general type, the principal type, for an expression.

💻 I enjoy topics related compilers, type systems and programming languages implementation. On the side I contribute to open source projects in Haskell or Rust 🦀.

✍️ Occasionally, I write about my projects or topics I have explored to some depth. Below are two you may find interesting.

• No code key ideas from my MPhil Thesis 🔗

• Tales from Rust FFI

  • Causing a memory leak in Python (and then fixing it) Python Pointer Panic 🔗
  • Developing an intuitive understanding of the what? and how? of ffi by Building in Rust for Python 🔗.

• A 3-part series about graphics programming in Rust where I simulate a 3d flock of boids

  • Part 1 - A fistful of boids
  • Part 2 - For a few boids more
  • Part 3 - The school, the boid and the rusty

• An AWS Open Source Blog about using TypeScript's type system for declaring resources in CDK

Comments are welcome and encouraged. You can file an issue or directly comment in the commit specific file.

🎨 I explored a few blogging options but finally decided not go down that rabbit hole. Github and markdown is a "sasta, sundar, tikau" combination (trans. thrifty, beautiful and lasting) that suits me well.