tejon

6 ms·

1.
by tejon 7y ago
For what it's worth: it's _very_ rare for a type annotation to be required in Haskell. It's just considered best practice (supported by compiler warning options) to have them on all top-level declarations, for two reasons: -
2.
by tejon 8y ago
My name is for getting my attention. Once you have my attention, I enjoy hearing it exactly as much as I enjoy an ongoing fire alarm.
3.
by tejon 8y ago
Ethiopia provides solid competition.
4.
by tejon 8y ago
As someone who didn't own a TV, thus any consoles: the Switch was out before I learned the Wii U wasn't just an accessory for the Wii.
5.
by tejon 8y ago
You should go back to 1910 and tell Einstein he can't start for another 50 years.
6.
by tejon 8y ago
GP was mocking the belief of ~63M people (and GGP's parallel belief by proxy), not holding it up as evidence.
7.
by tejon 8y ago
Frequencies are heavily regulated in the US as well. There are a handful of public bands, but anything else requires FCC licensing to use. Broadcast power is also restricted. Of course, Germany could still be more restrictive, I don't
8.
by tejon 8y ago
Onions! Hey, this thing will make your eyes water at 10 paces. Let's eat it. Headcanon: the discovery that they are edible was the accidental result of a failed suicide attempt.
9.
by tejon 8y ago
+1 to this analysis. The very first thing I thought of when I saw the title was [1]. Most of the examples in the article just confused me. [1]: http://mlreference.com/
10.
by tejon 9y ago
Not a physicist but I thought the Planck length specifically denies infinitesimality? And one of the proposed solutions to the black hole information problem is that due to local relativistic effects, they never actually reach singularity i
11.
by tejon 9y ago
I would have just dropped "tech".
12.
by tejon 9y ago
I haven't used any of these, but my understanding is that Agda and Coq are not Turing-complete, nor is Idris with the totality checker on. Never seen anyone dispute these being referred to as "languages."
13.
by tejon 10y ago
> Programming is first and foremost, an exercise in frustration. It is exacting and unforgiving in a way that few human activities are. It's somewhat unnatural. In order to excel at it I believe you need to feel an intrinsic thrill
14.
by tejon 10y ago
So is Magic: the Gathering. The latest core language spec is 2010, and GHC (the de-facto standard compiler) adds several new language extensions annually.
15.
Pros and Cons of the best services for startups to protect against DDOS attacks(slant.co)
7 points by tejon 11y ago|0 comments
16.
by tejon 12y ago
I think optimally, if you like the basement and your business is growing out of it, you sell it to someone else who likes big, and find yourself a fresh basement.
17.
by tejon 12y ago
greater_than = (>) ...sorry. The way you wrote it is better for illustrating your point to non-Haskellers, it just felt dirty!
18.
by tejon 12y ago
Which tutorial? So far I've only done Learn You and some exercism.io stuff.
19.
by tejon 12y ago
> assume a definition of intelligence where the mean of blacks vs the mean of whites is more or less equal, How is this any more reasonable an assumption? Don't get me wrong: I don't want to believe the alternative. But I can
20.
by tejon 12y ago
Thrilled to see another libertarian argument for universal income! I’ve been arguing this for a few years myself, and even ran some rough numbers to demonstrate feasibility in this blog post: http://squangen.com/?p=118
21.
by tejon 12y ago
Astonished to find no David Brin on that site, or in this discussion. The man has seven Hugo Awards for a reason! Otherness (short story collection) and Earth were downright formative for me.
22.
by tejon 12y ago
You conflate "educated" with "superficially cynical."
23.
by tejon 12y ago
I didn't know about that, neat! In fact I'm rather proud to say I couldn't have known about it at the time, because it was... hmm... I'm gonna say 1993, give or take a year. My version had considerably lower resolution
24.
by tejon 12y ago
> As others have noted here I think the web could use an improved version of "Yahoo Answers"; something with a StackOverflow feel. It's odd that nothing fills this gap. Slant.co comes close, but is built around "what&
25.
by tejon 12y ago
I once calculated the Mandelbrot set on graph paper. This article makes me feel slightly less dorky. :)
26.
by tejon 12y ago
More like three or four hundred. And before that, replace "secretary" with "scribe."
27.
by tejon 12y ago
...I make $12/hr... ... :(
28.
by tejon 12y ago
Doesn't matter; supports Haskell.
29.
by tejon 12y ago
Of course it's a gray link... but wow, major enhancements since ~1 year ago when I was on my pathfinding binge. Good stuff! Never did implement full jump-point optimization, though I got halfway there by manipulating queue priorities
30.
by tejon 12y ago
FPGAs are the only context in which I've ever encountered Verilog, so I'm gonna say yes?

More ›