Viewing profile — tejon

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 al…

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.

Ethiopia provides solid competition.

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.

You should go back to 1910 and tell Einstein he can't start for another 50 years.

GP was mocking the belief of ~63M people (and GGP's parallel belief by proxy), not holding it up as evidence.

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 co…

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.

+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/

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 r…

I would have just dropped "tech".

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 ref…

> 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 a…

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.

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.

greater_than = (>) ...sorry. The way you wrote it is better for illustrating your point to non-Haskellers, it just felt dirty!

Which tutorial? So far I've only done Learn You and some exercism.io stuff.

> 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…

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…

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 format…

You conflate "educated" with "superficially cynical."

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 ver…

> 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 co…

I once calculated the Mandelbrot set on graph paper. This article makes me feel slightly less dorky. :)