🚲 Fabián Heredia 🌹 @fabianhjr@social.coop

Are you fucking kidding me Parallels Desktop can't open OVF, the open format for virtual machine files, without downloading the competitor's tool (VMware ovftool) and converting to the competitor's VM file format first!

That is the official workaround https://kb.parallels.com/en/122835

All other virtual machine managers have supported OVF since like 2012.

tbh...ok, here goes.

the day starting with the "anarchist" version of this galls me, both as a woman and an anarchist. i mean, wtf, dudes, think before you type, please.

doing actual harm against everyday people who are trying to tell you their reasons for doing something -- something minor tbh -- isn't anarchism. it's bullshit. :P

you need to check yourselves and reflect on what you're doing.

being a matched bookset to sexist, fascist collaborators = not a good "look".

@shoutcacophony yeah this is weird. it's like something busted the underlying routing system.

@iliana

> ssh into the entire internet

👀

> $ ssh www
> [connected]
> "i'm extremely in"

@Gargron maybe 🤷 ode to the brittle web

@garbados on that day it will be time for a mesh network to smash the corporate telecom hegemony

it's a long shot but, anybody else experiencing bizarre connectivity issues? some sites i can retrieve just fine, but a surprisingly large chunk of the web just started hanging

The Daily Dweebs https://video.blender.org/videos/watch/b37a5b9f-e6b5-415c-b700-04a5cd6ec205

Working on translating Logical Foundations (in Coq) by Benjamin C. Pierce into Idris. First 2 chapters are somewhat ready.

If anyone is interested in Formal Methods feel free to ask any questions about the translation or Idris. (I am doing this in part to learn Idris / Dependent Types so if something isn't clear explaining it would be an exercise for me) ^_^

https://github.com/fabianhjr/idr-logical-foundations/releases

It has been exactly one year since I joined the fediverse for the first time and, geez, has this community grown since then.

I'm baffled how welcoming and mature most people are on here - like a saner version of Twitter (there you go, I dared to say it)

For the most part, you can actually have meaningful conversations with other people! Keep it up, peeps, I love this community 💕

As a society, we not only need to stop blaming the individual for suicide, but we need to deal with the social factors - especially that our society that tells people from childhood that their "worth" is tied to wealth and salary, dictated by profit-driven sociopathic corporations.

We expect people to work themselves to death in increasing social isolation while paying for the privilege to be abused, while companies' needs are prioritized over human needs.

Things you won't hear at E3:

"We made this game without mass-exploiting skilled labor, paying some of our workforce near-starvation wages, forcing people to do multi-hundred-hour crunches, getting themselves hospitalized, then laying them off."

Something else you won't hear at E3:

i read "Distress" by Greg Egan about an anarchist island nation

then I read "The Dispossessed" by Ursula K. Le Guin about an anarchist lunar colony

and i know i am historically ignorant enough that i should not have too strong an opinion about any economic system

but those two books gave me a good enough introduction to anarchist ideas that when i read "Software" by Rudy Rucker the stuff he called "anarchism" felt like a bad caricature by someone who didn't really understand it

You know, mobile operating systems are an incredibly clever move on behalf of intermediaries who are afraid of an open and community-managed web.

Standards-based organizations like the W3C are (if I understand correctly) overwhelmingly dominated by business interests already, but even *that* is to inconvenient for Apple, Microsoft, and Google right now.

Instead, they're each working to build walled gardens with faster-paced development at the expense of 100% vendor lock-in.

Yes @Gargron Yes.

COME TO THE COOPERATIVE SIDE.

@ntnsndr @mattcropp @wakest @h @ciaby @kaniini @Antanicus

Re #Microsoft eating #GitHub -

one more alternative: #git-ssb
For "using git collaboratively without a central, closed-source point of origin"

https://github.com/noffle/git-ssb-intro
https://git.scuttlebot.io/