Skip Navigation

edinbruh

@ edinbruh @feddit.it

Posts
2
Comments
158
Joined
4 yr. ago

  • type theory meme

    Jump

  • We live in the future!

    Jump

  • Well, instead of stealing from the drivers, to give to a corporation, it steals from tourists to give to drivers. I say it's not good but it's still less bad

  • We live in the future!

    Jump

  • Yeah, we are a bureaucracy machine.

    People (especially us) often make fun of how convoluted our bureaucracy is, but this has made us extremely good at paper moving. If any country had a go at being us, they would collapse.

  • We live in the future!

    Jump

  • Italy. Because you need a license to be a taxi driver, and a random company cannot hand them out (and the taxi drivers union is powerful and corrupt). And because the government gotta know who is renting a room where, you can't just go wherever you want without anyone knowing, especially foreigners. Whenever you rent a room in Italy, the owner will take a picture of your ID/passport, and send your data to the local government. Also you gotta pay taxes on the rooms you rent.

  • We live in the future!

    Jump

  • It doesn't have to be like this though.

    Here, for example, Uber is not allowed and Airbnbs are regulated

  • Road rage

    Jump

  • Right ≠ permission

  • days of future past

    Jump

  • Ideally, we wouldn't build infinite compute, just as much as we are actually using, and using it efficiently allows you to build less. We would still need datacenters even without LLMs, but they wouldn't need to be so gargantuan, because even the worst, inefficient, nodejs-based, intern-written server you could ever encounter, would be heaps more efficient (or at least less demanding) than any LLM. This is true even from an economical point of view, or any practical point of view, not just environmental.

    To quote Tannenbaum: "You know you have the right computer when you are always using 99% of it. If you are using 100%, you are being limited by the machine. If you are using 98% you have bought more than you need". If datacenters were always running at 40%, we would build bigger ones.

  • Deleted

    Permanently Deleted

    Jump

  • I'm not sure this is a thought profound enough to count as politics. I'd classify it as nothing more than aerating the mouth, since there clearly was no thought process behind it

  • Heat

    Jump

  • Isn't some energy still dissipated as light instead of heat?

  • xkcd #3237: Husband and Wife

    Jump

  • I have an announcement to make.

    Shadow the hedgehog is a bitch!

    He pissed on my fucking wife. It's true, he took out his hedgehog dick and pissed on her. And then he said it was "this big" and I said "that's disgusting!"

  • Deleted

    Permanently Deleted

    Jump

  • Look into "intuitionistic logic" and "constructive logic"

  • WHERE THE FUCK IS THE CURSOR?

    Jump

  • On KDE and on MacOS, if you shake the cursor it becomes larger

  • You're missing at least five

    Jump

  • Sometimes banks give you a PEC address, but it's mostly for communicating with the bank, and you are paying for it as part of the bank's services.

  • You're missing at least five

    Jump

  • PEC is usually not free (neither is fax, but a landline is more common than PEC). But also, I think it's not accepted everywhere. Maybe you can also use posta raccomandata. But for that you must go to the post office in person and wait in line with other 10 pensioners, and it also costs, so you are probably better off just handing the document in person.

  • You're missing at least five

    Jump

  • Probably Italy. All institutions and many households still have a working but unused fax line in Italy (which most photocopiers still support). Many documents can only be transferred either in person or by fax.

    We are not savages, we have low cost multi-gigabit optic-fiber household connections available in the majority of cities. Our bureaucracy is just anachronistic.

  • Deleted

    Permanently Deleted

    Jump

  • The alkylated benzene looks like a little bug guy. It has two legs, two arms, and two antennas

  • Deleted

    Permanently Deleted

    Jump

  • This looks more complex than it needs to be. We can just merge those two IFF soundnesses at the top and remove transitive implications and we are left with a straight line with a couple bifurcations to cul de sacs.

    Also... I only know constructive logics and abstract interpretation with Galois connections... Where do they fit in this? 🥺

  • Deleted

    Permanently Deleted

    Jump

  • Is this to measure calories? We did something similar in elementary school, our teacher would light a piece of snack on hanging above an aluminium dish, and we would count for how long it burned. Then we looked at the packaging and the snacks with more calories burned the longest.

  • Deleted

    Permanently Deleted

    Jump

  • Lab Shelob behaviour