HNHacker News
TopNewBestAskShowJobs

tikhonj

16,892 karma · joined September 12, 2011

Tikhon Jelvis

I am interested in programming languages, functional programming (especially Haskell), domain-specific languages, static analysis and program synthesis.

I am working on apply programming language ideas to supply chain planning.

I worked on supply chain optimization at Target for several years, and co-authored a textbook on reinforcement learning based on that experience.

contact: http://jelv.is, tikhon@jelv.is

submissionscomments

IHaskell: Haskell for IPython

gibiansky.github.io·4 pts·tikhonj·
0

A Gentle Introduction to Parsec

blog.barrucadu.co.uk·1 pts·tikhonj·
0

Abstractions for the Functional Roboticist [Haskell talk]

vimeo.com·2 pts·tikhonj·
0

"Rich composable systems are the way to go" illustrated with Emacs

vimeo.com·1 pts·tikhonj·
0

An all-atom protein search engine powered by Haskell

haskellforall.com·3 pts·tikhonj·
0

Very accessible introduction to Haskell lenses by Simon Peyton Jones

skillsmatter.com·1 pts·tikhonj·
0

Nomic - the game where you can change the rules, now on a computer

nomyx.net·4 pts·tikhonj·
0

Introduction to laziness and strictness in Haskell

alpmestan.com·2 pts·tikhonj·
0

Why Functional Reactive Programming matters

just-bottom.blogspot.fi·1 pts·tikhonj·
0

Coroutines in one page of Haskell

random.axman6.com·2 pts·tikhonj·
0

The War of the Closes

blog.stackoverflow.com·4 pts·tikhonj·
0

Generalizing folds to types other than lists.

stackoverflow.com·2 pts·tikhonj·
0

Why not use structural subtyping?

whiley.org·1 pts·tikhonj·
0

Bayes' rule in Haskell (2007)

randomhacks.net·176 pts·tikhonj·
77

Litable -- like Light Table for Emacs

github.com·1 pts·tikhonj·
0

Algebras, coalgebras and OOP

stackoverflow.com·2 pts·tikhonj·
0

“What part of Milner-Hindley do you not understand?”

stackoverflow.com·284 pts·tikhonj·
80

What does “coalgebra” mean in the context of programming?

stackoverflow.com·5 pts·tikhonj·
0

Hacker School OCaml tutorial at Jane Street

ocaml.janestreet.com·1 pts·tikhonj·
0

Type Families and Pokemon (Haskell tutorial)

fpcomplete.com·2 pts·tikhonj·
0

What’s new in Emacs 24.3

masteringemacs.org·3 pts·tikhonj·
0

Liskov Substitution Principle is Contravariance

apocalisp.wordpress.com·1 pts·tikhonj·
0

Tardis--Haskell package for sending state backwards and forwards through time

github.com·58 pts·tikhonj·
9

The Lambda Calculus and Food Nutrition

channel9.msdn.com·2 pts·tikhonj·
0

Static Typing where Possible, Dynamic Typing When Needed

research.microsoft.com·1 pts·tikhonj·
0
← PreviousPage 4 of 4