Pinned toot
Mike Gerwitz  

Over the 15+ years I've been using GNU/Linux, there are many programs that have become second nature to me. As a hacker, I enjoy tinkering with my system---why use a desktop environment when I could do the same thing with 100s of programs and hand-written scripts...!?

Each day I feel up to it, I'll give thanks to a free/libre program that has made a positive impact on my life, from every corner of my operating system, with the hope that others will find them interesting too.

1+
Mike Gerwitz boosted
Ludovic Courtès  

#EmacsConf talk by Andrea Corallo on #Emacs 28 native compilation through libgccjit is exciting!
emacsconf.org/2021/talks/nativ

Amazing how much was achieved in little time.

1
Mike Gerwitz boosted
Ludovic Courtès  

Slides of my #PackagingCon talk earlier today: “The Packaging Grail”

👉🏻 git.savannah.gnu.org/cgit/guix

#GNU #Guix #FreeSoftware #Packaging #ReproducibleBuilds #Bootstrapping

1
Mike Gerwitz boosted
Software Freedom Conservancy  

We were granted almost all of the #DMCA exemptions we applied for last year! Read more about how you can now install alternate firmware (like OpenWrt) on your routers and freely investigate your own devices for #FOSS license compliance. sfconservancy.org/news/2021/oc

1+
Mike Gerwitz boosted
roptat  

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.

1
Mike Gerwitz boosted
Electronic Frontier Foundation  

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.

eff.org/deeplinks/2021/08/face

0
Mike Gerwitz boosted
Free Software Foundation  

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!

0
Mike Gerwitz boosted
Software Freedom Conservancy  

Projects such as #GCC, #glibc, & gnulib are considering ending #copyright assignment to #FSF. We urge everyone to think carefully what this means for the future of #copyleft, #GPL enforcement, and the software freedom of downstream users. sfconservancy.org/blog/2021/ju

1+
Mike Gerwitz  

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

eff.org/deeplinks/2021/06/van-

0
Mike Gerwitz boosted
Purism  

“Current trends in the automotive industry point to a future with you locked in a remote control car, your vendor holding the remote." puri.sm/posts/locked-in-a-remo

1+
Mike Gerwitz boosted
Ludovic Courtès  

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

1+
Mike Gerwitz boosted
Free Software Foundation  

Videos from #LibrePlanet 2021 are now live! u.fsf.org/3bn Watch them on our Peertube page at framatube.org/accounts/fsf/ or on GNU MediaGoblin at media.libreplanet.org/.

0
Mike Gerwitz  

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.

issues.guix.gnu.org/47789

Enjoy!

0
Mike Gerwitz  

TLA+ Tools patch series submitted after ~17 hours of work:

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.

1
Mike Gerwitz boosted
Purism  

The Simplicity of Making Librem 5 Apps

"The Librem 5 makes its application development workflow extremely simple."

puri.sm/posts/the-simplicity-o

#librem5 #freedom #apps

1+
Mike Gerwitz  

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.

1
Mike Gerwitz  

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

1
Mike Gerwitz  

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.

0
Mike Gerwitz boosted
Ludovic Courtès  

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

1
Mike Gerwitz boosted
Michel Salim :fedora: :centos:  

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.

#FLOSSconf
#FLOSSevent

1
Mike Gerwitz boosted
Adrian Cochrane  

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!

0
Show more

Mike Gerwitz's choices:

thanksfreesw

29
Mike Gerwitz's Mastodon Instance

Mike Gerwitz's personal Mastodon instance

Resources

Developers

What is Mastodon?

mastodon.mikegerwitz.com

More…