Viewing profile — paulddraper

I assume you got the email about them increasing prices "significantly" soon (but no hint on what significantly means).

Wait until you have to exit the video call because you haven't yet granted screenshare permissions to the current app, and it needs a restart.

> ... in the US Dallas in the United States.

Genealogy apps, e.g. Ancestry.com

But you understand that if it were required, everyplace that doesn’t specify today, would slap allergens on the whole menu.

> “I asked Claude what happened, and it spit out this 300 line response. Can you read it for me and see if it’s right?” It’s the equivalent of choosing words from a conversation an…

While it’s true Unicode pushes the boundaries of “plain text” having a consistent font face, font size, font weight, letter spacing, font color, text wrapping, etc is good. I don’t…

Pelicans don't ride bicycles. It's physically impossible. The problem is to draw it in the least disturbing way possible.

Because the title appears next to a bunch of other titles. It should be consistent, or else compromise browsing. The content has no such situation.

Yeah, I was reading along but the date 2010 surprised me. In reality, you could probably put any date in there and it would work.

This had nothing to do with Collatz and everything to do with a Lean bug. The proof was not actually a proof at all, because it was unsound (despite Lean admitting the proof).

Me too. What does a reasoning program look like and why is matrix multiplication not that?

Yes, more common is Manager // interface ManagerImpl // class

Yeah, Ruby code bases are generally harder to maintain than Java ones.

The current title says "Google fixed more Chrome bugs in June than over the past two years, thanks to AI." This is wrong on almost every count. 1. The numbers are by milestone not …

> Despite its prominence, for over 20 years almost nobody has used this approach. Why is that? There is one highly successful use of REST: the World Wide Web. The Web/Web browsers …

This is an awkward read, the result of trying to convey an idea while couched in other language. That idea being that AI is less important than humans.

> You’re suggesting aligning to an inherently and deliberately changeable presentation. Yes, you have understood the proposal.

So it drained $5? Can’t speak to the results, but the cost isn’t high.

Well, the idea here is “things that look like buttons do page navigation.” And the proposal is that we should more closely align the presentation and function. You are correct that…

Tools are (can be) cheap. An electric drill from Harbor Freight costs as much as breakfast from Dennys. You going to pass it on to your kids? No. But maybe you don’t need to.

Just imagine how bad it would be if we hadn't.

Well said.

> This sounds like some kind of corruption going on, where they're probably paying consultants stupid amounts of money Guaranteed