mrkgnao
- Karma
- 1,913
- Created
- March 29, 2016 (10y ago)
- Submissions
- 0
https://mrkgnao.github.io - chow dot soham at gmail - @mrkgrnao
"Fancy number theorist"-in-training with a love for things that shouldn't be related but are, and enthusiast of all things that tend not to give up their secrets easily. I enjoy writing expository material on things I understand well and on things I don't understand well enough: usually on my blog, but sometimes in really long, extensively- and nonlinearly-annotated HN comments.
Certified Haskell Evangelism Strikeforce™ agent/proselytizer, currently exploring Idris and PureScript. Expressive typesystems are cool, especially if your dependent types are good enough to write super-inefficient matrix multiplication for you.
Fan of Márquez, Tigran Hamasyan, Randall Munroe, Tosin Abasi, Snarky Puppy, Bach, Greg Egan, Ravel, Miles Davis, Coltrane, Pink Floyd, and \mathbf otherwise.
Let's talk!
- Digging Across Panama (2011) (neh.gov)
- TensorFlow in Haskell (github.com)
- Lagrange Multipliers Without Permanent Scarring [pdf] (dbpubs.stanford.edu)
- Artem vs. Predator (ribbonfarm.com)
- Generating mazes with inductive graphs (jelv.is)
- Using Haskell to debug a C chess engine (michaelburge.us)
- Declaratively building a Snake clone in the terminal (samtay.github.io)
- glirc: an advanced console IRC client (in Haskell) (github.com)
- Attempto Controlled English (en.wikipedia.org)
- Building a CPU with Haskell, part 1 (yager.io)
- You don't need more than one cursor in Vim (medium.com)
- A Little More Nuance (kieranhealy.org)
- Notes on fusion in Haskell (teh.id.au)
- SuperMemo algorithm version 2 (supermemo.com)
- Monsanto Canada Inc V Schmeiser (en.wikipedia.org)
- Visualizing geometries (parametricity.com)
- Yak Shaving (2000) (projects.csail.mit.edu)
- Kahan summation algorithm (en.wikipedia.org)