mrkgnao

47 ms·

391.
by mrkgnao 10y ago
"Not amused," the rats said they were But Pavel would not be deterred
392.
by mrkgnao 10y ago
If you're talking about things like UndecidableInstances or FlexibleContexts, um, they are n't exactly uncommon! In any case, saying that Haskell 98 is the One True Haskell(TM) isn't accurate. Almost all code (beyond the LYA
393.
by mrkgnao 10y ago
That was a fun few minutes :) https://downloads.haskell.org/~ghc/7.0.1/docs/html/users_gui...
394.
by mrkgnao 10y ago
It's more like the delta function/"function" restricted to the nonnegative reals.
395.
by mrkgnao 10y ago
My mind immediately went, "Indian cuisine is waaay too varied for generalizations like that to work..." before I realised that my corresponding mental models of, say, Chinese or Italian food probably suffer from the same problem.
396.
by mrkgnao 10y ago
> If you have ever tried to keep your head when all about you are losing theirs because there aren't any around to blame it on you? :)
397.
by mrkgnao 10y ago
The measure of success as a function of how far you've fallen is basically constant throughout and then suddenly changes to 0 (or -inf, or whatever).
398.
by mrkgnao 10y ago
Nonmalicious heads-up: you're missing a couple linebreaks.
399.
by mrkgnao 10y ago
Great, Haskell away!
400.
by mrkgnao 10y ago
> a long, hard ಠ_ಠ to make sure it doesn't deserve a (╯°□°)╯︵ ┻━┻ Truly an idiom for our age.
401.
by mrkgnao 10y ago
Frustrated by trompe l'oeils, a defiant Hackernews uses concentration and focus tricks to hack his biological GPU to dump raw eye input while waiting for his Idris proof of the commutativity of addition to finish compiling. Optical ill
402.
by mrkgnao 10y ago
It's better to use stack --install-ghc $whatever_command which gets you the version of GHC you need to be able to run $whatever_command into ~/.stack if you don't have it. Much less brittle than a system-wide install
403.
by mrkgnao 10y ago
"Does [[1]] have type [Int] or type [[Int]]?", I'm guessing.
404.
by mrkgnao 10y ago
It was worth trying: class Effable t where f :: forall d. Effable d => t -> d instance intsAreEffable :: Effable Int where f x = ??? (This is PureScript, though. Excuse the bad pun.)
405.
by mrkgnao 10y ago
Is that the famous TV tax?
406.
by mrkgnao 10y ago
I'm writing an NaaS in Idris as we speak.
407.
Schumann resonances(en.wikipedia.org)
2 points by mrkgnao 10y ago|0 comments
408.
by mrkgnao 10y ago
.bs-equalheight .bs-responsive .col-md-3 Checkmate, TSA. /s
409.
by mrkgnao 10y ago
> DINE<GO>, FLY<GO>, and POSH<GO> Can you ... can you order takeout from a Bloomberg terminal?
410.
by mrkgnao 10y ago
What are their "SJW credentials"?
411.
by mrkgnao 10y ago
I'm sorry, but "PR crisis" continues the worrying (if thankfully rare) trend of people talking about this whole ... situation like it's an unfortunate but incidental bug that just needs to be ironed over, akin to some ki
412.
by mrkgnao 10y ago
I'd say it's not so much as impressive as it is fortunate ( providential , even) for someone with a certain kind of mind: I would definitely have benefited if I'd found HN a few years earlier than I did (rather than Reddi
413.
by mrkgnao 10y ago
You can work in the ring of dual numbers, where ε is a nilpotent and hence noninvertible (which is okay, because it's not a field!) and it's a perfectly rational (hehe) number system to work in. https://en.wikipedia.org
414.
by mrkgnao 10y ago
But you can use those 12 bits as a key into some pre-arranged set of information, each of which carries more information.
415.
by mrkgnao 10y ago
Yeah, that's when they're fresh. I think using dried leaves saves the trouble of having to pick them off the tree because they just fall to the ground, but I'm a city boy and wouldn't know for sure. Might have to ask my
416.
by mrkgnao 10y ago
You surely mean "revisionist scholarship"?
417.
by mrkgnao 10y ago
Isn't evil-mode more well-known?
418.
by mrkgnao 10y ago
There are plenty of Vim emulator plugins for "GUI editors" like Atom (or even the Visual Studio family, as a comment in this thread mentions) that do just that!
419.
by mrkgnao 10y ago
Again, that was just an example. F is just one possible sheaf on the real line, and in the case of F, yes, continuous functions can be stitched together. You could define A(I) = { } for a trivial example of a different sheaf A where the &qu
420.
by mrkgnao 10y ago
The "sheaf axioms" define what it means for a "rule" associating "data" to open subsets to be a sheaf, and I was just trying to illustrate them with the example of "F". (Perhaps calling them "pro

More ›