Hacker News new | past | comments | ask | show | jobs | submit login
user:bollu
created:October 4, 2016
karma: 396
about: http://www.github.com/bollu https://www.pixel-druid.com

math/comp sci person. Currently interested in functional programming, compilers, formal verification (Coq).

submissions
comments
favorites