mrbbk

18 ms·

241.
Most of My LPs(vimeo.com)
1 points by mrbbk 12y ago|0 comments
242.
Bringing Static Types to Dynamic Languages(michaelrbernste.in)
2 points by mrbbk 12y ago|0 comments
243.
by mrbbk 12y ago
This is a beautiful result that I've written up and spoken about a few times - http://michaelrbernste.in/2014/02/24/papers-we-love-garbage.... - it's surprisingly deep and foments a deep intuition t
244.
A demo implementation of a simple dependently-typed language (Stephanie Weirich)(github.com)
2 points by mrbbk 12y ago|0 comments
245.
Type Save Division in Idris Using Dependent Types(gist.github.com)
2 points by mrbbk 12y ago|0 comments
246.
by mrbbk 12y ago
I agree in re: "In practice, there are often types that your type system can't express." That's central.
247.
by mrbbk 12y ago
Haha, hi there. As you can imagine, I've been to your homepage before.
248.
Types Are The Truth(michaelrbernste.in)
132 points by mrbbk 12y ago|102 comments
249.
A Typed Class in Ruby(gist.github.com)
1 points by mrbbk 12y ago|0 comments
250.
by mrbbk 12y ago
Fascinating!
251.
Lisp is Abstract Syntax(michaelrbernste.in)
35 points by mrbbk 12y ago|54 comments
252.
The Well-Rounded Technologist(michaelrbernste.in)
2 points by mrbbk 13y ago|0 comments
253.
On Programming and Cooking(michaelrbernste.in)
1 points by mrbbk 13y ago|0 comments
254.
Translating a Typechecker from 'Math' to OCaml(michaelrbernste.in)
2 points by mrbbk 13y ago|0 comments
255.
μKanren: Relational (logic) Programming in 39 lines of Scheme(webyrd.net)
1 points by mrbbk 13y ago|0 comments
256.
by mrbbk 13y ago
Incredible.
257.
Why We Need Explicit State(michaelrbernste.in)
5 points by mrbbk 13y ago|0 comments
258.
Distributed Systems Archaeology [video](michaelrbernste.in)
15 points by mrbbk 13y ago|0 comments
259.
Knots and a Mathematical Notion of Equivalence(michaelrbernste.in)
1 points by mrbbk 13y ago|0 comments
260.
The role of the proof in the history of distributed systems research(michaelrbernste.in)
1 points by mrbbk 13y ago|0 comments
261.
Distributed Systems Archaeology, Part One(michaelrbernste.in)
2 points by mrbbk 13y ago|0 comments
262.
The Only Sure Thing In Computer Science(michaelrbernste.in)
97 points by mrbbk 13y ago|63 comments
263.
Distributed Systems Archaeology: Works Cited(michaelrbernste.in)
2 points by mrbbk 13y ago|0 comments
264.
Distributed Systems Archaeology(speakerdeck.com)
1 points by mrbbk 13y ago|0 comments
265.
Clojure from the Ground Up, Part 2: Basic Types(aphyr.com)
114 points by mrbbk 13y ago|21 comments
266.
Deploy Your Rails App In 5 Seconds(blog.codeclimate.com)
2 points by mrbbk 13y ago|0 comments
267.
Aphyr Puts ZooKeeper, NuuDB, Kafka, & Cassandra To The Test [video](youtube.com)
8 points by mrbbk 13y ago|0 comments
268.
by mrbbk 13y ago
It's very complete and my post barely does it justice.
269.
by mrbbk 13y ago
You're welcome! I hope you enjoy it.
270.
Formalizing Concurrency, Distribution, and Mobility(michaelrbernste.in)
71 points by mrbbk 13y ago|4 comments

More ›