Hacker News: tejon

New comment by tejon in "Parse, Don’t Validate"

tejon — Fri, 08 Nov 2019 23:37:35 +0000

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:

- it's a good extra layer of _human-readable_ documentation about basic behavior and requirements (as in this article); and

- it lets the compiler give better error messages.

The compiler is _always_ going to do its own inference, whether you give it a signature or not. If it infers a valid type _which isn't the one you thought you wrote_, and you didn't specify what the type _should_ be, that function/statement will compile -- you won't get an error until later, when you attempt to consume it and the types don't match. This can be harder to trace, especially if there's a bunch of polymorphic code in the middle where any type will pass. Supplying a manual annotation lets the compiler immediately say "hey, these don't match."

New comment by tejon in "How I negotiated a software-engineering job offer in Silicon Valley"

tejon — Fri, 01 Feb 2019 21:40:45 +0000

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.

New comment by tejon in "Meat-free 'Impossible Burger 2.0' tastes even closer to the real deal"

tejon — Tue, 08 Jan 2019 20:47:25 +0000

Ethiopia provides solid competition.

New comment by tejon in "WeWork Gets a Visit from Financial Reality"

tejon — Tue, 08 Jan 2019 20:34:28 +0000

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.

New comment by tejon in "'Dark fluid' with negative mass could dominate the universe"

tejon — Fri, 07 Dec 2018 19:48:40 +0000

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

New comment by tejon in "American Entrepreneurs Who Flocked to China Are Heading Home, Disillusioned"

tejon — Fri, 07 Dec 2018 19:19:17 +0000

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

New comment by tejon in "Launch HN: Necto (YC W18) – ISP Starter Kit"

tejon — Mon, 14 May 2018 21:05:24 +0000

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 know the law there! But there must be a fairly simple licensing path for some microwave bands, or nobody would be able to sell wireless routers. This is the same general class of equipment, so unless there's too much restriction on broadcast power to connect at kilometer+ ranges (with a focused directional antenna, rather than the broadcast antenna of a router!) there should be a way to make it work.

New comment by tejon in "Bulgaria played a vital role in introducing yogurt to the West"

tejon — Fri, 13 Apr 2018 21:40:28 +0000

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.

New comment by tejon in "Brutalist Design Is the Bad Influence We All Need"

tejon — Fri, 13 Apr 2018 21:17:09 +0000

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

New comment by tejon in "How real are real numbers? (2004)"

tejon — Tue, 11 Apr 2017 01:43:43 +0000

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 in finite time.

New comment by tejon in "San Fran is so expensive, some tech companies can't convince employees to move"

tejon — Tue, 11 Apr 2017 01:27:32 +0000

I would have just dropped "tech".

New comment by tejon in "Dale – A Lisp-flavoured C"

tejon — Tue, 11 Apr 2017 01:20:01 +0000

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."

New comment by tejon in "Four months with Haskell"

tejon — Wed, 15 Jun 2016 03:31:15 +0000

> 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 when solving a problem that surpasses all the frustration leading up that point, and you need to seek this out over and over and over.

This is more than two tweets long. How is it supposed to become the viral quote it deserves to be?

New comment by tejon in "Four months with Haskell"

tejon — Wed, 15 Jun 2016 03:08:25 +0000

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.

Pros and Cons of the best services for startups to protect against DDOS attacks

tejon — Tue, 31 Mar 2015 20:51:07 +0000

Article URL: http://www.slant.co/topics/2375/~what-are-the-best-services-to-protect-against-ddos-attacks-for-startups

Comments URL: https://news.ycombinator.com/item?id=9299797

Points: 7

# Comments: 0

New comment by tejon in "You’ll Always Miss Being in the Basement"

tejon — Wed, 21 Jan 2015 16:36:11 +0000

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.

New comment by tejon in "Language is not important"

tejon — Mon, 08 Dec 2014 23:28:04 +0000

    greater_than = (>)

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

New comment by tejon in "Language is not important"

tejon — Mon, 08 Dec 2014 23:20:55 +0000

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

New comment by tejon in "[dead]"

tejon — Thu, 16 Oct 2014 20:50:16 +0000

> 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't just discount the possibility based on personal bias in absence of evidence, which seems to be what you're advocating. IQ not being an ideal model in no way implies that every conclusion derived from it is false; that's the fallacy fallacy. Do you have anything else to support an assertion of uniform mental capacity across the human species?

New comment by tejon in "[dead]"

tejon — Thu, 16 Oct 2014 20:40:08 +0000

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