ky3

10 ms·

61.
by ky3 11y ago
> Yes, I am using this approach exclusively. Earlier you wrote that "And if you worry about performance, your compiler can fuse passes together in many cases." What kind of fusion do you use in your approach? In the last paragr
62.
by ky3 11y ago
-- const [] for a HeadList quux :: a -> HeadList a quux = HeadList . (const []) *Main> HeadList "hello... no wait" >>= quux HeadList {getHeadList = "*** Exception: Prelude.head: empty list
63.
by ky3 11y ago
re: Only innocence can surmount them ... when we find ourselves able to listen to things, totally and intensely absorbed in child play. — Grothendieck Apropos is something another Frenchman once said: "Talent is long patience, and orig
64.
by ky3 11y ago
The best way to predict the future is to invent it. -- Alan Kay
65.
by ky3 11y ago
You can play creatively in a particular nexus of math and software engineering called Djinn [0], the Haskell program that writes your Haskell programs for you. 1. An ancestor of Djinn is automated theorem proving. Why can't machines pr
66.
by ky3 11y ago
Redexes are elided for 2 reasons: 1. Redundant calculation: the result of the redex isn't used. Get rid of it. 2. The same redex occurs elsewhere. Reuse the result of that instead. Stay DRY. Oleg has no problems with 1. Oleg has a beef
67.
by ky3 11y ago
An astute observation, thanks. It can be restated as: The world-token-state-monad approach to compiling IO depends on lazy operational semantics to never duplicate redexes. One consequence is that WTSM makes it more difficult to optimize fo
68.
by ky3 11y ago
Reminiscent of Haskell's bracket: bracket :: IO a -- computation to run first ("acquire resource") -> (a -> IO b) -- computation to run last ("release resource") -
69.
by ky3 11y ago
Nice try. With a headline like that, you certainly can keep trying to write it into existence.
70.
by ky3 11y ago
"In certain appellate situations, where the old form of petition for review is prescribed, the name of the petitioner -- the party seeking review -- goes first, whether the petitioner is plaintiff or defendant. Thus in the familiar &qu
71.
by ky3 11y ago
Doug McIlroy emailed me afterward to say that he's never heard of its being derided as not a real sieve. Certainly, no-one of his generation would do so, I imagine. But as the article proves, younger folks are more playful. In Doug&#x2
72.
by ky3 11y ago
patio11 sells progress. Your folks sell motion. There is a difference.
73.
by ky3 11y ago
He was the principal designer of the Haskell programming language Haskell remains the only programming language designed by committee that doesn't suck. To trivialize the other members of that committee actually does injustice to P
74.
by ky3 11y ago
During my stint in the corporate world, my compensation was also commiserate with my responsibility. How could you tell GP wasn't being both ironic and Freudian?
75.
by ky3 11y ago
You'd also think Thoreau a dick for renouncing society for a time, yes? What he needs right now is to acknowledge that he's just another ordinary human OP is on an experiment to put his ordinariness as a human being to the test.
76.
by ky3 12y ago
We could have a vast range of help screens available for instantaneous recall when in trouble. Oh yes. 20 tabs open when hunky-dory. 120 when in trouble.
77.
by ky3 12y ago
If you purchase a container of gotu kola from your local holistic market, you’re buying almost entirely on faith. How so? I get my gotu kola in dried leaf form, perfect for teas. 100% verifiably pure.
78.
by ky3 12y ago
But are the anterless hunters doing it because they want to? Or because they are forced to by law? Meaning, all hunters are actually trophy hunters, just that for every trophy they bag, they must haul out -- at their own expense -- non-trop
79.
by ky3 12y ago
Why don't they eat them? The USA has a tradition of being a land of plenty and so people eat what they have always eaten before. For almost all of America that means chicken or beef, invariably. And turkey during that time of the yea
80.
by ky3 12y ago
Have enough friends that shooting the breeze with them is enough to keep you updated on what matters.
81.
by ky3 12y ago
Z/Zn groups are a better example, whether seen in RSA or Diffie-Hellman. Elliptic curves require graduate-school math to properly appreciate. Being mathematically mysterious, they are still the subject of active research. Vanilla modul
82.
by ky3 12y ago
1- there's many things about the investor that make it an undesirable partner (some parts are good, but most are bad) Trust your gut and politely turn them down. Continue to stay cordial with them.
83.
by ky3 12y ago
I'd like to see a competition that figures out who makes others look best. Coding is collaborative, no-one's a Pulitzer-prize author working out of a cave. The best coders make whoever has to maintain the code after them look stun
84.
by ky3 12y ago
This is exactly the scenario that Simon Peyton Jones used to motivate Software Transactional Memory (STM) in his 2007 "Beautiful Concurrency" paper: http://research.microsoft.com/pubs/74063/beautiful.pdf
85.
I, ROBOT – YOU, MORON. How else will automated news work?(theregister.co.uk)
1 points by ky3 12y ago|0 comments
86.
by ky3 12y ago
he doesn't sound like he has full agency over his current decision. There's a finished sheen to his prose, so I give him the benefit of doubt that he's merely caricaturizing his situation. Actual life stories are quite dull
87.
by ky3 12y ago
Illegitimi non carborundorum. Write a letter to HQ. Write a letter to the newspapers. Persist and publish their formula. That may not have been the exact path of education that your grandparents had in mind. But if you muster the derring-do
88.
by ky3 12y ago
most computational individuals would be strongly opposed to FP There's ample evidence for and against. The most famous counterpoint I know of is Dijkstra, whose Ph.D. was in theoretical physics. What does a theoretical physicist do?
89.
by ky3 12y ago
More like the ad is the anti-product, the POS you have to pay to get it taken from under your nose.
90.
by ky3 12y ago
One of the best bits: "Look babycakes, I don't have to make the decision until next Tuesday. And I'm not chickening out of my creative discomfort by taking a snap decision before then -- that's too easy!" I've

More ›