Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by mrbbk
Introducing the Code Climate Platform
52 points
mrbbk
2015-06-19T16:03:13Z
blog.codeclimate.com
Don't bet against yourself
2 points
mrbbk
2015-04-15T14:56:20Z
michaelrbernste.in
The False Economy of Metaprogramming
2 points
mrbbk
2015-03-06T16:43:36Z
michaelrbernste.in
Beats, Rye, and Types – A New Podcast About Computers and Food
1 points
mrbbk
2015-02-02T15:06:19Z
beatsryetypes.com
A Metaphor for Abstract Interpretation
2 points
mrbbk
2015-02-01T21:37:35Z
michaelrbernste.in
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
4
5
6
7
8
9