HNHacker News
TopNewBestAskShowJobs

mrkgnao

1,913 karma · joined March 29, 2016

submissionscomments

What's in a Surname? The Effects of Surname Initials on Academic Success (2006) [pdf]

web.stanford.edu·2 pts·mrkgnao·
0

Digging Across Panama (2011)

neh.gov·2 pts·mrkgnao·
1

TensorFlow in Haskell

github.com·1 pts·mrkgnao·
0

Lagrange Multipliers Without Permanent Scarring [pdf]

dbpubs.stanford.edu·6 pts·mrkgnao·
1

Artem vs. Predator

ribbonfarm.com·1 pts·mrkgnao·
0

Space Shuttle Operational Flight Rules, Volume A (2002) [pdf]

jsc.nasa.gov·1 pts·mrkgnao·
0

Generating mazes with inductive graphs

jelv.is·3 pts·mrkgnao·
0

Using Haskell to debug a C chess engine

michaelburge.us·125 pts·mrkgnao·
5

Declaratively building a Snake clone in the terminal

samtay.github.io·10 pts·mrkgnao·
2

glirc: an advanced console IRC client (in Haskell)

github.com·1 pts·mrkgnao·
0

Attempto Controlled English

en.wikipedia.org·3 pts·mrkgnao·
0

Building a CPU with Haskell, part 1

yager.io·17 pts·mrkgnao·
1

You don't need more than one cursor in Vim

medium.com·1 pts·mrkgnao·
0

Simula: a 3D/VR window manager for Linux written in Haskell

github.com·3 pts·mrkgnao·
1

NixOps – Declarative cloud provisioning and deployment with NixOS

nixos.org·248 pts·mrkgnao·
66

An Asteroids clone in CodeWorld, a Haskell teaching playground

code.world·2 pts·mrkgnao·
0

A Little More Nuance

kieranhealy.org·1 pts·mrkgnao·
0

Notes on fusion in Haskell

teh.id.au·3 pts·mrkgnao·
1

Rope Science 11: A practical syntax highlighting algorithm

github.com·1 pts·mrkgnao·
0

SuperMemo algorithm version 2

supermemo.com·1 pts·mrkgnao·
0

Monsanto Canada Inc V Schmeiser

en.wikipedia.org·1 pts·mrkgnao·
0

Mathematicians deliver formal proof of Kepler conjecture, open for 300 years

eurekalert.org·3 pts·mrkgnao·
0

Visualizing geometries

parametricity.com·1 pts·mrkgnao·
0

Yak Shaving (2000)

projects.csail.mit.edu·2 pts·mrkgnao·
0

Kahan summation algorithm

en.wikipedia.org·1 pts·mrkgnao·
0

Gentzen's consistency proof

en.wikipedia.org·1 pts·mrkgnao·
0

The Programming Languages Zoo

plzoo.andrej.com·2 pts·mrkgnao·
0

From Monads to Machine Code

stephendiehl.com·181 pts·mrkgnao·
33

Tarski's high school algebra problem

en.wikipedia.org·6 pts·mrkgnao·
0

Freeman Dyson on “birds” and “frogs”

math.columbia.edu·1 pts·mrkgnao·
0
Page 1 of 3Next →