from Hacker News

devinj

joined 2/25/10, 12:44 AM has 687 karma

• My history with Forth and stack machines (2010)

  by devinj on 8/26/22, 10:21 AM, with 0 comments

• ATS: a dependently-typed systems programming language?

  by devinj on 12/11/11, 1:30 PM, with 5 comments