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

Microsoft's Bing Falls to Fourth in the Europe/Asia-Based Turkey, Share Halved Since LLM Hype, Now Only 1% (Sometimes Less)
Turkey (Eurasia) is another example of Microsoft failing with LLM hype and just burning a lot of energy in vain (investment without returns)
Censorship as Signal of Opportunity for Reform
It remains sad and ironic that Wikileaks outsourced so much of its official communications to Twitter (now X)
The World Wide Web Has Been Rotting for Years (Quality, Accuracy, and Depth Consistently Decreasing)
In the past people said that the Web had both "good" and "bad" and that the good outweighed the bad
Comoros: Windows Plunges to Record Low of About 6% in Country of a Million People (in 2010 Windows Was 100%)
Many of these people earn a few dollars a day; they don't care for Microsoft's "Hey Hi PC" hype
 
Backlash and Negative Press After Microsoft Tells Diversity, Equity, and Inclusion (DEI) People to DIE
Follow-up stories
Joel Espy Klecker & Debian on Joe Biden's health and Donald Trump's assassination
Reprinted with permission from Daniel Pocock
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Wednesday, July 17, 2024
IRC logs for Wednesday, July 17, 2024
Links 18/07/2024: Hostname Pedantry and Retro Coding
Links for the day
Fedora Week of Diversity (FWD) 2024 Attracting 0.01% of the IBM Staff "Was a Success"
They expect volunteers (unpaid slaves) to do the PR for them...
African's Largest Population (Nigeria) Approaching 80% Android "Market Share" Amid Steady Monthly Increases While Microsoft Has Mass Layoffs in Nigeria
Microsoft- and Apple-sponsored Western (or English-speaking) media chooses to ignore that or treat it as irrelevant (a racist disposition in its own right)
[Meme] The Warlord's Catspaw
Thugs that troll us
Microsoft Misogyny Will be the Fall of Microsoft (Covering Up for Misogynists is a Huge Mistake and Highly Misguided Short-term Strategy)
Microsoft's undoing may in fact be its attitude towards women
Red Hat Keeps Behaving Like a Microsoft Reseller (for Proprietary Stuff!), Microsoft Employees as Authors in redhat.com
In some ways this reminds us of Novell
UEFI 'Secure Boot' Once Again Bricking PCs and Fake Security Models Are Perishing in Geminispace
Let's Encrypt has just fallen again
Links 17/07/2024: New Attacks on the Press, European Patents Squashed Even at Kangaroo Court (UPC)
Links for the day
Gemini Links 17/07/2024: Proponents of Censorship and New Arrivals at Gemini
Links for the day
Links 17/07/2024: School Budget Meltdown and Modern Cars as Tracking Nightmares
Links for the day
This Should Certainly be Illegal, But the Person Who Helped Microsoft Do This is Still Attacking the Critics of It
perhaps time for an "I told you so post"
[Meme] A Computer With an Extra Key on the Keyboard Isn't Everyone's Priority
(so your telling me meme)
Africa as an Important Reminder That Eradicating Microsoft Doesn't Go Far Enough
Ideally, if our top goal is bigger than "get rid of Microsoft", we need to teach people to choose and use devices that obey them, not GAFAM
Billions of Computers Run Linux and Many Use Debian (or a Derivative of It)
many devices never get updated or even communicate with the Net, so exhaustive tallies are infeasible
The Mail (MX) Server Survey for July 2024 Shows Microsoft Collapsing to Only 689 Servers or 0.17% of the Whole (It Used to be About 25%)
Microsoft became so insignificant and the most astounding thing is how the media deliberate ignores it or refuses to cover it
[Meme] Microsoft is Firing
Don't worry, Microsoft will have some new vapourware coming soon
More DEI (or Similar) Layoffs on the Way, According to Microsoft Team Leader
What happened shortly before Independence Day wasn't the end of it, apparently
Windows Down From 98.5% to 22.9% in Hungary
Android is up because more people buy smaller mobile devices than laptops
Microsoft Windows in Algeria: From 100% to Less Than 15%
Notice that not too long ago Windows was measured at 100%. Now? Not even 15%.
[Meme] Many Volunteers Now Realise the "Open" in "OpenSUSE" or "openSUSE" Was Labour-Mining
Back to coding, packaging and testing, slaves
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Tuesday, July 16, 2024
IRC logs for Tuesday, July 16, 2024
Microsoft Windows "Market Share" in New Zealand Plunges to 25%
Android rising
[Meme] Ein Factory
A choice between "masters" (or "master race") is a false choice that results in mass exploitation and ultimately eradication (when there's little left to exploit)
Links 17/07/2024: Open Source Initiative Lies and Dark Net Thoughts
Links for the day
SUSE Goes Aryan: You May Not Use the Germanic Brand Anymore (It's Monopolised by the Corporation)
Worse than grammar Nazis
Media Distorting Truth to Promote Ignorance
online media is rapidly collapsing
Gratis But Not Free as in Freedom: How Let's Encrypt is Dying in Geminispace
Let's Encrypt is somewhat of a dying breed where the misguided CA model is shunned
Android Rises to New Highs of Almost 80% in Cameroon
How many dozens of nations will see Windows at under 10% this coming winter?
Links 16/07/2024: TikTok Ban in Europe and Yandex Split
Links for the day
Gemini Links 16/07/2024: On Packrafting and on Trump Shot
Links for the day
[Meme] Firefox Users Who Think They Know Better Than Mozilla
Enjoy Firebook
Firefox Used to Have About Half the Market in Switzerland, But It Doesn't Stand a Chance Anymore (Chrome Surging This Summer)
Mozilla has managed to alienate some of the biggest fans of Firefox
Microsoft's Biggest Losses Are in Europe This Summer
Microsoft's ability to milk a relatively rich Europe is fast diminishing
How to Make Software Suck and Discriminate Against People at the Same Time
ageism glorified
Bing Was at 2.6% in Russia When LLM Hype Started. Now It's Down to 0.8% (for 3 Months in a Row Already)
The sharp fall of Bing may mean that exiting the Russian market won't matter to anybody
[Meme] Microsoft Seems to be Failing to Comply With WARN Act (by Refusing to Announce Mass Layoffs as They Happen)
since when does Microsoft obey the law anyway?
Microsoft Layoffs Are Still Too Frequent to Keep Abreast of and Properly (or Exhaustively) Classify
The "HR" department knows what's happening, but whistleblowers from there are rare
Bahamas Joined the "5% Windows" Club
statCounter only traces back about 1 in 20 Web requests to Windows
Links 16/07/2024: Salesforce Layoffs and Microsoft's DMARC Fail
Links for the day
Antenna Abuse and Gemini Abuse (Self-hosting Perils)
Perhaps all this junk is a sign of Gemini growing up
Possibly Worse Than Bribes: US Politicians and Lawmakers Who Are Microsoft Shareholders
They will keep bailing out Microsoft to bail themselves out
The Software Freedom Conservancy Folks Don't Even Believe in Free Speech and They Act As Imposters (Also in the Trademark Arena/Sense)
Software Freedom Conservancy was already establishing a reputation for itself as a G(I)AFAM censor/gatekeeper
Djibouti Enters the Windows "10% Club" (Windows Was 99% in 2010)
In Africa in general Microsoft lost control
GNU/Linux Share Doubled in the United States of America (USA) in the Past 12 Months
Or so says statCounter
Even in North Korea (Democratic People's Republic Of Korea) Google Said to Dominate, Microsoft Around 1%
Google at 93.26%
[Meme] The Red Bait (Embrace... Extinguish)
They set centos on fire, then offer a (de facto) proprietary substitute for a fee
Shooting the Messenger to Spite the Message
segment of a Noam Chomsky talk
[Video] Boston Area Assange Defense (Yesterday)
It was published only hours ago
Guinea: Windows Down From 99.3% to 2.7% 'Market Share'
Guinea is not a small country
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Monday, July 15, 2024
IRC logs for Monday, July 15, 2024
What's Meant by "Antenna Abuse" (Gemini)
syndication is not a monopoly in Gemini and if one doesn't condone political censorship, then one can create one's own syndication service/capsule
Microsoft Layoffs and Entire Unit Termination: Diversity, Equity, and Inclusion
What an announcement to make just before Independence Day
Links 16/07/2024: Old Computer Challenge and One Page Dungeon Contest
Links for the day