Viewing profile — DonaldPShimoda

Yeahhh currently considering going through the legal name-change process to move one of my family names to a middle name or something. It's made all the worse by the fact that my p…

Most complex , perhaps, but not "most advanced". I don't think there's necessarily a meaningful "correct" choice for that title, but surely one of the proof assistant languages wou…

That's part of it. I think another part is that it seems like the students are asked to read the papers behind a lot of the concepts, and academic literature is not generally very …

I think I agree with you, overall. But I would say that Bombadil is hugely important to understanding Middle-earth as a crafted mythos. He gives us valuable insight into Tolkien's …

You haven't looked up what "capitalism" or "communism" is nor considered the possibility of other alternative economic systems, I see...

I think parent commenter is using "men" in a manner similar to mensch , as in "a person of integrity and honor" [1]. In other words, "look around and notice nobody is taking respon…

> Not necessarily. Since the word "typed" language is not well-defined. This depends entirely on context. In the Benjamin C. Pierce school of thought (a common choice in programmin…

Agreed, this is a gorgeous blog. Makes me get the itch to redesign my own at some point (even though I've never been great at design).

I think the AI portion is not just something that ought have a toggle, but it should not be part of the platform. Somewhat recently, the ACM (one of the premier publishers for comp…

Some people also have moral issues with LLMs. If the poster is such a person, the accuracy metric may simply be irrelevant.

...why does it being 2026 make nondeterminism more desirable or reasonable?

The normal distribution doesn't account for things like "huge megacorporations pour billions of dollars into accelerating product adoption" or "other companies force their employee…

Have you... talked to people? Like, people generally, not domain experts using these tools to augment their existing process. Tons of people think AI is significantly more capable …

> The reductionist, mechanical explanation of what AIs do is not the full picture It is the full picture, to a first approximation. The statistical models involved are incredibly c…

I don't think anywhere I said they weren't useful tools; I said that a lot of people fail to recognize the limitations, and that even aside from limitations/utility there is a disc…

> I thought people here got excited about technology. I am passionately excited about technology that serves people , but the current hype around AI is not that. LLMs are, fundamen…

> None of the would-be founders here would support unionization at their companies. :) That's because none of these would-be founders know how to turn a profit without exploiting t…

> Layoff Protections Companies often expect employees to give advance notice of termination of employment, but employers do not feel beholden to their employees to reciprocate. Thi…

I don't think the em-dashes are particularly out of place in a list like this, though it's not the style I use. I didn't realize ARCHITECTURE.md was an LLM thing (though I suppose …

> Features: > description 1 > description 2 > ... Like... why are we doing this. What is the purpose of having a bunch of green checkbox emojis in the already bulleted list of feat…

> I swear I remember reading something Tolkien (maybe) said about the eye of sauron being basically an analogy about the press. Hmm I'd be interested to see a citation for that. As…

There is no consistent definition of the term "weak typing". Do you mean implicit coercion? > Most people who think they have a problem with dynamic typing actually have a problem …

> Palantir already has the blessings of the Tolkien estate. Is that true? I can't find any articles corroborating this claim. As far as I can tell from some brief googling, there i…

I saw the name and thought "that sounds familiar", only to realize it's the economist I've seen on social media a lot lately (e.g., he was recently interviewed by Hasan Minhaj [0])…

Right — they're not reasoning, they're generating text that statistically models reasoning. Anyone who says differently is selling something.