Articles
2024-04-04
In Defense of Weird Names
Names are weird until you understand what they stand for and realize that sometimes someone need to stand for them.
2024-03-22
Appreciating 2023: Systems, Types, and Philosophy
Today's work is particularly fun that it inspired me to write this appreciation piece for the past 2023-2024.
2024-01-21
Control, In Itself, For You
When you run a program in your computer, a small slice of space and time in your device is under the programmer's control.
2023-09-08
Distant Now Is Late But It Does Not Matter
Your “now” is some time in my past and my “now” is some time in your past
2022-10-11
Rust: Type Concealment With Any Trait and FnMut
While working on machine-tree I found that Rust has a very powerful arsenal when it comes to dynamic programming and hiding type information.