Hacker Newsnew | comments | ask | jobs | submitlogin
user:tluyben2
created:1215 days ago
karma:1588
avg:1.93
about:Haskell/Prolog (and thus Mercury) fan, Redis devote, formal methods nut, machine learning & AI programming (especially automatic programming and programming by example) researcher.

Right now: Working on Fitto.co and 'a game' and a development tool.

Learning: (typed) Clojure, Idris, Agda.

Twitter: @luyben

submissions
comments