Made the jump today to (aka ) 60!

I needed to mess with the userChrome.css to get tree style tabs working properly, but generally I think it's been worth it 😁

Happy birthday to GNU. This is the original announcement of the GNU Project, posted by Richard Stallman on September 27, 1983. gnu.org/gnu/initial-announceme

Guile now has a JIT compiler that is about 80% faster than 2.2's VM. I hope to take it for a spin soon and run a 2D sprite rendering benchmark.

lists.gnu.org/archive/html/gui

We've released! #GNOME 3.30 "Almería" is officially available. Have a look at what's new: gnome.org/news/2018/09/gnome-3

Finally sorted out a ticket and accommodation for live!

Also submitted a lightning talk proposal about GNU ... 🎉

Don't let your Open Source get ##commonsclaused! Read about how the #CommonsClause restricts your software freedom. Despite the opposition's rhetoric, #FOSS *is* sustainable without turning it into proprietary software; it's what we do here at #Conservancy. sfconservancy.org/blog/2018/au

I agree with Karl Fogel here:

'I've never understood the "GPL is not free" argument. The only restriction the GPL imposes is that it prevents people from imposing further restrictions. To say that this results in less freedom has always seemed perverse to me. If the retention of monopoly is somehow a freedom to be protected, then the word "freedom" is no longer
meaningful.'

I think Stallman also said basically the same thing.

"Give us a short pitch (2-4 sentences)!"

"Mastodon is a decentralized social media platform where users are in control. It is Free Software that any individual or organization can run on their own infrastructure while connecting to a global network, allowing communities effective self-government. It comes with better publishing capabilities and robust anti-abuse tools."

OK?

My weeks been so successful... that now, I'm sort of at a loss what to do next 😁

I don't think it being 26°C in here is helping much either....

Success!! Replacing the HDMI cable now means I have no red dots showing up on my monitor 😁

Victory! Just try all the ports.

Turns out that using both DisplayPort outputs isn't stable, but using one , and then using the HDMI output (that I didn't really know I had) seems to work much better!!! 😁

So two of my machines have been giving me trouble today, I've even given up fixing one, as it seems I've upgraded to a broken release of mutter...

However, I have discovered that the monitor I've had for years does have an audio input! So I've finally managed to hook up my speakers to my machine 🎉

The computer problem for today... logging in 🙁

You only realise how nice atomic upgrades are in when you go back to and start breaking things...

I'm currently stuck doing `dpkg --configure -a ; apt install -f ; apt dist-upgrade` over and over again...

boingboing.net/2018/06/21/digi Very good blog post on the LibrePlanet 2018 closing keynote.

On "open source" as freedom for companies, and the problem this poses in getting free software out to everyone.

There is a God after all - and his name is Tanu Kaskinen!
(From #PulseAudio 12.0 release notes) #hurd

's (including ) has a built in JSON view, which works quite well!

To use it, you have to enable `devtools.jsonview.enabled` in `about:config`.

Show more
Octodon

Octodon is a nice general purpose instance. more