โฒ @LibertyPaulM@linuxrocks.online: itch.io needs more love from gamers. Including, it pains me to say, the linux gaming community.
itch.io does everything linux gamers want. A quality open source client, treats devs and players with respect and generally acts as a moral company should. Still it gets ignored.
Also, this thread shows they have the right business attitude. No need to go all out with "we're gonna compete with Steam and be a big boy killer". That way makes failure inevitable
Hey, great feedback everyone! It is great to hear not just that there are so many options, but there are all stable! I mean, folks act like non-GMail is the wild west, but folks get by on the federated messaging protocol just fine. I'll compile these results soon, as soon as I get a wikibase going. There is a conceptual Docker understanding step before that, but we'll get there!
@maiki I've been using protonmail for a while. No complaints. It's an email service that doesn't treat you like shit. You login and it shows you your emails, then you can send emails. What more could you want?
Want to hack on ActivityPub/fediverse stuff before FOSEM? @sl007 is graciously hosting a hackathon in Vlissingen and fediverse friends are invited to come! I'll be there and hacking on Spritely! https://indieweb.org/2019/Vlissingen
Google somehow changed the license terms of the Android SDK a few days ago. As the licnese hash is programatically checked by the SDK-tools, this means hat unfortunately builds are failing all over the place. (Not just for #fdroid but in peoples CI systems as well.)
RT @twiecki@twitter.com My favorite device in terms of engineering ingenuity is a rice cooker. How does it know the rice is done? It's not a timer because the time varies. It knows that when temp >100C, the water is gone. But not via thermostat, but a freaking magnet that loses strength at >100C. Genius
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.
in the old times, they used to send out podcasts using very low-wavelength wifi that you could pick up from miles away, and there were dozens of podcasts to choose from that would all run 24/7
I think a lot about how essential, unfun labor is organized in The Dispossessed and Anarresti society.
I would really love to duck out of work for a week every month to dig ditches, irrigate fields, build railways, and generally improve society. There's so much work to be done! But of course, we don't value that.
@mray WIP. Guix started with CLI, then it got TUI, now GUI is WIP but not ready for 1.0. Any help appreciated if you want to see it sooner. ใฝ(*๏ผพโฝ๏ผพ)๏ผ
when I was on twitter it was like being forced to drink sewage out of an open fire hydrant, and now that I am on mastodon I am free to take petite, ladylike sips of sewage at my own leisure
There are some languages beyond that that aren't listed for Reasons, but 170 is pretty cool. They include some Scheme dialects and other parenthetical languages, like the Haskell-inspired hackett or the dependently-typed pie but also things like syntactical datalog or JavaScript (!).
Files in these languages can all be required from the Racket language with a simple `(require collection/path/to/file)` and from the other languages that have such functionality, using whatever syntax they might use for requiring things.
Keystone pipline: *spills 210.000 gallons of oil* Petrolheads: ...
Niger delta: *is destroyed by oil extraction* Petrolheads: ...
Pemex pipeline: *kills 85 in explosion* Petrolheads: *chirp*
Electric car: *exists* Petrolheads: "BATTERIES ARE POLLUTING! WHERE WILL YOU TAKE ALL THE ENERGY FROM? ELECTRICITY COMES FROM COAL! WHAT ARE YOU GOING TO DO WITH THE DEPLETED BATTERIES? ELECTRIC CARS ARE JUST A HOAX!"
Another bunch of users to interact with... a more viable alternative to FB and #Diaspora, because #activitypub (and #zot) is the future of decentralised social net.