Viewing profile — kthielen

Ha ha, your short but diplomatic reply is a perfect example of the skill in question. Nicely done.

You make a very good point, and maybe a problem here is that “human factors studies” are set up like market research rather than anthropology. People who’ve spent a long time progr…

What do you have to say about Curry-Howard?

*moot (No offense intended.)

Or ANS if you want an equally general packing to AC but you care about performance. ;P

For some reason you're willing to drop the context. He's talking about people coming through the border without being vetted, who are dangerous to the country. Do you think that pe…

> If you say "they're eating the dogs, they're eating the cats, we have to clean up our country" then... yeah you're getting pulled into HR. Trump was just repeating the same thing…

> And sure, it’s weird Hunter was involved but it’s also weird the guy who brags about being rich still won’t show us his tax returns […] You’re so quick to drop the question of th…

> [...] the Ukraine call [...] Eh, maybe he shouldn't have been impeached for that call. President Biden's son had a strangely lucrative position, which he appeared not to be quali…

Is it rare because it’s painful, or painful because it’s rare?

I made something like this for Morgan Stanley some years ago, a structurally typed eager variant of Haskell with static elimination of type class constraints (so no runtime penalty…

> if you want to claim "forall x in X, P(x) is true" then you need to exhibit a particular element of x for which P holds I don’t mean to be pedantic (although it’s in keeping with…

I’ve always wondered why SQL doesn’t support variant types, and in this case especially. If you’re going to store a sequence of values whose type can change over time, a variant is…

I hear different opinions about whether type checking is "an" instance of abstract interpretation (AI) or "the" instance (which IMHO is a useful question since we might consolidate…

A career change, or a job change?

Ok but just make sure nobody else has to inherit it, and it’ll be fine.

Yeah, some maintenance projects have been much easier than others. Implicit knowledge that you have to “just” hunt down is generally the cause of difficulty and delay. It has littl…

> Just do some reasoning about the side effects. "Wat?" Have you ever inherited a 1MLoC codebase that you yourself didn't write from scratch, or worked on a large project with at l…

> Lists and trees can be fully captured by sum and product types, but extending this representation style to DAGs and graphs doesn't work--you either get inefficiency (for DAGs) an…

I don't think they explained how it's different, I did listen to the podcast before posting my comment. It's a pretty basic question that IMHO demands a clear and adequate explanat…

Yeah but, how is an assembly index different than an LZW code?

> Formal verification can work in areas where you have a long time to do > development, or where your problem space is amenable to having a formal > standard (like math problems). …

Why would you post this here instead of the github page?

This piece focuses on complaints about ocaml, and the last half seems to just be syntax complaints (which I mostly ignore just because every language seems to have awkwardness in i…

Bulletproof counter argument, you sure showed me.