shadytrees

12 ms·

61.
by shadytrees 9y ago
Grab Library of America's collection of Hainish novels, volume one. In that body of work -- Rocannon's World (mindspeech, ansible, empathy), Planet of Exile (forgetting one's history), City of Illusions (divided mind), Left H
62.
by shadytrees 9y ago
Another happy mailinabox user here. I love have total control over where my data goes. If you use third-party no-installation-required server monitoring (with Pingdom or something), you can get mobile notifications if your server ever goes
63.
by shadytrees 9y ago
all alt-right stuff. flag and move on
64.
by shadytrees 9y ago
Here is the proposal that landed in the ghc-proposals GitHub repo, written and hand-illustrated by Ed Yang. https://github.com/ezyang/ghc-proposals/blob/backpack/propos... A/V fans will enjoy this t
65.
by shadytrees 9y ago
On Ed Yang's repo < https://github.com/ezyang/compact> , which I believe features a version of the Data.Compact module that got merged into base, he gives the example of a spellchecker whose max pauses went fr
66.
by shadytrees 9y ago
Great use of distributed-process and distributed-process-p2p! Being able to access service discovery and peer-to-peer communication as simple Haskell packages is kind of amazing. * https://hackage.haskell.org/package/di
67.
by shadytrees 10y ago
people's underestimation of how i can spin out one anecdote about myself into a caustic vision of the future
68.
by shadytrees 10y ago
maverick_iceman has talked to many moms
69.
by shadytrees 10y ago
very possible! :cnoremap jk <C-C>
70.
by shadytrees 10y ago
The Dumbledore of functional programming has just been awarded the Order of Merlin.
71.
by shadytrees 11y ago
and to think it only took an inordinate amount of lobbying by corporate interests
72.
Using JSON files as if they were Haskell values(hao.codes)
1 points by shadytrees 11y ago|0 comments
73.
by shadytrees 11y ago
In a follow-up message, he noted that changing the LSB to be, essentially, "whatever Debian as well as all other actors in the FLOSS world are _actually _doing" might make the standard—and the effort to support it in Debian—more
74.
by shadytrees 11y ago
The point is a little more subtle than this, or how the article made it out to be. Global coherence and confluence (which GHC attempts to enforce unless told otherwise) is great for refactoring and equational reasoning and (yes) mathematics
75.
by shadytrees 11y ago
Reminds me of the last minute of http://www.cc.com/video-clips/m38gcf/the-colbert-report-jesu...
76.
by shadytrees 11y ago
I'm intrigued but, upon Googling, pretty at sea with all the vocabulary. Is there an explain-like-I'm-slightly-above-five for Wittgenstein's critique of set theory? It seems like he doesn't like infinity very much?
77.
by shadytrees 11y ago
Hey! I'm an (novice) org-mode user, and a developer at Trello. I think this is really really cool, and just wanted to say thanks for making it.
78.
by shadytrees 11y ago
feelings.blackfriday is still up though
79.
Former Google engineer claims she was sexually harassed(m.sfweekly.com)
10 points by shadytrees 12y ago|2 comments
80.
by shadytrees 12y ago
A Trusted Friend in Science — Aperture Laboratories
81.
by shadytrees 12y ago
An Agda program isn't like a C program; a C program is just a bunch of strings that tells the processor where to go and what to do. An Agda program is, instead, a bunch of strings that one-by-one teaches the typechecker what is true ab
82.
by shadytrees 12y ago
I myself have an alias to get wget-like behavior (still not as verbose, but great for downloading binaries): alias w='curl -#O' I'm afraid I side with the left-handedness argument. Years of muscle memory make me want to type
83.
by shadytrees 12y ago
I daresay most people have all their messages saved in their Sent folder.
84.
by shadytrees 12y ago
My bad!
85.
by shadytrees 12y ago
Please cheer up.
86.
by shadytrees 12y ago
Yes! https://www.google.com/search?q=folly+facebook+benchmarks
87.
by shadytrees 12y ago
Linear types!
88.
by shadytrees 12y ago
Here it is. https://github.com/robbyrussell/oh-my-zsh/issues/377 (tl;dr seven-month fork that fixed over 100 issues)
89.
by shadytrees 12y ago
Haskell has typed printf out of the box! It recently (v4.7) got a makeover so now it's extensible too. https://hackage.haskell.org/package/base-4.7.0.0/docs/Text-P...
90.
by shadytrees 12y ago
We use ReactiveCocoa [0] extensively at work and can't recommend it highly enough [1]. (Although admittedly KVO makes Cocoa almost the ideal platform for reactive programming.) [0]: https://github.com/ReactiveCocoa&#x2F

More ›