That’s some nice DIY. Also cool you can actually see plain hydrolysis working with the ph indicator.

AI psychosis is starting to look like normal psychosis.

Yeah, understanding proof assistants would be the big practical thing. I can read a short proof in Lean, but a lot of it just feels like magic right now.

It looks like I was mainly missing sequent calculus (I learned all in the Hilbert style of deduction) and the convention that gamma is the whole context. I’d see the notation and wonder if I missed something. Thank you for the effort you put in on this!

What’s the easiest way to actually learn how the correspondence works? It always feels like there’s some kind of background they’re assuming I have, that my pure maths ass doesn’t.

That would be surprising. Usually, the long-timer who’s built up personal friendships with management is the last to go. Sometimes even if they suck.

Although, maybe in giant corporations with a lot of levels above you that would be less true.

It has some serious reliability and scalability issues as of last I checked, but yes, if you’re a skilled programmer who can check for shit like this:

it’s a good force multiplier.

Selfhost instance on .ru

Checks out. Hows the outlaw life?

What’s self-service identity theft?

Depends how you use it. And which coin - before Q day comes Monero is pretty private, but Bitcoin is transparent.

Bubbles always burst eventually, just wait for it.

Although, without the grift, it would be super illegal, so should we really complain?

Fake money for criminals is unironically a decent addition to the world, although it’s coded in a really dumb way. Plagiarism machine is overhyped right now, but it also has some legit uses.

So, the poll actually seems about right.

It was, but tech lawlessness swings both ways, or has so far, and it’s worth mentioning.

This tab made me think my instance was down again.

Sure, that may be (it’s definitely not in userspace). But don’t forget it works by crashing your program.

They all have footguns that cause different crashes.

If you want to do explicit memory access without inevitable safety problems, you need Rust. That’s the whole hype with Rust.

Yeah, past experiences with a wonderproject that actually turns out to be meh may very well be part of it. Especially if it’s an older person.

Speaking of pollution, the whole “wifi/5G causes cancer” thing is still out there too, and might be conflated with a datacenter.

No, but appreciating what a big generic building does could require education.

If there was any education behind making those slopcenters, they wouldn’t make them gas powered in a desert.

Yes, they’re designed and built by illiterate cavemen. /s

Like, obviously you know engineers do that, and are educated and well compensated. It seems like you’ve drifted off to a different argument here.

The rich are also more educated. Lemmy hates AI, but other upper-middle-class types might just see a datacenter as a big box full of cool technology.

To plumbers and cashiers, it’s more of a new-fangled abomination we don’t need.

Plus, it’s bloat. A snippet of extra code isn’t going to cause much trouble, but then you end up doing it a lot, and there’s snippets in the snippets, and all the sudden something that used to fit on a floppy is 3 gigs.

I have no idea how much of a factor this is relative other various performance-sacrificing shortcuts, but Wirth’s law is a thing.

Does it matter what kind of dependancy? Like, sure, if it’s somebody’s 5-year-old school project that’s bad, I guess. (I’m experiencing this meme right now)