About
📝 Blog 💡
Representing VOLATILE in Flang
Use an SMT solver for your next interview
My Ideal Array Language
My Values
Debugging in Parallel
Variable Length Arrays
BQN and Reflections on the Joy of Programming
LLVM Development on NixOS
CUDA 101: Matrix-Vector Product
Debugging Performance in Compilers
std::expected And Why It's Awesome
GTest Type and Value Parameterized Tests
Spack for Package Development Part 3
Clang Tools for Checking Domain-Specific Errors
Spack for Package Development Part 2
Spack for Package Development Part 1
A Look at std::mdspan
Using the Most Popular Programming Languages of the '60s
One Problem, Four Languages, Two Paradigms
BQN and CUDA C++ LeetCode Solutions
Linux Application Perf
Shell and Scripting Notes
Editors and Tools 8/30/2024
🚧 WIP 🚧
You can vectorize without a vector length? 7/22/2025
Why is functional programming such a great fit for Compilers? 7/22/2025
What would an MLIR dialect for OCaml look like? 7/22/2025
The Simplest Hindley-Milner Type Checker 7/22/2025
☕️ Coffee
Best Espresso In Portland (6/11/2023)
Sterling (6/22/2023)
Deadstock (6/14/2023)
Barista (6/22/2023)
Never Coffee (6/13/2023)
Upper Left Roasters (6/15/2023)
Abba (6/14/2023)
Rose City Coffee (6/15/2023)
Sterling (6/14/2023)
Superjoy (6/21/2023)
Beginners Guide (6/13/2023)
Seattle Trip Report (6/19/2023)
Adapt Coffee (6/15/2023)
Coava (6/13/2023)
PDX Espresso Research (6/14/2023)
Nossa Familia Coffee (6/15/2023)

Notes

Simples Hindley-Milner Type Checker 7/22/2025

This spring I came across a few small scripts implementing a small Hindley-Milner type checker.

https://github.com/ashermancinelli/hmpy