FishFace

Til social democracy is anarchism

I don’t care. Likelihood is that’s not going to actually cause me anything but an annoyance anyway, so the cost of preventing it can’t be more annoying

Almost all sites should allow me to choose whether I want 2fac. And they shouldn’t prompt for it nearly as often as they do - some services do it for every login, most seem to do it every month at least.

And the Dambusters’ dog…

PHP.

Half kidding, but you’re asking the wrong questions. Go read my original comment again.

Lean helps a lot in formalising advanced mathematics, because it is able to express statements and proofs of that mathematics in a way that most tools can’t, and it can be checked by computer. It doesn’t help much in formalising logically complicated scenarios because you can express those in any old formal language.

If your tax bill depended on the convergence of some gnarly integral, Lean would be great. But it doesn’t; it depends on a billion bits of trivial mathematics composed together with rules that combine to be ambiguous and complicated. No computer environment helps with the ambiguity, whilst any computer environment can formalise that complication once an interpretation has been chosen.

I think you’re asking the wrong questions.

Not really my point, but sure.

Skimming this, it’s not clear to me what exactly is being done in Lean. It sounds like an LLM is translating the tax code into lean and then using those lean statements. But the translation step is highly error prone. Tax codes are not mathematically complicated (which is what Lean is good for) but logically complicated (which LLMs suck at)

Maybe someone with more patience can chime in

Your weird fascination with how other people license code you didn’t have a hand in writing deserves greater scrutiny…

I’m not really worried about skill atrophy. I don’t really buy that using AI to write all my code for a month will do any long-lasting harm to my ability to write code more than not writing any code for a month would, and I’ve gone much much longer than that without writing code before, with no long-term consequences.

I think it’s more about motivation, which again is something that you can regain pretty quickly if circumstances change.

Pelicans aren’t real. I continue to believe this having seen them in real life.

Brushing on the gums is what you’re supposed to do, because it’s the crease between the gums and teeth where plaque and food can accumulate.

I hope so, anyway. There’s a good chance other countries forget how harmful USA dependence is very quickly

The US has not hurt its allies in this way before, not that I can think of. It’s been a bully for as long as it has been able, but it also knew who its friends were.

Notice that these are remotes for a TV and stuff, not computers. This should give you some insight into how people might remain not good at something ubiquitous!

Most of that has nothing to do with a rewrite, and I don’t think the attack surface of an Electron app is actually any better because it’ll depend on bloody left-pad or whatever.

chill != doesn’t care at all :)

Surely they have to adjust it twice a year for daylight savings?

Then they’d renegotiate the contract so they have to pay even more.

Based on real events.