#GNU #Guix 1.3.0 is out, woohoo! 🎉

👉 guix.gnu.org/en/blog/2021/gnu-

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.

Working on a TLC2 (TLA+ model checker) package for Guix, until I found that one of its dependencies is lsp4j (not yet packaged), which is built with Gradle, which is not currently packaged in Guix.

This escalated quickly. I should probably try to build without Gradle. My Java skills are weak, so I guess we'll see how this goes...

Just got my COVID-19 vaccine. This is not just important for myself and my family, but also to reduce the risk of spread to others.

Don’t wait any longer and get #Emacs 27.2 right away with #Guix:

👉🏾 guix install emacs --with-latest=emacs

(Yup, it actually downloads and authenticates the source from gnu.org and builds it right away!)

@redstarfish This is not okay. Calling for the arrest of someone whose speech you do not agree with, even if you consider it libelous, is wrong. What example does this set?

I really enjoyed the @fsf #libreplanet talks in-between changing diapers! Looking forward to the talks to be uploaded since I missed the morning sessions on both days, and sometimes I want to watch more than one concurrent talks.


Finished attending LibrePlanet2021.

Wow! So many great talks! Can't wait to watch what I missed live!

I unfortunately missed the first several talks, watched a couple on the Right to Repair, GNU Jami P2P videoconferencing, CiviCRM, story-telling/fanart, WiFi, funding, & user testing.

I also lost a quiz, & discussed running a project. Would've liked it if more joined that discussion...

Also: The 8bit vibe to the virtual conference was cute!

My kids had a lot of fun playing on the Minetest instance, and plan to hop back on tomorrow. Everyone was really kind, and it's been a great way for them to be involved in the conference.

I also like that they got to interact with others that have a passion for software freedom, since it shows that it's not just Dad that thinks about free software.

We have over 1000 registered attendees this year from all around the world! As an activist, it's inspiring to see!


Still changing my talk in fairly substantial ways ~17h before I give it? Sounds about right.

I hope you'll join us at tomorrow, regardless of whether you're interested in hearing me speak!


Show more
Mike Gerwitz's Mastodon Instance

Mike Gerwitz's personal Mastodon instance