Paul Schaub: Using Pushdown Automata to verify Packet Sequences
As a software developer, most of my work day is spent working practically by coding and hacking away. Recently though I stumbled across an interesting problem which required another, more theoretical approach;

An OpenPGP message contains of a sequence of packets. There are signatures, encrypted data packets and their accompanying encrypted session keys, compressed data and literal data, the latter being the packet … ⌘ Read more

@prologic@twtxt.net what Content-Security-Policy should I have on my web server for salty? the frontend ain’t reacting well to my global config lol

evalerror: refused to create a webassembly object because ‘unsafe-eval’ is not an allowed source of script in the following content security policy directive: “default-src ‘self’”.
<<

@lyse@lyse.isobeef.org Thank you :) always nice to have this view when I go to the office, stand there, vape a bit, enjoy the view and silence before heading in and code all day. :)

8 things you didn’t know you could do with GitHub Copilot
Developers all over the world are using GitHub Copilot to help speed up their development and increase developer productivity. With GitHub Copilot available to developers everywhere, we’ve found some fun and useful examples of how developers can use GitHub Copilot for things you may not be thinking about. ⌘ Read more

[47°09′39″S, 126°43′56″W] Bad satellite signal – switching to analog communication

GoToSocial seems like a promising alternative to Mastodon. It’s written in Go (👍 in my opinion), lightweight and pretty good documented so far. It’s still “alpha software” but seems to make great progress. In the past, I self hosted a microblog.pub instance and then after some time without any Fediverse profile other than my blog, which has ActivityPub support as well, signed up at Fosstodon to be able to reply to blog comments from the Fediverse. I already set up an instace of GTS, but will probably wait to use it … ⌘ Read more

[47°09′33″S, 126°43′52″W] Storm recedes – back to normal work

[47°09′03″S, 126°43′33″W] Automatic systems disengaged due to thunderstorm

Scaling Git’s garbage collection
A tour of recent work to re-engineer Git’s garbage collection process to scale to our largest and most active repositories. ⌘ Read more

Join GitHub at the Grace Hopper Celebration 2022
We’re thrilled to be back at the Grace Hopper Celebration at Open Source Day, the largest celebration of women in open source. Stop by and say hi at one of our workshops. ⌘ Read more

❤️ 🎶: I to You, You to Me by Yoon Do Hyun, Ha Hyun Woo, LEE HONG GI, KIM JUNHYUN

There is one thing we must remember in our lifetime. We weren’t born in this world to suffer or feel miserable. We were born to be happy. 100+ Quotes From “Our Blues” Korean Drama – KORB

Gear-up and unlock the newest GitHub Global Campus features
Calling all students and teachers! With semester change coming soon, now is the time to start using the latest features within GitHub Education and Global Campus! ⌘ Read more

wsl-vpnkit: Internet for WSL2 distros behind a VPN
I’m still alive. 👋 Today, at work, I discovered a nice little tool for WSL2. On my work laptop I need to use Cisco AnyConnect to connect to the corporate network. Unfortunately this blocks Internet access in Windows Subsystem for Linux VMs (at least in the Ubuntu VM, I tried to use for some Docker stuff). I tried a lot of different hacks and workarounds, but none worked. Until I found wsl-vpnkit. It just works. 😄 ⌘ Read more

Maxime Buquet: Versioning
I finally took time to setup a forge and some old drafts turned up. I am
publishing one of them today as is even though it’s 4 years old
(2018-08-07T13:27:43+01:00). I’m not as grumpy as I was at the time but I
still think this applies.

Today I am grumpy at people’s expectation of a free software project, about
versioning and releases. I am mostly concerned about applications rather than
libraries in this article but I am sure some of this would apply to libraries
as well.

Today we were discussing ab … ⌘ Read more

@carsten@yarn.zn80.net I have the same problem, at work I work with c÷÷, c#, java, python and qt. I want to learn more rust, but its a pain to get into.

Arnaud Joset: Updates: chatty server and HTTPAuthentificationOverXMPP
It’s been a long time since I updated this blog. It will be a short update post about two projects.

The first is chatty_server, a small XMPP bot I use to interact with my server. It allows me to get information about the CPU load, traffic, weather etc.
It also has a small feature to get reminder messages. There was a bug that allowed anyone to spam reminders. Anybody can add the bot to their rooster and could create random reminders t … ⌘ Read more

**RT by @mind_booster: Today I published a snap for the #GNUnet Messenger application: https://snapcraft.io/messenger-gtk

Still got some things to improve but now more #Linux users should have the option to try it out.**
Today I published a snap for the #GNUnet Messenger application: snapcraft.io/messenger-gtk

Still got some things to improve but now more #Linux users should have the optio … ⌘ Read more

Monal IM: Monal IM – project moved
We recently started to migrate the App from Anu Pokharel‘s Apple account to Thilo Molitor‘s Apple account.

Aspart of this transition we also deployed some new push servers to not let an old retired developer pay for the infrastructure needed for Monal.

Coming along with this transition from the old developer team to the new one is our new clean website at https://monal-im.org/. From now on, this blog will not be used for Monal anymore.

**Many t … ⌘ Read more

It should be illegal for firealarms to sound a low battery after 10pm and before 8 am.

It should be illegal for firealarms to sound a low battery after 10pm and before 8 am.

Linux, Alternative OS, & Retro Computing News - Sep 10, 2022
Haiku approaches Beta 4, Apple II Desktop updated, GNOME Shell Mobile, Quake ported to Apple Watch, and OpenStreetMap for Amiga. ⌘ Read more

[47°09′13″S, 126°43′34″W] Transponder still failing – switching to analog communication

@eaplmx@twtxt.net thank you for posting his, need to check it out, have not seen this before.

Dino: Stateless File Sharing: Async, Metadata with Thumbnails and some UI

Asynchronous programming is a neat tool, until you work with a foreign project in a foreign language using it.
As a messenger, Dino uses lots of asynchronous code, not always though.
Usually my progress wasn’t interfered by such instances, but sometimes I had to work around it.

Async in Vala

No surprises here.
Functions are annotated with async, and yield expressions that are asyn … ⌘ Read more

RT by @mind_booster: In 2004, my wife came home from the Game Developers Conference with a wild story. A presenter claimed to have a sweatshop on the US/Mexican border where low-waged workers did repetitive tasks in Everquest to amass virtual gold, which was sold on Ebay to lazier, richer players 1/
In 2004, my wife came home from the Game Developers Conference with a wild story. A presenter claimed to have a sweatshop on the US/Mexican border where low-waged workers did repetitive tasks in Everquest to amass v … ⌘ Read more

RT by @mind_booster: The European Parliament has begun its discussions about corporations obligations to protect human rights and prevent environmental destruction in their value chains. Problem: a weak proposal due to pressure from lobby groups. 5 things the EP must fix: href=”https://txt.sour.is/search?q=%23HoldBizAccountable”>#HoldBizAccountable**
The European Parliament has begun its discussions about corporations obligations to protect human rights and prevent environmental destruction in their value chains. Problem: a weak proposal due to pressure from lobb … ⌘ Read more

How to Use the Alpine Docker Official Image
Learn how to Dockerize Alpine for your next application or server with our guide on how to use the Alpine Docker Official Image. ⌘ Read more

@prologic@twtxt.net No, because we develop the best tech for it, with the strictest rules. we also adapt to new stuff, so I feel Im helping every day with making things better and better. But honestly it has crossed my mind at times. But Im here being part of innovation and new technologies, doing my part. :)

@akoizumi@social.kyoko-project.wer.ee What I don’t like is that openbsd is secure and then that means some things are different from like debian. Sometimes the security maens some change or whatever has to be done when on debian nothing additional has to be done.

GitHub Availability Report: August 2022
In August, we experienced one incident resulting in significant impact to Codespaces. We’re still investigating that incident and will include it in next month’s report. This report also sheds light into an incident that impacted Codespaces in July. ⌘ Read more

Research: quantifying GitHub Copilot’s impact on developer productivity and happiness
When the GitHub Copilot Technical Preview launched just over one year ago, we wanted to know one thing: Is this tool helping developers? Our research, using a combination of surveys and experiments, led us to expected and unexpected answers. ⌘ Read more

R to @mind_booster: You can see what other #SFD2022 celebrations are being planned around the world here: https://wiki.softwarefreedomday.org/2022
You can see what other #SFD2022 celebrations are being planned around the world here: wiki.softwarefreedomday.org/… ⌘ Read more

**Every year, on the 3rd Saturday of September the “Software Freedom Day” is celebrated.

In 🇵🇹 Portugal @ANSOL is going to celebrate with a #SoftwareFreedomDay in Oporto:

https://ansol.org/eventos/2022-09-17-software-freedom-day/**
Every year, on the 3rd Saturday of September the “Software Freedom Day” is celebrated.

In 🇵🇹 Portugal @ANSOL is going to celebrate with a #SoftwareFreedomDay in Oporto:

[ansol.org/eventos/202 … ⌘ Read more

[47°09′03″S, 126°43′58″W] Working impossible due to blizzard

Breaking: Linux company SUSE sold to Taco Bell
SUSE had previously been owned by Micro Focus, Novell, Attachmate, EQT, and Phil Collins. ⌘ Read more

Things You Should Not Do
⌘ Read more

The XMPP Standards Foundation: The XMPP Newsletter August 2022
Welcome to the XMPP Newsletter, great to have you here again! This issue covers the month of August 2022.

Like this newsletter, many projects and their efforts in the XMPP community are a result of people’s voluntary work. If you are happy with the services and software you may be using, especially throughout the current situation, please consider saying thanks or help these projects! Interested in supporting the Newsletter team? Read more at the … ⌘ Read more

In Case You Missed It: Docker Community All-Hands
Get highlights the 6th Docker Community All-Hands, including the latest releases, best practices, and links to all of the talks on YouTube. ⌘ Read more

Contributing to open source at GitHub
A software engineer’s personal journey to becoming an open source contributor. ⌘ Read more

[47°09′05″S, 126°43′45″W] Bad satellite signal – switching to analog communication

Every man is a king so long as he has someone to look down on “Every man is a king so long as he has someone to look down on”*… | (Roughly) Daily

@prologic@twtxt.net Yeah its never going to change but its an option to use UTC

[47°09′05″S, 126°43′31″W] Transponder still failing – switching to analog communication

@prologic@twtxt.net That is confusing and no one will understand how to use it. But I did not even know UTC means Coordinated Universal Time. We need to make a revolution to get rid of timezones on the internet and just use UTC

Artemis Quote
⌘ Read more

PEP 698: Override Decorator for Static Typing
This PEP proposes adding an @override decorator to the Python type system. This will allow type checkers to prevent a class of bugs that occur when a base class changes methods that are inherited by derived classes. ⌘ Read more

[47°09′51″S, 126°43′42″W] Storm recedes – back to normal work

[47°09′49″S, 126°43′21″W] Automatic systems disengaged due to blizzard

@mckinley@twtxt.net We need to make something like computer time or something like that so people using a computer can say like lets have a chat thursday at 7:00 and no timezone things.

Linux, Alternative OS, & Retro Computing News - Sep 3, 2022
Thunderbird fork to improve quality, convert Arch to AppImage, & Serenity OS tackles… Emoji? ⌘ Read more

@ocdtrekkie@twtxt.net That is cool that there is no tpic. Its not like people on these open platforms have to use linux or some free and open os. Anyone can use whatever they want to. Yarn is just a web ui for twtxt and the os does not matter. I can’t say on for long time at midnight and I left before you started.

Now that I have access to Udemy Business and can watch many, many courses for free, I subscribed to two courses. One to improve my English and one to improve my quick-wittedness. Let’s see if I complete them and if they really help. ⌘ Read more

@ocdtrekkie@twtxt.net I could not join because the chat was at 12:30 or 1:00 am for me. Well if I do end up joining sometime I don’t use windows and have not used windows in months. Don’t have anything to say about windows 11 because I never used it and have not used windows in a few months or more.

@movq@www.uninformativ.de Did you time travel into the future to post those? Anyway that is weird and if the system clock is fine then the posts should more be in the future.

Kaidan: Encrypted Audio and Video Calls

Image

Kaidan will receive a grant by NLnet for adding encrypted audio and video calls.

The calls will be end-to-end encrypted and authenticated via OMEMO.
Furthermore, Kaidan will support small group calls.
We strive for interoperability between Kaidan and other XMPP apps supporting calls.
In order to achie … ⌘ Read more

started my day by going to the dogpark. had a really nice time. now it’s time to telax and enjoy the weekend.

@jason@jasonsanta.xyz / @movq@www.uninformativ.de Help me debug something I just observed here… @jason@jasonsanta.xyz posted a Twt (https://twtxt.net/twt/4cgtisa) with raw line of (from his feed):

2022-09-03T03:40:19Z	(#ohihfkq) @<maya https://maya.land/assets/twtxt.txt> you got starlink?

Basically replying to “something” that hashed to #ohihfkq

However #ohihfkq appears nowhere that I can find. I know this can sometimes happen due to edits, or deletes, so just curious to see what happened here. Also @jason@jasonsanta.xyz, @maya@maya.land as far as many of us that have been using Twtxt/Yarn over the years have come to understand that she is basically a 1-way poster, posts to Mastodon and mirrors her posts to a Twtxt feed, but never responds to anyone or anything 😅 Just FYI 🤗

@prologic@twtxt.net I guess as long as jenny just links to the post.

@prologic@twtxt.net I think those are fine because its just sharing someone elses post to people who follow you. Those people who follow you might not follow the orginal person and in return might never see that post unless its retoos/retweets. The thing that is harmful is likes.

Release Radar · August 2022 Edition
We’ve been gearing up to launch GitHub Universe 2022 and our community has been launching cool projects left right and center.  These projects include everything from world-changing technology to developer tooling, and weekend hobbies. Here are some of the open source projects that released major version updates this August. Read more about these projects in […] ⌘ Read more

@prologic@twtxt.net Its a way to make another conversation in a thread of posts?

Installing NixOS on my spare laptop today. It’s a fun OS to work with. Has its quirks, but I enjoy messing around with it and set things up the way I want it. :)

@prologic@twtxt.net I think now I know what forked threads are and figured out how to use them but i don’t really know

How to Colorize Black & White Pictures With OpenVINO™ on Ubuntu Containers
Ever wanted to learn how to colorize monochrome pictures? You can use OpenVINO on Ubuntu containers to do just that! Learn more from our friends over at Ubuntu. ⌘ Read more

@prologic@twtxt.net In jenny there is the option to reply to forked threads

First Internet Interaction
⌘ Read more

Integrated Terminal for Running Containers, Extended Integration with Containerd, and More in Docker Desktop 4.12
Docker Desktop 4.12 is now live! This release brings some key quality-of-life improvements to the Docker Dashboard. We’ve also made some changes to our container image management and added it as an experimental feature. Finally, we’ve made it easier to find useful Extensions. Let’s dive in. Execute commands in a runn … ⌘ Read more

The Docker-Sponsored Open Source Program has a new look!
Learn about the latest updates to the Docker-Sponsored Open Source Program. This announcement covers the new benefits being added and what’s staying the same! ⌘ Read more

Extending Docker’s Integration with containerd
Discover the containerd integration with Docker, what this means for current users, and future roadmap items to anticipate! ⌘ Read more

@prologic@twtxt.net Yeah I don’t know how I am going to know if someone wants to talk with me but I guess for now twtxt works.

@prologic@twtxt.net Yeah I am not one of these people who just have a twtxt file and end up posting a few things but not interacting with anyone. I do want to interact with the people of twtxt and yarn users. And not just twtxt users but I do care somewhat about the yarn users because really yarn is twtxt but with additions to make the experience better and a webui and the such like multi users. On top of that yarn and the twtxt clients add things like threads that are even helpful for twtxt users.

Git’s database internals IV: distributed synchronization
We’re examining Git’s internals to help make your engineering system more efficient. This post views Git as a distributed database and looks into its synchronization techniques, specifically ‘git fetch’ and ‘git push’. ⌘ Read more

@prologic@twtxt.net I don’t know how to code in go or anything really. Not even really know how to do html and css only basic things.

Why can’t I sleep when I’m excited? And why am I not excited during the day, but then my thoughts are circling at night? Well at least I slept well yesterday. Maybe that helps to get through the day somehow after only 3 or 4 hours of sleep. ⌘ Read more

@prologic@twtxt.net I don’t know any other way to host my file at my domain unless I make a sub domain. I am going to ask codeberg if they offer access of logs.

@prologic@twtxt.net First I would have to be able to get to my logs and I don’t think i can

almost have getwtxt-ng in a usable state! finally got around to working on it.

@akoizumi@social.kyoko-project.wer.ee We were talking about having links on the yarn.social page for some guide on how to setup jenny + mutt

The thing is I don’t know how to search the web logs on Codeberg or even if they are public. That is the issue with just regular text files. The thing with having the follower list in the twtxt file is that then it knows to track friends of friends like with yarn.
If not having www is an issue when I will add it in. Good to know its something I have to change

@movq@uninformativ.de Do you know how I would find people that reply to my posts or replies or even mention my users? Prologic tried to contact me and unless I found him on the yarn pod then I would not know he exists and wants to talk to me. The user agents would work but I don’t know if I can view my web server logs from codeberg pages and I don’t know how to monitor my logs for mentions. What about the way yarn does it by added people you follow to your twtxt file and having friends of friends like yarn does it be a thing for jenny. Just an idea

@prologic@twtxt.net That is why yarn is better then something like activity pub. Everything over on activity pub tries to work with Mastodon not because its better but because its the most popular. Twtxt clients on the other hand tries to work with the yarn additions because most of the additions improve things even for twtxt users.

@prologic@twtxt.net There is also a link to the blog post on the yarn.social site about how to setup jenny with mutt.

@prologic@twtxt.net I have added that to my twtxt file. Even if I can’t see the metadata the people from yarn can. Not a big deal to add the metadata and it helps yarn users

@prologic@twtxt.net I never tried out any of the other clients except jenny with mutt. The best thing about yarn vs something like Mastodon is that its more promoted of the specification of twtxt files instead of server part. Twtxt can be hosted on some free static site host or some git server even so its really low resouces. Just a basic text file. As far as I know yarn is mostly just a web ui around twtxt and an extnetion to the specification to add some more usability and modern things. Anyone can join decentrilized network by having a twtxt file somewhere. If you want to support the specification of twtxt then that is really something most projects don’t do and they promote the server software mostly.

What you can expect at GitHub Universe 2022: cloud, security, community, and AI
Register now to attend GitHub Universe virtually or in-person at the Yerba Buena Center for the Arts in San Francisco on November 9-10. ⌘ Read more

Ignite Realtime Blog: Openfire ThreadDump plugin 1.1.0 released
Earlier today, we have released version 1.1.0 of the Openfire Thread Dump plugin. This plugin uses various evaluators to trigger the creation of a Java thread dump. These thread dumps provide valuable information that is typically used when analyzing issues within Openfire’s implementation.

In the new version of the plugin, two new evaluators have been added: one that looks at the usage pattern of Openfire’s TaskEngin … ⌘ Read more

Git’s Database Internals III: File History Queries
Git’s file history queries use specialized algorithms that are tailored to common developer behavior. Level up your history spelunking skills by learning how different history modes behave and which ones to use when you need them. ⌘ Read more

How to Build and Run Next.js Applications with Docker, Compose, & NGINX
At DockerCon 2022, Kathleen Juell, a Full Stack Engineer at Sourcegraph, shared some tips for combining Next.js, Docker, and NGINX to serve static content. With nearly 400 million active websites today, efficient content delivery is key to attracting new web application users. In some cases, using Next.js can boost deployment efficiency, accelerate time to market, […] ⌘ Read more

@movq@uninformativ.de There might not even be any benefit to moving that to yarn.social. Besides the yarn site should promote using yarn not twtxt even though there is a little bit of information on the site.

@prologic@twtxt.net I don’t think Jenny does much of anything with the avatar and description but I do know yarn does and its not a bad thing to include the metadata for those users.

@prologic@twtxt.net Yeah I don’t even know how to use them once I added myself to the registries. The jarn search engine is similar to the registries thing but its easier to search and find things from. Also I assume its easier to use it in the yarn pods and whatever elese to get new posts. I would always like to see yarn work with regular twtxt because there is advantges to plain twtxt.

Kaidan: Kaidan’s End-to-End Encryption Trust Management
We worked several months on Kaidan’s upcoming end-to-end encryption and trust management.
Once Kaidan 0.9 is released, it will provide the latest OMEMO Encryption.
But it will also make trust decisions in the background for you if it’s possible.
Some trust decisions have to be made manually but there are many others Kaidan automates without decreasing your security.
That is done by automatically sharing … ⌘ Read more

@prologic@twtxt.net I do think the post about how to setup jenny + mutt over on the uninformativ.de blog is still a great post. I used that post to see the steps to set it up and it works fine. Though I can write some blog post with some more documentation for things like auto publishing. The big issue with plain twtxt is that I would have not seen your post unless I looked on twtxt.net when I was looking at yarn a little bit more. Twtxt does overcome the issue by introducing the registry but I can’t figure out any way to use them for Jenny and almost no one uses them in the first place. So I can’t see anyones replies or mentions unless I am following them. Yarn does overcome the issue by friends of friends as you would know as the creator of yarn.

Breaking: Linus steps down, Oscar named new Linux maintainer.
“When a grouch gets asked, by the king of grouch himself, to yell at people on a mailing list? You say yes!” ⌘ Read more

Universe Price Tiers
⌘ Read more

last test and if this does not work then I just have to run the git commands myself then

test again to see if it works

got jenny setup and threads works completly fine but now I want to figure out how to get auto publishing working

@akoizumi@social.kyoko-project.wer.ee cool to see that you fixed the css