Show more

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

Some people expressed curiosity in what my diet tracking setup looks like, so I attached a screenshot.

I have some custom code on top of org-mode I call org-diet. Day to day usage is just done in emacs, then I run custom code to generate reports.

@cwebber My manager believes in servant leadership, and does a wonderful job at it.

It's one of the core reasons I stay where I am, and he has my utmost respect.

Why do I always give talks on such broad topics that I have to spend a bunch of time removing things because I have 45m, not hours?

Though, I think I could take virtually any topic I know a little bit about and find enough depth to talk for hours. So maybe there's no hope for me.

But, as usual, I find myself still working on core parts of my talk days before I'm due to give it. Something I vow not to do, every year.

@varx @cwebber This is unfortunately too difficult to discuss in such small messages (for me, anyway), but I largely agree with you too. Those messages have notified my wife of a compromised account before.

But we certainly can set a better example and start toward something better. Some users that don't care will also just adopt whatever they need to, as long as they're able and as long as it is not too burdensome. The current system is terribly broken.

@cwebber I think these companies are trying to do the best they can given the options available that users are willing to accept. It's far less effort, cheaper, and more beneficial to the user to send out these warnings than it is to have to try to help the user fix an account that was legitimately compromised.

My preference would be more global adoption of 2FA utilizing hardware resistant to key extraction so that assertions of identity can be reasonably trusted.

It requires a culture change

@cwebber Oh, do please let me know if it lives up to SICP. I wouldn't have time to read it sooner than you'll be done with it anyway.

Trying to carefully stitch relevant portions of mostly shower-thought rants into a carefully crafted talk with decent segues.

You can judge for yourself whether I succeeded in doing that on March 20th at .

(Yes, this post is me procrastinating. My head is spinning. I should probably go to bed.)

Show more
Mike Gerwitz's Mastodon Instance

Mike Gerwitz's personal Mastodon instance