Bonum Certa Men Certa

Links 25/02/2023: TUXEDO OS 2 and Ambient 0.1



  • GNU/Linux

    • Audiocasts/Shows

    • Kernel Space

      • LWNLinux 6.2.1

        I'm announcing the release of the 6.2.1 kernel.

        All users of the 6.2 kernel series must upgrade.

        The updated 6.2.y git tree can be found at: git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git linux-6.2.y and can be browsed at the normal kernel.org git web browser: https://git.kernel.org/?p=linux/kernel/git/stable/linux-s...

        thanks,

        greg k-h

      • LWNLinux 6.1.14
      • LWNLinux 5.15.96
      • LWNLinux 5.10.170
      • LWNLinux 5.4.233
      • LWNLinux 4.19.274
      • LWNLinux 4.14.307
    • Instructionals/Technical

      • FOSS PostEnable Zram on Linux For Better System Performance

        zRAM is a Linux kernel module that allows the creation of Swap devices on memory.

      • ID RootHow To Install Pale Moon Browser on Debian 11

        In this tutorial, we will show you how to install Pale Moon Browser on Debian 11.

      • ID RootHow To Install Microsoft Fonts on Ubuntu 22.04 LTS

        In this tutorial, we will show you how to install Microsoft Fonts on Ubuntu 22.04 LTS.

      • H2S MediaInstall GitHub Desktop App on Ubuntu 22.04 or 20.04 Linux [Ed: GitHub is proprietary and Microsoft's attack on Git, as well as millions of other projects. Don't use it, shun it.]

        GitHub Desktop is a free and open-source graphical user interface (GUI) to run on Windows or macOS for Git version control.

      • H2S MediaGet BlueMail Client installed on Ubuntu 22.04 LTS Linux

        Have you ever wished you could check your email directly from the Desktop interface of your Linux but without opening the browser?

      • HowTo ForgeLinux Basics - Set a Static IP on Ubuntu

        Set a static IP on Ubuntu. All Ubuntu versions, from Ubuntu 22.04, and Ubuntu 20.04 down to Ubuntu 12.04, are covered in this tutorial. The guide explains setting a static IP on an Ubuntu system from the command line. It covers the network configuration for all recent Ubuntu versions and includes instructions to configure a static IP address, set the hostname, and configure name resolving.

      • HowTo ForgeInstalling and using Git and GitHub on Ubuntu Linux: A beginner's guide

        This tutorial is a quick setup guide for installing and using GitHub and how to perform its various functions of creating a repository locally, connecting this repo to the remote host that contains your project (where everyone can see), committing the changes and finally pushing all the content in the local system to GitHub.

      • HowTo ForgeHow to Install Ansible AWX on Debian 11

        Ansible AWX is a free and open-source web application sponsored by Red Hat that allows you to manage Ansible playbooks and inventories. This tutorial will show you how to install Ansible AWX on Debian 11.

      • HowTo ForgeHow to Check Disk Space on Ubuntu 22.04

        Tracking disk usage information is a day-to-day task of any system administrator. Linux has some built-in utilities that help you find the disk space of your system. In this post, we will show you how to check disk space on Linux using multiple ways.

      • HowTo ForgeHow to Install Jira Agile Project Management Tool on Ubuntu 22.04

        JIRA is a commercial software application developed by Atlassian for issue tracking and project management. This tutorial will show you how to install the JIRA project management tool on Ubuntu 22.04 server.

      • HowTo ForgeHow to Install Apache Maven on Ubuntu 22.04

        Maven is a free, open-source, popular build tool developed by the Apache Group. It is used to build, publish, and deploy several projects simultaneously for better performance.

      • HowTo ForgeHow to Install Nagios Monitoring Tool on Ubuntu 22.04

        Nagios is a powerful free, open-source monitoring tool used for monitoring Linux and Windows servers and networks and infrastructure. With Nagios, you can monitor CPU usage, disk usage, and several services including HTTP, SSH, FTP, SMTP, and more.

      • HowTo ForgeHow to Install Passbolt Password Manager on Ubuntu 22.04

        Passbolt is a free and open-source password manager based on PHP, MySQL, and OpenPGP. It is a self-hosted application server, you can install it on your server. Passbolt is primarily designed for teams, but you can still use it as a personal password manager.

      • HowTo ForgeHow To Install Angular on Ubuntu 22.04

        Angular.js is a free and open-source JavaScript framework used for building dynamic applications. This tutorial will show you how to install Angular.js with Nginx as a reverse proxy on Ubuntu 22.04.

      • ID RootHow To Install ExifTool on Rocky Linux 9

        In this tutorial, we will show you how to install ExifTool on Rocky Linux 9. For those of you who didn’t know, ExifTool is a powerful command-line utility for reading, writing, and manipulating metadata...

      • ID RootHow To Install Foreman on Ubuntu 22.04 LTS

        In this tutorial, we will show you how to install Foreman on Ubuntu 22.04 LTS.

      • TecAdminGetting started with Nano

        Nano is a popular open-source command-line text editor that has been in development since 1999. It is designed to be simple and user-friendly, making it an ideal choice for users who are new to the world of Linux or command-line interfaces.

      • TecAdminCustomizing nano with nanorc file

        Nano is a lightweight and user-friendly text editor that is widely used by programmers, system administrators, and other Linux users. One of the great features of Nano is its ability to be customized with the ~/.nanorc and /etc/nanorc files.

      • TecAdminHow to Copy and Paste in Nano

        Nano is a powerful text editor that is widely used on Unix-like operating systems, including Linux. Whether you are a developer, system administrator, or just a regular user, you may need to copy and paste text in Nano. In this article, we will show you how to copy and paste in Nano.

      • TecAdminHow to Kill Running Process by ID in MySQL

        MySQL is a popular open-source relational database management system used by millions of developers worldwide. While it is essential to monitor running processes in MySQL, it is also important to terminate any processes that are no longer needed.

      • The New StackDeploy a Persistent Kubernetes Application with Portainer

        I've been quite vocal over the past year as to how much I depend on Portainer as my container management...

      • UNIX CopMonitor the bandwidth in the terminal with bmon

        There are many tools to monitor systems, but occasionally, they can be overwhelming because of the number of options they have and if you are looking for a specific one, then you should find a good and simple one. For example, today, you will learn how to use bmon to Monitor the bandwidth.

      • How to move a Volume Group from one system to another

        There are situations where we would be required to move a whole volume group from one system to another system for some requirement.

    • Games

      • Mike Blumenkrantz: Monumental
        [AIRPLANE NOISES]

        It finally happened.

        Zink has been commercialized.

        What does this mean, you ask? Well, look no further than this juicy X-Plane announcement.

        That’s right, after months and decades of waiting, the testing and debugging is over, and Zink is now a gaming driver that runs real games in production for real, existing people. Who play games. At full speed.

    • Desktop Environments/WMs

      • GNOME Desktop/GTK

        • GNOMEAlexander Mikhaylenko: Introducing Elastic

          Elastic is a new spring animation editor app.

          Ever since 1.0, libadwaita has had spring animations. These animations aren’t controlled with a duration and an easing function, but instead with physical properties: damping ratio (or optionally damping), mass, stiffness and initial velocity, as well as epsilon. While this allows for a lot of control over the animation, it can be pretty hard to understand if you’re not familiar with physics involved, and to be truly useful it needs an editor.

          So, Elastic is that editor. It provides a way to tweak each parameter, explains what they do, allows to preview the animation in various ways, and generates the code to create that animation.

        • This Week in GNOMEFelix Häcker: #84 Polished Circle

          Update on what happened across the GNOME project in the week from February 17 to February 24.

  • Distributions and Operating Systems

    • Barry KaulerSome little tweaks before releasing easyOS 5.0

      Committed some fixes:

      https://github.com/bkauler/woofq/commit/b9ab70b84e342c1a8ea5e3ec28bdec4e859dd442

      After discussion with Caramel about exporting keyboard layout to work with the Xephyr server in a container:

      https://forum.puppylinux.com/viewtopic.php?p=82436#p82436

      I committed a fix, well, hopefully a fix. See file 'ec-chroot'.

      Feodor was experimenting changing the locale via QuickSetup. He changed from German to French, restarted X, all good. Then he changed to English and found some files were still in French. That has also been fixed, see file 'quicksetup'.

    • Barry KaulerGlobal IP TV Panel updated

      ETP has updated TV Panel to version 2023MK1, see forum post:

      https://forum.puppylinux.com/viewtopic.php?t=689

      I have updated the PET in the EasyOS noarch repository. Added some translations to the 'tvpanel.desktop' file:

    • LinuxiacTUXEDO OS 2 Ships with Kernel 6.1 and the Latest Plasma 5.27

      Founded in Germany in 2004, Tuxedo Computers is a company that specializes in selling laptops and desktop computers preinstalled with Linux operating systems.

      Users can choose between Ubuntu and some of its flavors for the operating system or the in-house developed TUXEDO OS, with the latter being the company’s recommended choice.

      Following the announcement of the first release of its in-house operating system TUXEDO OS in early October 2022, the company has now come out with its sequel, TUXEDO OS 2. So let’s see what has changed.

    • 9to5LinuxTUXEDO OS 2 Launches with KDE Plasma 5.27 LTS and Linux Kernel 6.1 LTS

      It’s been almost five months since the launch of TUXEDO OS to the general public and now TUXEDO OS 2 is here built on top of the latest KDE Plasma 5.27 LTS desktop environment series and it’s powered by the long-term supported Linux 6.1 LTS kernel series./p>

      The KDE Plasma desktop environment included in this release was backported from the KDE neon distribution and it’s accompanied by the latest KDE Frameworks 5.103 and KDE Gear 22.12.2 software suites, all built against Qt 5.15.8 LTS.

  • Free, Libre, and Open Source Software

    • Self hosting in 2023

      The blog that you are currently reading has a perfect PageSpeed score 100 / 100. At least at the moment of writing it 😄. It’s not a brag, quite the opposite. Turns out it’s not that hard to achieve it. Just host a static page with simple styles, and you’re done. Building a static page itself is quite simple. You plop an index.html and send it through a wire. You can get more sophisticated and generate it using a framework, like I’m doing with Astro. But that’s not the point of this post.

      The point is the hosting part of hosting a static page. And this page is hosted on my Raspberry Pi 4b at my house. Still doing great in terms of speed, costing close to nothing, and having endless possibilities for extending for free. In this blog post I’ll share with you how easy it was to set up. And how great of a dev experience I think it provides.

    • MediumMark Mayo: Why I’m all-in on the fediverse

      TL;DR: I’ve gone from skeptic to fan of Mastodon and the fediverse. To that end, I’ve been part of a small team that’s releasing a new iOS app today: Mammoth, a beautiful Mastodon app for the rest of us. It’s free, it’s high quality, we’re doing some novel things to make the whole experience more friendly and fun for new users, and it’s also a deeply customizable app we think anyone will love. I hope you like it.€ 

      We’ve already had a lot of amazing supporters who believe in the potential of the Fediverse and have been helping us start on our journey. A special mention goes to Mozilla who not only contributed financially but also with expertise and guidance. 🙏🙏

      The story so€ far.

      It was back in October, on a rainy weekend, and my daughter and I ended up watching Kris Nova’s Twitch stream as she and her band of merry ops peeps were hacking on the backend infrastructure for a Mastodon site called hachyderm.io. Curious name, we thought! More importantly, we were inspired by watching cool people working on something they loved, building something that mattered to them. A node on new kind of decentralized, community-at-the-core, network-of-social-networks. We created accounts and started exploring.

    • How The Post is replacing Mapbox with open source solutions - Kevin Schaul
    • GNU Projects

      • GNU Health: Fundación La Vicuña joins GNU Health

        On Thursday, Feb 23rd, 2023, GNU Solidario and the Spanish NGO Fundación La Vicuña ORL have signed a cooperation agreement to promote and implement the Health and Hospital Management component from GNUHealth in those areas and institutions where Fundación La Vicuña has activities, mainly Spain and countries in Africa.

        Fundación La Vicuña is a non-profit organization founded 15 years ago by a group of physicians, mostly ear, nose and throat specialists in Cadiz, Spain.

        GNU Solidario and Fundacion La Vicuña share the goal of improving the lives of the underprivileged, through Social Medicine and universal access to healthcare. GNU Health will be a very valuable tool to assess the socioeconomic determinants of health and to minimize the impact in the vulnerable population, both in Spain and in the African continent. GNU Health will improve the management of health institutions and the daily medical practice where Fundación La Vicuña has missions. Patient evaluations, medical records, prescriptions, laboratory, surgeries and inpatient/hospitalization will be some of the areas that will benefit from GNU Health HMIS.

        Casimiro García, president and founder of Fundación La Vicuña and Luis Falcón, founder and president of GNU Solidario, formalized the cooperation agreement this Thursday. In the coming weeks, GNU Solidario will train the team from Fnd. La Vicuña in the use of GNUHealth, and a development environment will be rolled out.

    • Programming/Development

      • The age of cargo cult Agile must end.

        I found the article to be filled with misconceptions but given enough people have somehow found it insightful, I thought it might be worth writing a response.

        At first, I thought “The age of Agile must end” was an example of the cargo cult reinvention cycle but looking more closely, it seems like it’s both a cargo cult understanding of Agile AND arguing for something that is not aligned with Agile. I don’t necessarily think this was an intentional straw man argument though.

      • Stop Obsessing Over Development Velocity, Focus on This Instead - Itamar Gilad

        An awful lot of effort is going these days into boosting product teams’ productivity: getting them to burn those story points faster, deliver the planned scope in every sprint and cycle, and generally ship more stuff, faster. The term “development velocity” is often thrown around by executives, but what they’re actually aiming for is upping launch throughput—apparently a matter of vital importance for the success of the company.

        I’m here to argue that development velocity (whatever that means) and launch throughput are entirely the wrong optimizations. Obsessing over these things will distract you from what’s really important and is likely to do more harm than good.

      • Scaling Extreme Programming: Dependencies - by Kent Beck

        (This will be the first in a series of posts about XP. I’m publishing them here because the overlap with Tidy First? readers seems substantial & the subscriber list is long. Please lmk if you’d rather I had channel/topic.)

        [...]

        Reversibility unclogs complexity for Whole Teams of 15 or so. It’s hard work, but okay. However, I never developed a story about scaling XP to organizations of hundreds or thousands of people. (Much more about this in followup posts.)

        Reversibility can go a long way even in large organizations. However, reversibility isn’t the whole story. Inter-connection, which is addressable in a world of direct human relationships among 15 people, becomes a more disruptive factor & difficult to address among a thousand.

      • Brian Hicksadvice you might as well take

        I've read some nice articles recently which I can sum up as “advice you might as well take.” This is stuff that's good to consider at the beginning of a project, or when you're about to add a feature to some existing software.

        These articles run counter to YAGNI (You Ain't Gonna Need It), the software design principle that says you should only ever add things you'll be using right away. Many even call this out in their titles! One even addresses this by coining an alternative term, PAGNI (Probably Are Gonna Need It), so let's start with that one:

      • DevLife #5: Microservice Hell - by Daniel Dersch

        Every single one of these micros likely has to interact with the user and tenant management service. Every request will need to be authenticated and authorized. The caller context has to be verified as it flows through every service. Each service will have to figure out how to ship their data to the Search micro. The various business logic services likely have dependencies on each other to avoid duplicated effort.

        In general, these pains are worth it. More micros means a smaller blast radius if a single micro is breached, more fault tolerance in case one of the micros becomes unavailable (unless it’s auth or user management), better resource utilization for heavily used services (like auth) and rarely used micros.

      • Insignificant

        Ever struggle with publishing that blog post or open source idea you have sitting around? But it feels too small? Too insignificant?

        It was almost 7 years ago, when the internet broke because a developer deleted their entire open source catalog from npm. The developer was upset because npm, a repository of open source projects, had sided with a lawyer in a trademark dispute. But some foundational projects, like Babel depended on that developer’s work. So when those dependencies vanished, foundational projects couldn't be built anymore, and new versions of your web site or app all came crashing down.

        Many of us kept focusing on the question: should I depend on so many open source modules for the thing I'm building?

        But what I think is more interesting is what this story teaches us about creativity.

      • Jim NielsenFaux Progress

        For non-technical folks, the worst part is you don’t even know the spinner is fake! You likely interpret it as a legitimate representation of live feedback.

        I remember when I first started as a designer, I naively created a progress bar for some UI thinking, “We’ll indicate progress as this thing happens!”

        I was quickly informed that an accurate representation of progress was incredibly complex and not in the cards for our feature (’twas then I was introduced to the idea of polling).

        Since then, posts like Eric’s constantly remind me of the faux authenticity of so many of our digital experiences. I have no doubt progress bars and loading indicators are vastly misinterpreted by non-technical folks as feedback mechanisms which communicate the live, accurate progress of known-quantity computing tasks.

      • Testing packages with Lit in Gentoo

        The file lit.site.cfg has to be inspected for any incorrect calls to executables. For example see src_prepare function form dev-lang/boogie.

      • React Is Holding Me Hostage

        It feels like this article would have been sacrilege only a few years ago. Under protection of this new found trendiness in React displeasure, I’d like to finally say my piece.

      • InfoWorldProject Valhalla: A look inside Java’s epic refactor | InfoWorld

        Valhalla is nothing short of a Java language overhaul, promising to correct longstanding performance issues. Here's a first look at what's coming, starting with the new value classes and primitive classes.

      • Dirk EddelbuettelDirk Eddelbuettel: ttdo 0.0.9 on CRAN: Small Update

        A new minor release of our ttdo package arrived on CRAN a few days ago. The ttdo package extends the excellent (and very minimal / zero depends) unit testing package tinytest by Mark van der Loo with the very clever and well-done diffobj package by Brodie Gaslam to give us test results with visual diffs (as shown in the screenshot below) which seemingly is so compelling an idea that it eventually got copied by another package which shall remain unnamed…

      • Null safety: Kotlin vs. Java | by Nicolas Fränkel | Feb, 2023 | ITNEXT

        The basic idea behind null is that one can define an uninitialized variable. If one calls a member of such a variable, the runtime locates the memory address of the variable... and fails to dereference it because there's nothing behind it.

      • Brian Hickswhat is the randomart image for?

        When you generate an SSH key (like I did when looking at signing commits with SSH keys), you get a “randomart image” from ssh-keygen.

      • Python

      • Go

        • James Just James: Deadline context test cancellation in golang

          I decided to write a fancy test harness in golang today. The test wraps a big internal engine for mgmt and at the top-level it takes a context for cancellation. If you don’t know about the context package, then you should go understand that and then come back here… Don’t feel bad, I had no idea what it was about at first either!

          The Problem:

          I assumed there would be some way to follow a notification from the test runner down into my test to tell it when it was time to cleanup and exit early… I expected that making my own ^C signal handler wouldn’t be correct, and I (incorrectly) assumed that the interface I’d be looking for would offer a golang context that I could pass into my code.

      • Rust

        • Introducing Ambient 0.1

          Ambient is a runtime for building high-performance multiplayer games and 3D applications, powered by WebAssembly, Rust and WebGPU.

        • I love building a startup in Rust. I wouldn't pick it again.

          For almost two years now, the vast majority of our backend code was written in Rust (aside from a little bit of Python). I love Rust, it’s by far my favorite language. I find myself missing match in pretty much every other language I go to.

          However, if I was doing it over, I wouldn’t choose Rust.

        • arXivC-rusted: The Advantages of Rust, in C, without the Disadvantages

          C-rusted is an innovative technology whereby C programs can be (partly) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined resources; dynamic properties of objects and the way they evolve during program execution; nominal typing and subtyping. The (partially) annotated C programs can be translated with unmodified versions of any compilation toolchain capable of processing ISO C code. The annotated C program parts can be validated by static analysis: if the static analyzer flags no error, then the annotations are provably coherent among themselves and with respect to annotated C code, in which case said annotated parts are provably exempt from a large class of logic, security, and run-time errors.

  • Leftovers

    • AxiosMarriage is on the decline in the U.S.

      Americans are increasingly forgoing or delaying marriage — a dramatic shift from societal norms a generation ago.

      By the numbers: Over the last 50 years, the marriage rate in the U.S. has dropped by nearly 60%.

    • Mexico News DailyElections tribunal rules that next INE director must be a woman

      The Electoral Tribunal of the Federal Judiciary's ruling means that the National Electoral Institute (INE) will have its first woman leader.

    • Digital Music NewsR. Kelly Receives Another 20-Year Prison Term for Criminal Sexual Charges

      R. Kelly receives another 20-year prison term for criminal sexual charges — but will not serve them consecutively. Following his 30-year sentence in New York for sex trafficking and racketeering charges, R. Kelly was€ sentenced in Chicago€ on Thursday to 20 years for child pornography and enticement of minors for sex.

    • Digital Music NewsThomas H. Lee, Billionaire Who First Took Warner Music Group Public, Found Dead

      Thomas H. Lee, billionaire and private equity investor who first took Warner Music Group public, was found dead Thursday morning. Billionaire financier and private equity investor Thomas H. Lee was found dead in his Manhattan office on Thursday morning, police say.

    • Scarlett Gately Moore: Snowstorms, Kittens and Shattered dreams

      Long ago I applied for my dream job at a company I have wanted to wok for since its beginning and I wasn’t ready technically. Fast forward to now, I am ready! A big thank you goes out to Blue Systems for that. So I go out and find the perfect role and start the application process. The process was months long, but was going very well, the interviews and I passed the technical with flying colors. I got to the end where the hiring lead told me he was submitting my offer… I was so excited, so much so, I told my husband and parents “I got the job!” I know, I jinxed myself there. Soon I receive the “There was a problem”.. One obscure assessment called GIA came back not so good. I remember that day, we were in the middle of a long series of winter storms and I when I took the test, my kitten decided right then it was me time. I couldn’t very well throw her out into the snowstorm, so I continued on the best I could. It is my fault, it clearly states to be distraction free. So I speak again to the hiring lead and we both feel with my experience and technical knowledge and abilities we can still move forward. I still had hope. After some time passes, I asked for an update and got the dreaded rejection. I am told it wasn’t just the GIA, but that I am not a good overall fit for the company. In one fell swoop my dreams are dashed and final, for this and all roles within that company. I wasn’t given a reason either. I am devastated, heart broken, and shocked. I get along with everyone, I exceed the technical requirements, and I work well in the community. Dream door closed.

      I will not let this get me down. I am moving on. I will find my place where I ‘fit in’.

    • CNNThis Chinese kissing device lets you smooch over the internet

      Want to send your faraway lover a kiss? A Chinese contraption with warm, moving silicon "lips" appears to have just the answer.

    • Hong Kong Free PressHong Kong’s Cheung Chau bun snatching contest to resume in May after 3-year Covid-19 hiatus

      Hong Kong’s iconic bun scrambling competition will be held for the first time in three years, with applications opening next Monday. “Physically fit people aged 18 or above” are welcome to apply by March 20, the Leisure and Cultural Services Department announced on Friday.

  • Gemini* and Gopher

    • Personal

      • Media Rec: 1899

        I want to start this by stating that I did know this series had been cancelled before I sat down to watch it. What can I say except that I'm a guy who likes being annoyed. I had always intended to give it a go and honestly the ridiculousness of Netflix cancelling it after only a month put me in such a blind rage, I felt I needed to watch it just to spite them.

        Truly though, it was so worth the pain and I do not regret my decision one bit. It's such an intelligent and rewarding piece of television, and it is clear how much love and hard work went into it. I loved the setting and the characters. I also loved its multinational cast and that it allowed them all to speak in their native languages. It's so rare to see something like that, and it makes me wish that there was more television like this.

      • Hello everyone

        Greetings everyone, just received confirmation from m15o - been reading the Pub's posts for a long time and hope to contribute meaningfully to discussions and topics.

      • hello world

        Hi i am newbie nice to meet u guys

      • Winter Languor

        It is snowing mightily this year, and I’ve been under it without pause. Literally; I’m snowed in on a mountain until spring. Last winter I ate so many snowcones. Strawberry, raspberry, mint, pear juices on top. I imagined myself the yeti from Monsters, Inc. This year I shudder to look at snow. Such are the ridiculous vacillations of the human heart.

      • CD Binders, Old Music, and Silence

        I have a couple of CD binders that I keep moving to any new car that I own. They're actually pretty nice with a faux leather soft exterior and the ability to maybe 30 or so CDs. The binders themselves are only 1x2 CDs, making them perfect for the car. I've had these CD binders for many, many years...if I had to guess, maybe 18-20 years.

    • Technical

      • punycode

        So it turns out that w3m does not support punycode (there's some Debian bugreports and TODO notes about libidn and rumors of code I could not find) which results in links such as

      • Buggy Jbose

        as there is no tense information, so the statement could be any of past, present, future. (Translation can be difficult.) Regardless, the statement is nonesense. To this a hypothetical lojbanic listener might respond "ki'a", which is something like "huh?" or "wtf" in English. Likewise, if a protocol specification were butchered, one might respond with "ki'a", or possibly "na go'i" if one spots a logical contradiction. In that case you have the same problem as in English: how should the protocol be rewritten to not include something that is confusing or causes Spock's eyebrow to climb. (There is an entire chapter on negation in "The Complete Lojban Language".) And if you rewrite the protocol, do any of the implementations need fixing?

        A better idea might be to include a copious amount of example code, and to have a very robust test suite that new implementations can be run against. This may still leave fiddly bits that are difficult to test, especially for complicated protocols. Regardless, all this code could be a lot of work to write, debug, document, secure, and maintain.


* Gemini (Primer) links can be opened using Gemini software. It's like the World Wide Web but a lot lighter.



Recent Techrights' Posts

[Video] Time to Acknowledge Debian Has a Real Problem and This Problem Needs to be Solved
it would make sense to try to resolve conflicts and issues, not exacerbate these
Daniel Pocock elected on ANZAC Day and anniversary of Easter Rising (FSFE Fellowship)
Reprinted with permission from Daniel Pocock
Ulrike Uhlig & Debian, the $200,000 woman who quit
Reprinted with permission from disguised.work
Girlfriends, Sex, Prostitution & Debian at DebConf22, Prizren, Kosovo
Reprinted with permission from disguised.work
 
[Video] Debian's Newfound Love of Censorship Has Become a Threat to the Entire Internet
SPI/Debian might end up with rotten tomatoes in the face
Joerg (Ganneff) Jaspert, Dalbergschule Fulda & Debian Death threats
Reprinted with permission from disguised.work
Amber Heard, Junior Female Developers & Debian Embezzlement
Reprinted with permission from disguised.work
[Video] IBM's Poor Results Reinforce the Idea of Mass Layoffs on the Way (Just Like at Microsoft)
it seems likely Red Hat layoffs are in the making
IRC Proceedings: Wednesday, April 24, 2024
IRC logs for Wednesday, April 24, 2024
Over at Tux Machines...
GNU/Linux news for the past day
Links 24/04/2024: Layoffs and Shutdowns at Microsoft, Apple Sales in China Have Collapsed
Links for the day
Sexism processing travel reimbursement
Reprinted with permission from disguised.work
Microsoft is Shutting Down Offices and Studios (Microsoft Layoffs Every Month This Year, Media Barely Mentions These)
Microsoft shutting down more offices (there have been layoffs every month this year)
Balkan women & Debian sexism, WeBoob leaks
Reprinted with permission from disguised.work
Martina Ferrari & Debian, DebConf room list: who sleeps with who?
Reprinted with permission from Daniel Pocock
Links 24/04/2024: Advances in TikTok Ban, Microsoft Lacks Security Incentives (It Profits From Breaches)
Links for the day
Gemini Links 24/04/2024: People Returning to Gemlogs, Stateless Workstations
Links for the day
Meike Reichle & Debian Dating
Reprinted with permission from disguised.work
Europe Won't be Safe From Russia Until the Last Windows PC is Turned Off (or Switched to BSDs and GNU/Linux)
Lives are at stake
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Tuesday, April 23, 2024
IRC logs for Tuesday, April 23, 2024
[Meme] EPO: Breaking the Law as a Business Model
Total disregard for the EPO to sell more monopolies in Europe (to companies that are seldom European and in need of monopoly)
The EPO's Central Staff Committee (CSC) on New Ways of Working (NWoW) and “Bringing Teams Together” (BTT)
The latest publication from the Central Staff Committee (CSC)
Volunteers wanted: Unknown Suspects team
Reprinted with permission from Daniel Pocock
Debian trademark: where does the value come from?
Reprinted with permission from Daniel Pocock
Detecting suspicious transactions in the Wikimedia grants process
Reprinted with permission from Daniel Pocock
Links 23/04/2024: US Doubles Down on Patent Obviousness, North Korea Practices Nuclear Conflict
Links for the day
Stardust Nightclub Tragedy, Unlawful killing, Censorship & Debian Scapegoating
Reprinted with permission from Daniel Pocock
Gunnar Wolf & Debian Modern Slavery punishments
Reprinted with permission from Daniel Pocock
On DebConf and Debian 'Bedroom Nepotism' (Connected to Canonical, Red Hat, and Google)
Why the public must know suppressed facts (which women themselves are voicing concerns about; some men muzzle them to save face)
Several Years After Vista 11 Came Out Few People in Africa Use It, Its Relative Share Declines (People Delete It and Move to BSD/GNU/Linux?)
These trends are worth discussing
Canonical, Ubuntu & Debian DebConf19 Diversity Girls email
Reprinted with permission from disguised.work
Links 23/04/2024: Escalations Around Poland, Microsoft Shares Dumped
Links for the day
Gemini Links 23/04/2024: Offline PSP Media Player and OpenBSD on ThinkPad
Links for the day
Amaya Rodrigo Sastre, Holger Levsen & Debian DebConf6 fight
Reprinted with permission from disguised.work
DebConf8: who slept with who? Rooming list leaked
Reprinted with permission from disguised.work
Bruce Perens & Debian: swiping the Open Source trademark
Reprinted with permission from disguised.work
Ean Schuessler & Debian SPI OSI trademark disputes
Reprinted with permission from disguised.work
Windows in Sudan: From 99.15% to 2.12%
With conflict in Sudan, plus the occasional escalation/s, buying a laptop with Vista 11 isn't a high priority
Anatomy of a Cancel Mob Campaign
how they go about
[Meme] The 'Cancel Culture' and Its 'Hit List'
organisers are being contacted by the 'cancel mob'
Richard Stallman's Next Public Talk is on Friday, 17:30 in Córdoba (Spain), FSF Cannot Mention It
Any attempt to marginalise founders isn't unprecedented as a strategy
IRC Proceedings: Monday, April 22, 2024
IRC logs for Monday, April 22, 2024
Over at Tux Machines...
GNU/Linux news for the past day
Don't trust me. Trust the voters.
Reprinted with permission from Daniel Pocock
Chris Lamb & Debian demanded Ubuntu censor my blog
Reprinted with permission from disguised.work
Ean Schuessler, Branden Robinson & Debian SPI accounting crisis
Reprinted with permission from disguised.work
William Lee Irwin III, Michael Schultheiss & Debian, Oracle, Russian kernel scandal
Reprinted with permission from disguised.work