Featured
The Reach of Respect
Why do we respect people? Where should we draw the line?
The Enemy Lies
Thoughts on lies, pride, respect, loneliness, love, and the truth.
Recent Posts
The Reach of Respect
Why do we respect people? Where should we draw the line?
The Enemy Lies
Thoughts on lies, pride, respect, loneliness, love, and the truth.
Interaction Nets, Combinators, and Calculus
Explanation of interaction nets, combinators, and calculus, which are key components of HVM.
HOP: HVM Mini Language - Conclusion
Thoughts and conclusions on making a mini-language on HVM.