🚲 Fabián Heredia 🌹 is a user on social.coop. You can follow them or interact with them if you have an account anywhere in the fediverse.

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

@uranther @kaniini well, we don't even need to use that much energy, as someone else pointed out in the thread there are other ways to archive a decentralized ledger without that much waste.

Hi USA, here is my college. (Ciencias - UNAM) It has a good worldwide ranking and it has a $0.25 MXN/year tuition and a $0.25 MXN/year admin fee to study there. ($0.025 USD/year total) I think foreigners pay a little more (like 50 USD/year) but the cost of living is also very low. Classes are only in Spanish though.

Just putting it out there as an option as student loans/debt get worse and Trump gets tired of too much winning™ with the trade war vs the whole world.

@uranther though I agree on principle substituting decentralization for blockchains.

Specially:

> blockchains are going to expose these "trusted" intermediaries who extract raging economic rent and impose tons of friction.

@uranther can't wait for bank lending to be undermined by communal lending and investment.

But definitely don't think cryptocurrencies are going to help there, even if used. P2P Tech is increasing as people are realizing that corporations are hostile when their bottom line is threatened.

The good thing about Trump, from an accelerationist point of view, is that he seems to be accelerating the capitalist crisis to come of the USA.

Just with this escalating trade war between USA and the world it might be enough to accelerate the downfall of USA in the international scene.

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) ^_^

github.com/fabianhjr/idr-logic

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) ^_^

github.com/fabianhjr/idr-logic

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 💕

suicide mention, US society, capitalism Show more

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.

Re eating -

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

github.com/noffle/git-ssb-intr
git.scuttlebot.io/

Word of caution: git-ssb works very differently from github/gitlab et al.
Would take some getting used to.

I'm asking for tips in SSB and will pass on anything that seems useful, if anybody wants.

tech Show more

@acciobooks
I’m honestly have no idea, but if I had to guess it has something to do with the vice grip corporations have on your data and how completely unwilling they are to let go of that.

I’m glad every website supports OpenID instead of making you make a new account just for them that would be a nightmare. Glad we definitely do not do that ever anymore and that doesn’t happen