2020
- Volunteering for PLDI 2020 Artifact Evaluation Committee January 20
2019
- Volunteering for POPL 2020 Artifact Evaluation Committee July 13
- RDL 2.2.0 released with type-level computations June 09
- At Synthetic Minds as a research intern this summer May 28
- Type-Level Computations for Ruby Libraries to appear at PLDI 2019 April 02
2017
- 2017: Year in reviewDecember 31
- Partial Evaluation of Bash ScriptsJanuary 18
2016
- Ruby meta-hacking: Looking under the hoodOctober 28
- Some thoughts on sandboxing programsOctober 10
- HyperLogLog: Counting things efficientlyAugust 24
- Take care, it’s Floating Point ArithmeticJuly 04
- A Brainf*ck JITApril 03
- Malloc and RSS memory usageMarch 31
- Be cautious about Content-Length HTTP headersMarch 17
- Webdriver over WebsocketsFebruary 20
2015
- Hello WorldNovember 01