pithlessly's blog
| 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. I want to start with the things programmers already need to do and give them a solid foundation and make them composable.
In the past I've worked a lot with Rust and Haskell; most recently I've been using Nix and writing a lot of Zig and Scheme. My current research interests include staged computation, intensional computation, algebraic effects, and partial evaluation.
I'm white/taiwanese and speak some Mandarin. ๐ณ๏ธโ๐ ๐น๐ผ ๐ต๐ธ