Verification debt has always been present, we just now feel an acute need for it, because we do it wrong.
Clause and friends represent an increase in coders, without any corresponding increase in code reviewers. It's a break in the traditional model of reviewing as much code as you submit, and it all falls on human engineers, typically the most senior.
Well, that model kinda sucked anyways. Humans are falliable and Ironies of Automation lays bare the failure modes. We all know the signs: 50 comments on a 5 line PR, a lonely "LGTM" on the 5000 line PR. This is not responsible software engineering or design; it is, as the author puts it, a big green "I'm accountable" button with no force behind it.
It's probably time for all of us on HN to pick up a book or course on TLA+ and elevate the state of software verification. Even if Claude ends up writing TLA+ specs too, at least that will be a smaller, simpler code base to review?
Will the TLA+ spec Claude spits out do what the users actually desire? Will there be human oversight of the spec? If not, I don't see how it really helps if the future human machine interface is supposed to be loosey goosey natural language. The best thing I can conceive is some human observers of the system saying "Claude, the behavior as it stands now is perfect! Set it in stone with TLA+." But this whimsical idea has many problems.
Sadly, Season 1 Joe is just incohesive. Like, you want there to be some structural reason behind his madness and there just isn't any, because there's too much of crazy. Season 2 tries to walk much of that back.
I haven't yet seen season 3 and beyond, but it's clear the OP blogger agrees:
> The best thing the show’s writers ever did was realize that Joe wasn’t the most interesting character.
Like, Lee is a good actor for sure, he was just given a poorly story crafted role.
In context in this case, “hell of a lot of.” Seems we English speakers come up with myriad grammatical constructions to seem less offensive in certain forums.
Well, mostly I realized my first sentence was likely to come off more negative than funny (I just like, really enjoyed F-Zero GX back in the day!), so I decided to add a folksy salute to the effort to dilute that. And a smiley face, people heckin' love those =)
"Heck" is to "Hell" like "Darn" is to "Damn" (or "Freaking" to “F--ing") - a word that sounds similar but is more polite, to be said in public in more religious places and times.
It's a form of hella which is "hell of" but hecka sounds silly so you get heckin. (Heck is also used as a substitute for fuck sometimes and takes its forms.)
This still doesn't make sense as "hellin" isnt a term in wide use. What makes the most sense is transition from "fuckin". But why not simply use fuckin? Surely invoking sex is less taboo than invoking hell.
> What makes the most sense is transition from "fuckin". But why not simply use fuckin?
Indeed, you have a community that wants to be family friendly but high energy, and so the technique is to start with "fucking", one of the top tier swears, and replace its root word with the lowest tier swears. And part of the charm is that "hell" is barely a taboo topic -- it's part of the Apostle's creed and plenty of sermons, and there's no commandment against its use[1], yet it gets minced to "heck"!
There often are hotels, but it gets booked fast when weather causes delays. When I got stranded in Dallas in 2019, the Ramada made it excessively clear they were booked. But there's also tons of hotels around airports, you just have to get through security, and they don't do hourly billing like you might want if you weren't sure your replacement flight is also delayed.
> But there's also tons of hotels around airports, you just have to get through security
That works in USA where every international arrival has to be able to, and does, go landside.
In the more advanced world, you may only have authorization to stay in the terminal. Dunno what they do when shtf and people will be stuck for a few days.
The US system doesn’t seem less "advanced" to me. It cuts down on the number of people that connect through the US on non-US itineraries, but I don’t know that there are many US hubs agitating to become city-sized duty free malls like Dubai, Frankfurt, etc. And it makes our airport layouts much less complex.
There are almost no routes that would want to use the US as a midpoint due to geography. It's pretty much only routes to Central America that make any sense, and there's just not a lot of them.
So the US never felt the need to build airports with dedicated international zones.
I've almost always seen proper hotels right outside whichever airport I'm at.
But I've never seen a capsule hotel business within the airport bounds itself despite there being many stories of people wanting to sleep at the airport.
In case there's any confusion: what I meant is that the airport in dallas is before security, so you have to through the scans again when need to get to the gate and leave.
It was a literal bug in the computer. Metaphor as humor!
reply