Formal methods and TLA+ are a common way of writing verifiable software.

• https://lamport.azurewebsites.net/tla/tla.html
• https://www.hillelwayne.com/post/learntla/
• https://lamport.azurewebsites.net/tla/practical-tla.html

Hm. Got tagged on a spam post that just says “hi”.

https://codeberg.org/austedan/thisisatest1/issues/45

Ah, I didn’t know you could @moderation in the conversation.

I’ve been using Vim for over 10 years. The first few years I used it badly. Later I took time to really learn it. Now I can use it fairly decently, but I still learn new things every now and then.

It feels like a really good investment. It’s been around forever, it’s gonna be around forever, it’s installed on almost all computers, and you’re going to be forced to use it at some point or another.

I really enjoy being able to go to any computer and starting up a familiar editor, without installing or configuring stuff. I also use a very vanilla Vim. If a coworker’s laptop or some server has a different Vim config than mine, I can usually do vim -u NONE to get back to a familiar place.

Well, that was disappointing. I guess that explains why he deleted his Mastadon account recently.

Forgejo

I believe https://codeberg.org/ is a hosted Forgejo instance. It has a more familiar UI, similar to GitHub.

Although, they have restrictions on the types of projects they’re willing to host.

Create a new repo locally.

git init
git add .
git commit -m "Initial commit"

Then to create a new remote repo, you can do this.

git remote add origin git@git.sr.ht:~user/my-new-repo
git push origin main

You’ll get a message that says.

remote: 
remote:         NOTICE
remote: 
remote:         You have pushed to a repository which did not exist. ~user/my-new-repo
remote:         has been created automatically. You can re-configure or delete this
remote:         repository at the following URL:
remote: 
remote:         https://git.sr.ht/~user/my-new-repo/settings/info

I have friends and family who work in schools. They’ve all had to put out statements saying they won’t cooperate with immigration to the extent they can.