Viewing profile — joshsegall

Author here. I definite brought some old bias and history to this. At the time address space was more limited (32-bit) and kernel interfaces were O(n), but you're right that these …

Author here. You're right in the sense that some forms of function coloring have good tradeoffs, though I think that's a watered down version of that original meaning. The point is…

"The preservation proof contains 153 lemmas (mostly conjectured by AI), collectively showing that each of these steps preserves the 35-field invariant" Proofs of features are notor…

I think the practitioner angle is what makes interesting. Too many BEAM advocacy posts are theoretical. I would push back on the "shared state with locks vs isolated state with mes…

I think systems end up mutable not because anyone chose it but because their tools make mutation the path of least resistance. Kafka succeeded not because "immutable logs are bette…

Great survey. One thing I'd push further on your principle 2.3: the reason .context() chains work better than stack traces isn't just ergonomics, it's that they preserve causal inf…

Agreed. There's quite a bit of room for optimization if your language design allows for it. Plus you have flexibility to make different tradeoffs as computer architectures and the …

Judging by the content of the article I get the sense that he didn't choose that title. The gist seems to be that some previous wars helped focus our values and priorities of spend…

As someone who has read countless resumes for the standard set of tech jobs, one page should be more than enough space. If you have a portfolio or can point to online projects you'…

My comments were not a serious proposal. I was replying to a comment that lacked intellectual rigor and I proposed the opposite to point out some logical flaws. That said, cash tra…

That depends on how the money is used. If it is just consumed, then sure, but if it's invested then it can be a renewable source of income. For instance, what if that money makes t…

That actually sounds like a worthwhile experiment. I doubt the 100 richest would be worse off or at a lack for opportunities to become rich again. And I bet giving $40K to a family…

It's not about banning or allowing, it's about counting the true costs and benefits of the trade, not the immediate effects. And you don't need philosopher kings to do this, just b…

This is basically systems thinking, which was around before Scott Adams was born. It's okay for people to independently come to the same conclusion in a way that's meaningful to th…

This isn't bad for just Google. RSS aggregators were also getting the "everything's fine" message. I thought I had a bug in my aggregator until I went to the site and realized it w…

Linode gives you 8 cores even at the low tier. Granted it's at lower priority but in practice I get way more than 1 core's worth of CPU.

As long as there's a switch to turn it off, you'll be just fine. Meanwhile millions of poorly monitored sites will be less vulnerable to attack at the cost of what I suspect will b…

I guess numerious spelling misstakes amd grammer errors are ok tho?

Good one! Best use of zither music ever.

I second 2001. Way ahead of its time in special effects and realism about space. The cinematography is Kubrik at his best. Plus it was the first film I ever felt was mind expanding…

Although, unexpectedly this is not due to a growth in the number of discouraged workers. It's not clear where they went. See http://www.motherjones.com/kevin-drum/2012/09/why-did-l…

This is math describing the effect not the cause, so the title is inaccurate and misleading.

I understand the googly eyed take on "the way of the future" of cars, but self-driving cars are going to be too impractical to become ubiquitous for much longer than 5-10. Maybe th…

I was interested in what webhooks are, but there was no link in the article. Aha! I thought to myself, I'll look it up on the internet, and behold there was webhooks.org, which I a…