osa1 - index

osa1 feed

Recent posts

Type checking with Prolog - June 13, 2013
lcl -- Lua Container Library and The One Data Structure to Rule Them All - June 8, 2013
Compiling Love2D with LuaJIT - June 8, 2013
Implicit casts - May 25, 2013
A converter from Lua tables to JavaScript objects - May 6, 2013

Tags

box2d (1), coffeescript (1), cpp (2), django (9), en (22), git (1), haskell (12), java (13), javascript (3), lisp (14), lua (9), nautilus (2), ocaml (4), plt (1), prolog (1), pygame (5), python (38), shen (1), threejs (1), tr (82), type system (2), types (4), vim (8)

About

I'm mostly self-taught computer science senior student. I'm highly enthusiastic about functional programming and type systems, reactive programming, interpreters and compilers, partial evaluation, multi-stage programming and game programming.

You can see my CV here.

Some other places you can find me: