1. i'd call you stupid 2. i wouldn't be having a discussion about shit that i care about with you
i guess my tone is fucked up or something, but you can be a smart person and have reasons to disagree with me. intelligence doesn't predict opinions. there isn't a deterministic thing that says "all smart people will arrive at my correct opinion", alright?
i agree. i just think its important to be pragmatic about things. everything is the way it is rn for a reason. it might be a stupid or recently irrelevant reason, but there's a story behind everything that we need to understand before we can start replacing and changing the structure of society.
you’re brushing over some complex shit there fampai.
> communicating
is like The Hard Problem. we don’t know how to coordinate large scale activities without bureaucracy. that’s the problem that it exists to solve. i certainly hope that it can be done better, but that’s just one obstacle on the path to leveling up our civilization.
how does a gift economy account for externalities and other non-material costs? how do you budget resources without some feedback mechanism to regulate the relative effort needed to extract, refine, and transport a given material? most of the things you need to survive aren’t scarce, but many advanced resources aren’t going to become practically limitless in the foreseeable future.
i like and agree with this idea, but idk how to get there from here and how we can avoid destroying the planet in the process.
star star baby (xj9@social.sunshinegardens.org)'s status on Tuesday, 22-Jan-2019 09:53:04 EST
star star baby> The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program. By ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees that can be obtained by applying formal methods to source programs.
> The main result of the project is the CompCert C verified compiler, a high-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.
the centralized architecture of data silos and other modern networks (including fediverse) make even interplanetary communication completely infeasible. there are a lot of steps to take before that, but we need to get ahead of the curve to ensure that free software becomes the default moving forward.
the success of the protocol is entirely dependent on the quality of the clients. mastodon launched with OStatus, which had been around for a decade before the recent fedi explosion. only real difference this time around was the UX and availability of good mobile apps.