@cwebber I packaged xautolock some years ago for guix and use it with slock. But my threat model is a slobbery child smacking at the keyboard; idk how secure in practice these screen lockers are.

“Keeping one’s home tidy”:

This intro to #Guix Home 🏡 explains how it goes beyond mere “dot files” so you can configure and recreate your home environment anytime, anywhere.

@civodul GNU is "peace and quiet" for my kids because of that game.

I gave two talks at FOSDEM this year. Both of the recordings are now up!

Lisp, but Beautiful; Lisp for Everyone (co-presented with @mlemweb) fosdem.org/2022/schedule/event
Spritely Goblins Comes to Guile: Distributed, secure, asynchronous programming fosdem.org/2022/schedule/event

We've just published the Guix-HPC annual report!

👉 hpc.guix.info/blog/2022/02/gui

See how we support #ReproducibleResearch workflows, from core #Guix work to #SoftwareHeritage support to #Jupyter integration and more.

“Tuning packages for a CPU micro-architecture”
👉 hpc.guix.info/blog/2022/01/tun

Or how Guix’s new ‘--tune’ option allows #HPC users to get SIMD optimizations without giving up on #reproducibility.

#EmacsConf talk by Andrea Corallo on #Emacs 28 native compilation through libgccjit is exciting!

Amazing how much was achieved in little time.

@civodul I write a lot of Rust at work, with lsp-mode, which is quite heavy, especially on dozens of active buffers. This branch of Emacs (which I compiled using guix) has been a huge quality of life improvement and I have had no stability issues over the 6+ months I've been using it. I am profoundly appreciative of the time and work put into this.

@isharefreedom@hostux.social @alcinnz @fsf Software can both respect your freedom and be malicious. Or malware could slap on a license tag that LibreJS recognizes, even if it's false, so that the code runs.

I got a working #kotlin compiler built with #guix! If you recall, this is a dependency I need to build #gradle, the build system used by #android apps and many others.

Don't get too excited though, it's only the first of a very long bootstrap chain. That kotlin I built is from 2012, the last that did not require kotlin to build.

This is all thanks to the excellent work done by Emmanuel Bourg, at github.com/ebourg/kotlin-boots, on top of which I bootstrapped all other dependencies.

Everyone's heard that "network effects" are how Facebook grew its user-base - but now the FTC is homing in on how "switching costs" let Facebook hold those users hostage.


Watch video from #LibrePlanet 2021: “Adopting free software ideals” with Mike Gerwitz: u.fsf.org/3dx See all LP21 videos on PeerTube at u.fsf.org/pt-2021!

@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 lists.gnu.org/mailman/listinfo. 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!

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

Show more
Mike Gerwitz's Mastodon Instance

Mike Gerwitz's personal Mastodon instance