Here I write technical posts across a broad category of topics, mostly related to programming languages and productivity tips.
→ 👨💻 More about me
→ 📺 Talks I’ve given
→ 💭 Thoughts and opinion
pieces
Jump to All Posts or to All Categories
Suggested posts
Profiling in Haskell for a 10x Speedup
May 19, 2019
I wrote up a toy project in Haskell and profiled it to learn about Haskell’s profiling tools and about profiling code in general. Profiling in Haskell with Stack is super easy…
Union Types in Flow & Reason
April 19, 2018
Union types are powerful yet often overlooked. At work, I’ve been using Flow which thankfully supports union types. But as I’ve refactored more of our code to use union types, I’ve noticed that our bundle size has been steadily increasing!
Code Review from the Command Line
January 13, 2018
I do the bulk of my code reviews from the command line, especially when reviewing larger changes. I’ve built up a number of tools and config settings that help me dig into the nuances of the code I’m reviewing, so that I can understand it better than if I were just browsing online.
Variables and Binding
October 28, 2017
Nearly every interesting programming language feature derives its power from variables. Functions wouldn’t be functions if not for variables. Modularity and linking reduce to variables and substitution. I’ve written in the past about all sorts of cool variables in types, as well as how parametric polymorphism in System F is the result of using type variables in two ways within the same system.
Reach for Markdown, not LaTeX
February 26, 2017
Writing should be a pleasant experience. With the right tools, it can be. LaTeX is powerful but cumbersome to use. With Markdown, we can focus on our writing, and worry about the presentation later. Pandoc can take care of the presentation for us, so the only thing left to do is start.
All posts
2022
- Tips for large-scale codemods, November 12
- Sorbet’s weird approach to exception handling, September 4
- Control Flow in Sorbet is Syntactic, August 24
- Parse Error Recovery in Sorbet: Part 4, June 6
- With types, seeing is believing, June 4
- Is tree-sitter good enough?, May 30
- What would a type-aware Rubocop look like?, May 16
- T::Enum Pros & Cons, March 17
- Parse Error Recovery in Sorbet: Part 3, February 28
- Parse Error Recovery in Sorbet: Part 2, February 22
- Parse Error Recovery in Sorbet: Part 1, February 21
- Sorbet, Generics, and Parametricity, February 18
2021
- Typed Errors in Sorbet, June 5
- Sorbet Does Not Have Checked Exceptions, May 29
2020
- Exploring Ruby with clangd, July 21
- Linkers & Ruby C Extensions, June 7
- Search Down the Stack, June 6
- Sorbet Does Not Have FixMe Comments, February 12
- Intersection Types in Sorbet are Surprisingly Common, January 4
2019
- What makes type checking Ruby hard?, December 29
- Surgery on Code from the Command Line, July 30
- On Programming Language Choice, June 21
- Notes on Continuations, June 18
- A Debugger for Bash in Six Lines of Bash, June 16
- Improving CLIs with isatty, June 11
- Standard ML in Travis CI, June 4
- Profiling in Haskell for a 10x Speedup, May 19
2018
- Concurrent Programming in ML: A Race, July 18
- Prefer .then() over .catch(), May 31
- Union Types in Flow & Reason, April 19
- Case Exhaustiveness in Flow, April 15
- Lenses & Composition, February 6
- Some Intuition on Lenses, February 6
- Code Review from the Command Line, January 13
2017
- Presenting Data & Information: Notes, December 6
- ABTs in Haskell, November 12
- Variables and Binding, October 28
- System Fω and Parameterization, September 27
- Variables in Types, September 25
- Recitation Notes, September 24
- Tests, Types, & Correctness, September 10
- If, Else, & Purity, September 1
- Haskell Development with Neovim, July 16
- Reach for Markdown, not LaTeX, February 26
2016
- Troubleshooting Haskell Stack Setup on OS X, August 3
- Let’s Have a Chat about Encryption, April 17
- SML Dev Setup, March 9
- Starter Zsh Setup, January 3
2015
- Leaking Free Disk Space, August 3
- Docker Tips and Cheatsheet, July 12
- Show where a Python package is used, June 12
- Why zsh?, March 10
- Noteworthy Dotfile Hacks, March 10
- Getting Started with RCM, March 9
- Vim as an IDE, March 3
- New GitHub Username, February 3
- Mastering git log for Collaboration, January 16
- The LaTeX homework Document Class, January 10
- Offline LaTeX Development - Part 2, January 10
2014
- Google Chrome: A Memory Hog, December 29
- Ruby Virtualenvs, December 22
- Vim as a Man Page Viewer, December 20
- The Joys of the Craft, December 13
- Using Multiple Git Remotes, November 1
- Using Google OAuth2 for CMU Authentication, October 20
- Offline LaTeX Development, October 6
- Solarized LaTeX Listings, October 4
- A LaTeX Homework Template, October 4
- Setting up MobaXterm for SSH on Windows, September 28
- Molokai: An iTerm2 Color Scheme, June 7
- HPSTR: An Octopress Theme, June 4
- Adding a Network Printer to a Linux Server, May 6
- Shiny New Octopress Blog, May 6