Watch video from #LibrePlanet 2021: “Adopting free software ideals” with Mike Gerwitz: See all LP21 videos on PeerTube at!

@resist1984 @fsf Last I was aware, we were in need of volunteers to go about making the necessary changes for the update. I suspect that's still the case.

I'll inquire (off-list).

@resist1984 @fsf This is a volunteer effort. I was part of the team that set it up many years ago, but I haven't had time since then. And while this was created in collaboration with the FSF, authority over it falls to GNU.

If you or others are interested in participating, please send a message to If you don't hear anything there, send me a message.

Projects such as #GCC, #glibc, & gnulib are considering ending #copyright assignment to #FSF. We urge everyone to think carefully what this means for the future of #copyleft, #GPL enforcement, and the software freedom of downstream users.

@cwebber @mlemweb While I cannot personally relate to your experiences, I can't help but be inspired by them and the example you both set for others; the support and guidance you provide to others; and, as importantly demonstrated in this photo, the essential support you have for one-another.

It's beautiful, and I'm happy for you both.

@mlemweb @cwebber @fossandcrafts I love this idea!

I have too much going on to be able to join in the near future, though I hope to see these continue, and maybe one of these times I'll be able.

Have fun!

@libreleah Thanks, Leah. I'll give it a try in the next couple of days when I have a little extra time.

@libreleah Also, it may be good to warn users that a 1.1MiB download expands into 529MiB of ROMs. ;)

@libreleah This is exciting; thank you!

I'm a little nervous to take this plunge on my X200, though. My current 2016 payload is grub and I have an encrypted boot. Would I have any problems if I did seabios_grubfirst? Do I need to do anything special for an upgrade, or do I just run e.g. `flashrom -p internal -c MX25L6405D -w rom`? That wasn't clear.

Considering that I don't have an external flasher, how confident are you in the stability of the X200 builds? Should I let others test first?

“Current trends in the automotive industry point to a future with you locked in a remote control car, your vendor holding the remote."

#GNU #Guix 1.3.0 is out, woohoo! 🎉


Lots of good stuff in there: usability improvements, performance improvements, #POWER9 support, and more!

tla2tools (TLA+ tools) for Guix has been merged! You can now enjoy model checking, typesetting, and more on your Guix system. If you're into that kinda thing.


@liw There is no single measure, and I'd distinguish between "success" (end) and "successful" (ongoing). The goal posts are always moving.

What good are freedoms that most cannot enjoy? Many of us, including myself, are able to perform their day-to-day computing using entirely free software, but it's a position of privilege on many levels: technical, financial, societal, and much more. It's almost like freedom for the fringe. And it's a terrible feedback loop, as we cannot relate to others.

@groovestomp In the *scratch* buffer, C-j does that. C-h k C-j shows that it's bound to `eval-print-last-sexp', which works in any buffer.

Maybe that'll work for you?

TLA+ Tools patch series submitted after ~17 hours of work:

I'll consider tackling TLAPS (the proof system) in the near future, if I have the energy and it's not too involved.

The Simplicity of Making Librem 5 Apps

"The Librem 5 makes its application development workflow extremely simple."

#librem5 #freedom #apps

I'm pretty excited that I have a working + Tools package for working now (tla2tools.jar). But I have a lot of cleanup (for it and new dependencies) to do before offering a patch, and some more wrapper scripts to write. Also need to figure out why some pcal tests are failing.

This allows for model checking, simulation, and LaTeX output generation, among some other things as well.

Show more
Mike Gerwitz's Mastodon Instance

Mike Gerwitz's personal Mastodon instance