• bits 1
• blog 9
• code 7
• compilation 1
• contracts 1
• gradual 1
• hardware 1
• haskell 1
• language 2
• languages 1
• latex 1
• linux 1
• miniKanren 1
• open-access 1
• pictures 1
• pl 1
• quotes 2
• research 4
• school 1
• scope 1
• semantics 1
• snippet 1
• terriblecsidea 4
• typesetting 1

bits

• A Small ALU in Haskell, Part I

blog

• A Small ALU in Haskell, Part I
• The Refined Gradual Guarantee and Compilation
• The Curious Case of Subclassing and Scope
• Lexical Data - Lexical Scoping is a Right, Not a Privilege
• rKanren - Guided Search in miniKanren, Part I
• ACM doesn't understand Open Access
• My next laptop will be an Apple
• Adding A* Search to miniKanren
• Writing Christmas Trees, or Building A Cute Turing Tarpit

code

• Using LaTeX for Programming Language Semantics
• A Small ALU in Haskell, Part I
• The Refined Gradual Guarantee and Compilation
• The Curious Case of Subclassing and Scope
• Adding A* Search to miniKanren
• Writing Christmas Trees, or Building A Cute Turing Tarpit
• Substrings in Scheme

compilation

• The Refined Gradual Guarantee and Compilation

contracts

• Contracts are Effects

gradual

• The Refined Gradual Guarantee and Compilation

hardware

• My next laptop will be an Apple

haskell

• A Small ALU in Haskell, Part I

language

• Adding A* Search to miniKanren
• Writing Christmas Trees, or Building A Cute Turing Tarpit

languages

• Lexical Data - Lexical Scoping is a Right, Not a Privilege

latex

• Using LaTeX for Programming Language Semantics

linux

• My next laptop will be an Apple

miniKanren

• rKanren - Guided Search in miniKanren, Part I

open-access

• ACM doesn't understand Open Access

pictures

• It's a period of civil war

pl

• Using LaTeX for Programming Language Semantics

quotes

• Computer Science is fake science. It is, however, real math.
• Gobs of Recursion

research

• rKanren - Guided Search in miniKanren, Part I
• ACM doesn't understand Open Access
• Adding A* Search to miniKanren
• Contracts are Effects

school

• Contracts are Effects

scope

• Lexical Data - Lexical Scoping is a Right, Not a Privilege

semantics

• Using LaTeX for Programming Language Semantics

snippet

• Substrings in Scheme

terriblecsidea

• Semantics Dipped in Lime
• ParselTongue to JavaScript Compiler
• Gangnam Passing Style
• Victim-Blaming Contract Calculus

typesetting

• Using LaTeX for Programming Language Semantics