Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by mrbbk
How to Learn What a Monad Is
4 points
mrbbk
2015-01-29T17:25:58Z
michaelrbernste.in
The torus is the product of two circles, cubically
36 points
mrbbk
2015-01-21T14:49:39Z
homotopytypetheory.org
The Man Who Lived 300 Years
1 points
mrbbk
2015-01-02T22:25:47Z
michaelrbernste.in
Cost Center or Profit Center?
1 points
mrbbk
2014-11-25T23:02:45Z
news.ycombinator.com
Travis-CI for Enterprise
2 points
mrbbk
2014-11-13T23:12:07Z
enterprise.travis-ci.com
Two Things Types Have Taught Me
2 points
mrbbk
2014-10-30T17:10:24Z
michaelrbernste.in
A Tribute to Lisp: Jedi Masters
12 points
mrbbk
2014-10-20T18:58:36Z
tagide.com
Where Does Scope Come From?
1 points
mrbbk
2014-09-10T20:05:12Z
michaelrbernste.in
Programming, Math, and Hot Dogs
1 points
mrbbk
2014-08-11T17:01:04Z
michaelrbernste.in
Recovering speech from vibrations in simple objects
15 points
mrbbk
2014-08-04T18:11:20Z
www.youtube.com
Network Partition Processing Delay Postmortem
2 points
mrbbk
2014-08-04T14:10:03Z
yellerapp.com
Most of My LPs
1 points
mrbbk
2014-07-26T13:40:42Z
vimeo.com
Bringing Static Types to Dynamic Languages
2 points
mrbbk
2014-07-16T13:30:46Z
michaelrbernste.in
A demo implementation of a simple dependently-typed language (Stephanie Weirich)
2 points
mrbbk
2014-07-03T12:16:38Z
github.com
Type Save Division in Idris Using Dependent Types
2 points
mrbbk
2014-07-02T12:08:32Z
gist.github.com
Types Are The Truth
132 points
mrbbk
2014-06-10T16:14:06Z
michaelrbernste.in
A Typed Class in Ruby
1 points
mrbbk
2014-04-28T13:37:38Z
gist.github.com
Lisp is Abstract Syntax
35 points
mrbbk
2014-04-17T19:16:14Z
michaelrbernste.in
The Well-Rounded Technologist
2 points
mrbbk
2014-04-02T14:40:17Z
michaelrbernste.in
On Programming and Cooking
1 points
mrbbk
2014-03-25T14:43:49Z
michaelrbernste.in
4
5
6
7
8
9