The meeting place for professional Haskell programmers
Find a Job
I'm a Haskeller!
Using Haskell since 2010
You can ask me about full- or part-time employment
Living in Berkeley, CA
I'm an EECS major at Berkeley with a particular interest in programming languages, program synthesis, functional programming, type theory and static analysis.
I spent some time at the Berkeley ParLab working on program synthesis, using Racket and Haskell. I'm currently an intern at Jane Street Capital, using OCaml.
I also really like startups and have now worked at three. Unfortunately, none used Haskell, but Ashima Arts did use OCaml. Pretty close.
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Monadic Parser Combinators
Property based testing (QuickCheck)
Check package dependency status.
and powered by the
Yesod Web Framework
— OR —