ayberkt

8 ms·

31.
Sokal affair(en.wikipedia.org)
1 points by ayberkt 11y ago|0 comments
32.
Unix Pipes as IO Monads (2001)(okmij.org)
46 points by ayberkt 11y ago|1 comments
33.
by ayberkt 11y ago
Can you elaborate on that a bit or give an example maybe? It seems to me that mathematics does pay attention to what things are, since mathematicians often start their arguments with getting themselves and their readers to agree on rigorous
34.
by ayberkt 11y ago
The thing about Nix is that it's the first project, as far as I know, that tries to solve the problem of package management with a fundamentally different approach. Most of the solutions to date were just okay: they worked with a toler
35.
How I develop with Nix(ocharles.org.uk)
144 points by ayberkt 11y ago|55 comments
36.
J-Bob – The proof assistant from “The Little Prover”(github.com)
59 points by ayberkt 11y ago|4 comments
37.
Tying the knot(wiki.haskell.org)
17 points by ayberkt 11y ago|0 comments
38.
The Little Prover(amazon.com)
1 points by ayberkt 11y ago|0 comments
39.
Aether as a Reddit alternative(getaether.net)
2 points by ayberkt 11y ago|0 comments
40.
Haskell's currying explained in Python(ayberkt.me)
3 points by ayberkt 11y ago|0 comments
41.
by ayberkt 12y ago
As a side note: it was Stallman's birthday yesterday, who turned 61 himself.
42.
Recency Illusion(en.wikipedia.org)
1 points by ayberkt 12y ago|0 comments
43.
Rate of regularizing English verbs(johndcook.com)
2 points by ayberkt 12y ago|2 comments
44.
Lojban Grammar(en.wikipedia.org)
3 points by ayberkt 12y ago|0 comments
45.
Apple iPhone 5 Ad: Thumb(youtube.com)
1 points by ayberkt 12y ago|0 comments
46.
Cons is your friend(kaygun.tumblr.com)
44 points by ayberkt 12y ago|15 comments
47.
Gooey: Turn command line programs into GUI applications(github.com)
486 points by ayberkt 12y ago|74 comments
48.
XKCD: Universal Converter Box(xkcd.com)
11 points by ayberkt 12y ago|3 comments
49.
Project Euler full functionality will be restored within few weeks(forum.projecteuler.net)
6 points by ayberkt 12y ago|0 comments
50.
Egbert B. Gebstadter(en.wikipedia.org)
2 points by ayberkt 12y ago|0 comments
51.
Clojure Destructuring Tutorial and Cheatsheet(john2x.com)
2 points by ayberkt 12y ago|0 comments
52.
“Hemingway” on Hemingway App(languagelog.ldc.upenn.edu)
2 points by ayberkt 12y ago|0 comments
53.
If you fold a paper in half 103 times, it'll get as thick as the Universe(sploid.gizmodo.com)
6 points by ayberkt 12y ago|2 comments
54.
The Hassle of Haskell(medium.com)
9 points by ayberkt 12y ago|6 comments
55.
Rifle-Oriented Programming with Clojure(thinkrelevance.com)
3 points by ayberkt 12y ago|0 comments
56.
Hofstadter's Copycat(en.wikipedia.org)
2 points by ayberkt 12y ago|0 comments
57.
Maverick forerunner of artificial life and animation remains largely unknown(m.nautil.us)
64 points by ayberkt 12y ago|14 comments
58.
Elon Musk: I'll put HUMANS on MARS by 2026(theregister.co.uk)
1 points by ayberkt 12y ago|0 comments
59.
LLVM and Clojure(infoq.com)
2 points by ayberkt 12y ago|0 comments
60.
by ayberkt 13y ago
Exactly. Quoting Dropbox's terms of service: > We need your permission to do things like hosting Your Stuff, backing it up, and sharing it when you ask us to. Our Services also provide you with features like photo thumbnails, doc

More ›