blog blog.vmchale.com

Extracting Compiler Version from Compiled Binaries Using Jacinda

blog.vmchale.com·103w

Three Languages

blog.vmchale.com·103w

Better Vim Tags With Jacinda

blog.vmchale.com·103w

Theorems vs. Algorithms

blog.vmchale.com·106w

Laziness, A.k.a. Computer Science

blog.vmchale.com·108w

Unix As an IDE II

blog.vmchale.com·112w

The Unix Command-line As an IDE

blog.vmchale.com·112w

Utility of AWK

blog.vmchale.com·112w

All Programming Languages Should Have Linear Types

blog.vmchale.com·115w

Sed Examples in Jacinda

blog.vmchale.com·116w

Num Instances for ASTs

blog.vmchale.com·121w

Linear Types for Manipulating Expressions in the Lambda Calculus

blog.vmchale.com·123w

Linear Effects Handling

blog.vmchale.com·130w

C Converges to Intuitionistic Logic

blog.vmchale.com·132w

Logic Programming Doesn't Work in the Real World

blog.vmchale.com·133w

Egison's Pattern-matching via Logic Programming

blog.vmchale.com·134w

Lessons from Writing an Array Language Compiler

blog.vmchale.com·136w

Laconic Haskell

blog.vmchale.com·145w

Compiling Functions to Jumps

blog.vmchale.com·145w

Basic Blocks À La Appel

blog.vmchale.com·153w

Log in to enable infinite scrolling