pithlessly's blog
| 2025-12-25 | Dissecting Andreas Rossberg's 1ML: introduction |
| 2025-11-09 | Newtypes vs. abstract types, and the limitations of type inference |
| 2025-06-08 | Notes on combinatorial species (Méndez 2015) |
| 2025-06-03 | The comptime calculus |
| 2025-02-13 | Issues with instance Ord (STRef s a) |
| 2025-02-11 | Intensional Joy (a concatenative account of internal structure) |
| 2024-11-28 | My solution to "Tree-edge Triage" |
| 2023-12-03 | Against do notation |
| 2022-12-06 | There is room for imperfect fault isolation |
| 2022-10-25 | Semantics and Psychology |
| 2022-07-31 | Artificial life: resources & links |
| 2022-03-17 | There are no odd-length no-ops in brainfuck |
| 2021-12-16 | CallCC: a classic operator that defies intuition |
| 2021-12-15 | Allocgate is coming in Zig 0.9, and you will have to change your code |
About me
Hi! I'm an undergraduate student at Oregon State University, double majoring in computer systems and mathematics. My primary research interest is theoretical and applied programming languages (PL): compilers, functional programming, type systems, etc. I help maintain the programming language reading group here at OSU under Martin Erwig.
I believe the goal of PL is to empower users. This comes in two forms. The first is to push the boundaries of what is possible in our programming languages. The second is to take what is already possible and make it safer, more principled, and more composable.
I have extensive experience with Rust, Haskell, Nix, Zig, and Scheme. I have written a Scheme compiler and runtime and a self-hosted OCaml compiler. My current research interests include algebraic effects, module systems, and metaprogramming (particularly partial evaluation).
I'm white/taiwanese and speak some Mandarin. 🏳️🌈 🇹🇼 🇵🇸