soundhunte.rs is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.
This server runs the snac software and there is no automatic sign-up process.
Ok! Initial build script for writerdeckOS v2.0 is done.
I even coded a menu to allow for easy change of default word processor / text editor.
The Terminal Edition defaults to using wordgrinder, but the follow word processors and text editors are loaded into the system and its easy to swap over to them:
- WordGrinder
- Tilde
- Word Perfect
- Joe
- Emacs
- Vi / Vim
- Nano
- Micro
And it's easy to install and run a custom app (text editor or otherwise!).
Also, I added nmtui - a Terminal User Interface for Network Manager to connect to the internet if needed (eg to install a new app or to configure synced cloud folders).
I need to run a couple more QA tests for this and then I'll start putting together the installation media. After testing that on a couple of laptops, I'll push it out officially!
Early explorations toward #permacomputing from the theorem proving research crowd!
https://khoury.northeastern.edu/~cmartens/papers/plateau26-itfp.pdf
https://khoury.northeastern.edu/~cmartens/talks/plateau-itfp-talk-slides.pdf
Working on the next version of writerdeckOS (finally!) which replaces the default word processor of Tilde with Wordgrinder.
That said, in case someone wants to use a different word processor, I'm prepackaging it with several command line word processors and text editors such as tilde, wordgrinder, vi, vim, nano, emacs, joe, and....
Word Perfect!!!
Hahaha! Tavis Ormandy released a ported version of Word Perfect for Linux a handful of years ago.
So here's me running Word Perfect in Linux!
Word Perfect for Linux: https://github.com/taviso/wpunix/
After the first Linux Install Party went so well, we're going to start doing this on a more regular basis - we're shooting for every two months currently.
Date: Saturday, March 21st 2026
Time: 1:00pm to 5:30pm
Location: Howell Library Branch
Address: 806 Lyons Boulevard, Fredericksburg VA 22406
More Info: https://fxbginstall.party/
Fees and Cost: Totally free. This is a library event. We have a couple librarians and a lot of volunteers. No subscriptions. No paid licenses. No tips or donations.
We're offering free installations of Linux Mint Operating System onto any laptop or computer! We're also there to help troubleshoot or offer guidance for previously installed Linux systems.
Long and short, if you:
- Want to use a modern, secure, private, and user friendly operating system that works with almost every laptop and computer made.
- No longer want to pay Microsoft for a license to use their software.
- No longer want to worry about AI and invasive monitoring of your PC.
- Have a perfectly good laptop or computer that you just want to keep using.
- Don't want to have to deal with new updates making your laptop no longer usable.
- Have an older laptop that you want get running again.
Join us at the Linux Install Party!
----------
Note: The installation will erase your harddrive and install a clean "factory" installation of Linux onto your computer. Please make backups of any photos or files before bringing your laptop to the party.
Further Note: While we are experts and have a lot of experience doing this, because of the variety of computers out there and the number of variables that exist, the installation may fail. We will do our best and due diligence to get it working. While we expect all installations to succeed, some may not and the attempt may break your laptop. You'll sign a waiver and release form before the installation process. Please participate at your own discretion.
#solarPunk #linux #permaComputing #linuxInstallParty #mutualAid
See: https://anarchicharmony.org/People/Culver/CagePrograms.html
(On the contrary, when I think about reviving my school projects from around 7–10 years ago—node.js and all that—my head hurts.)
The Library Futures event was insanely cool, folks came from all over, the room was packed with conversation about repair, ways to fight back digital obsolescence, Altairs 8800(?). It sure feels like the start of a #permacomputing hub in Victoria. Thanks to everyone who turned up!

EVERYTHING’S GOING TO BE OK
Implementing a tiny virtual machine, assembler, and compiler
The thesis of Tre O’Neal
https://digitalcommons.ncf.edu/cgi/viewcontent.cgi?article=7765&context=theses_etds
Wenn ihr denkt, dass #permaculture nur was für Gärtnys ist, dann habt ihr euch getäuscht.
Hier kommt nämlich jetzt das #permacomputing
In classical logic, bindings are inexhaustible, if a formula proves something from x, you can use x ten times, or zero times, it doesn’t matter. But programming doesn’t work like that, resources do matter. I don't say this to mean that copying a register is costing cycles, but that semantically speaking, closing a file or freeing memory should consume the access to that resource.
In catlangs, bindings are fuel, if you want two copies, you must duplicate. It becomes an operation, not a ambient assumption. Jean-Yves Girard wrote extensively about this, and his insight was that this linear logic was closer to reality, it makes logic reflect process. In other words, traditional logic is static and he wanted a logic of change.
I see #Forth thrown left and right around #permacomputing circles on vague notions of efficiency and human-scaleness, but I think what lies beneath these intuitions is that classical logic assumes infinite copyability. Which is unrealistic for memory, energy and just about any physical system. Linear logic, which is found at the heart of stack machines, says that duplication is not free, erasure is not free, both must be explicit. This conservation law aligns logic with a finite natural world.
Programming languages typically hide duplication and lifetimes, or tack helpers on top as an afterthought. Values duplicate freely, things exist everywhere at once, names abstract away placement, this may activate one's linguistic thought process but keep the spatial system asleep. My experience with catlang has had less to do with fussing with names and symbols and more to do with something like weaving. On this loom, things don't have names but occupy spaces in a braid over time. If I had to guess, I'd say that probably triggers the same geometrically thinking part of the brain that tracks physical objects.
And that's the unique bit about catlangs!
So how many of us #permacomputing practitioneers had anticipated that a global AI grift would be cause of the storage and ram shortages -- not supply hain deterioration and econonmic regression/degrowth?