Mike Gerwitz @mikegerwitz@mastodon.mikegerwitz.com

@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 https://lists.gnu.org/mailman/listinfo/repo-criteria-discuss. If you don't hear anything there, send me a message.

@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!

I was rather surprised to see this positive outcome regarding the #CFAA:

https://www.eff.org/deeplinks/2021/06/van-buren-victory-against-overbroad-interpretations-cfaa-protects-security

@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?

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.

https://issues.guix.gnu.org/47789

Enjoy!

#guix #TLA

@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.

@mlemweb What wonderful news! Congrats!

@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:

https://issues.guix.gnu.org/47789

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

I'm pretty excited that I have a working #TLA+ Tools package for #guix 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.