akavi

Am I understanding this correctly that typescript provides a type-level property on tuples called `"length"`?

> while most countries opposed the US invasion of Afghanistan, opinion polling in India—which shares a border with that country

India does not de facto share a border with Afghanistan (Its claimed extent of Kashmir does have a small border, but in practice that's irrelevant)

> right between those two neighborhoods

So, in the tenderloin? Suddenly not a great deal.

Is it just me, or does Reef sound like nearly pure regulatory arbitrage of the screwed up zoning laws in American cities?

Ie, zoning oversupplies parking spaces relative to commercial real estate, and so if you can put your business in a "van" and "park" it, you get to use land for cheap.

The article alludes to this ("Parking lots have long been attractive sites for urban designers, many of whom see them as wasteful, inefficient land banks."), but doesn't quite draw the connection.

The price in bitcoin of a basket of actual consumable goods went up significantly (ie, BTC's dollar value tanked). How is that not inflation?

Or are you claiming that was not "unpredictable"?

Seems like bitcoin experienced a whole lot of unexpected inflation in early March this year. And fall of last year. And November 2018. And January 2018. And... well, you get the picture.

Bitcoin guarantees the supply remains fixed. But inflation is also a function of demand, and that is well outside its control.

They also shipped a block on tweeting the address: https://twitter.com/_akavi/status/1283524504866586624

@TitaniaMcGrath is a parody, and not a particularly subtle one.

These discussions are always frustrating, because it feels like the people advocating Go's approach are comparing them to Java style Checked Exceptions, while the people most annoyed with Go's approach are usually comparing them to Sum Types (like Rust's Result or Haskell's Maybe/Either).

It's made even more frustrating in that it's very difficult to convey the pragmatic differences between those two approaches to someone who hasn't had the chance to use both. Both seem to be a way of capturing errors in the type system, but the latter really is just dramatically more ergonomic.

So people talk past each other and around and around we go.

Yeah, it's unclear to me why there's not more demand for them either. I think it might that most go users with prior static language experience are coming from Java, where there aren't sum types either.

From my naive perspective, they seem like an easy win, and are 100% more important to me than generics.

Exactly. I don't want sum types becuase they're exciting, I want them because they're the simplest way to communicate to the compiler that "my data can either be this or this and nothing else", so I don't blow off my foot by accidentally making it that.

When I was younger and less jaded, it actually was fun and exciting thinking up ways to hack around language limitations like that. Now it's just frustrating.

I've heard that the relative ease of decompiling Java might have contributed significantly, since it made mods much easier than they would've been with C/C++.

> Humans achieve their performance levels while only ever observing a tiny fraction of that training data

Individual humans only ever observe a tiny fraction of that training data, but our brains are not the products of solely our individual experiences. We come out of the womb with a massive amount of evolutionarily trained, genetically encoded weights in our neural network.

To be clear, pronounced as a German "j" or an English "y", ie /j/, not an English "j", ie /dʒ/.

> The residents of Guam are US nationals that can apply for citizenship.

Per wikipedia's interpretation of The Immigration and Nationality Act of 1952, Guamanians are US citizens at birth: https://en.wikipedia.org/wiki/Voting_in_Guam#U.S._citizenshi...

This looks amazing, albeit waaay over my head.

The introduction says it "is made possible by translating the source language into a dependent variant of Call-By-Push-Value.". What makes such a translation impossible in the existing languages you mention (Haskell/OCaml/etc)? Are there restrictions on expressivity not present in those languages/augmentations to their type system needed?

Is "mild" vs. "severe" dichotomous? I feel like I've usually seen the trichotomy of "mild" => not needing hospitalization, "moderate" => needing hospitalization, "severe" => needing ICU treatment.

I don't think the set of people whose opinions patio11 cares about would forget about him tweeting that hash (especially given the emphasis he placed on it).

The hash concept depends on social norms, and it's a fairly strongly enforced in his corner of the internet.

Yeah, I'm withholding judgement till "the end of April", but given Japan's doubling time is roughly 10 days, you'd expect there to be ~2.5k severe cases right now. Given that Japan's official count is ~11k, is there reason to believe 1/4 of all official cases are "severe"?

Does anyone have up-to-date data on "excess deaths" in Japan for the past few months?

In NYC, 0.16% of the population's died from it, so that's a hard lower bound.

To-go cups are legal in NYC as of Tuesday, so long as they're sold with food[0].

[0] https://ny.eater.com/2020/3/17/21182052/new-york-state-liquo...

Hence why `Result` is really valuable. Can't ignore it (plus, the semantics are straightforward)

Result types are genericizable in a way that checked exceptions aren't (IIRC), which is huge for ergonomics.

It's hexadecimal ascii

Ohio's in the "Midwest" even though it's a solid 80% of the way to the East of the continental US. The Middle East is also quite far west in the context of Asia (or even in the context of Eurasia).

Geographic clustering is always slightly arbitrary, but in American parlance "Eastern Europe" and "Western Europe" are used dichotomously, and with the former usually corresponding to erstwhile Warsaw Pact members.

Maybe dumb question: How does he specify whom the message is sent to? Or is it broadcast?

That doesn't mean that this much parking is necessary, however.

I'm curious if the developer chose this much parking, or if land use requirements mandated it.

There is no reputable ETF that will give you 15% return. Even 10% real return is incredibly unlikely.

What about shoes and roller blades?

Schadenfreude’s been an English word for a long time now.