Skip to content
EN

Back to the catalog

00formicapunk00.wordpress.com
rss2English

formicapunk

00formicapunk00.wordpress.com · English

les humains, leurs machines, leurs languages. char greeting[] = "hello\n";

rss2 wordpress content media slash wfw atom dc sy

Open the feed

https://00formicapunk00.wordpress.com/feed/

Last post
Sep 5, 2026
Posts in 24 h · 7 days · 30 days
0 · 0 · 1
Our last check
Answering
Served from
United States
Text score at discovery
3,291
Format
rss2
Features in the feed
content, media, slash, wfw, atom, dc, sy
Community
wordpress

Posts

What our queue read from this feed. Open one to read it here, or go to the site that published it.

  1. Isolated VSCode/VSCodium development environment in a Virtual Machine
    Sep 5, 2026 · original
    Following the previous steps , we are now interested in getting a graphical environment with a VSCodium, the opensource rebuild of the VSCode IDE. Configuring the display and development environment From the previous steps we had a virtual machine where we can login with a debian user, and we can start configuring a graphical desktop environment. Install Gnome Flashback. Gnome Flashback is a 2D version of the Gnome Desktop, it has a kind of year 2009 feeling but works well enough. We need a 2D desktop, as the Virtio display adapter does not work consistently with 3D enabled. # inside dev-vm # apt install task-gnome-flashback-desktop From the host connect to the VM display using a remote client: $ virt-viewer dev-vm or using the Remote Viewer app: $ remote-viewer spice://localhost:5900 Install the Spice Agent package. The Spice Agent provides a shared clipboard between host and VM, and al
  2. Create a development VM using Debian cloud images
    Aug 22, 2026 · original
    Following on the rationale of the previous post , here is how I create a development VM based on ready to use disk images made by the debian cloud team. I could as well install the VM myself using an ISO, but why download a collection of packages in a ISO only to copy them right onto a disk image ? From the list of images available at https://cloud.debian.org/images/cloud/ we will start with the generic qcow2 disk image, it has cloud-init, which allows initial automatic configuration, and snapshots of the VM via the qcow2 disk format. As for the virtualization, I am using virsh virt-install and virt-manager , which are part of the libvirt framework. Libvirt offers an excellent API accessible over qemu/KVM via shell (virsh), GUI (virt-manager) and Web (cockpit) . To use libvirt, properly you need to make sure your standard user is member of the libvirt group, and the libvirt default netwo
  3. Moving software development to separate VM to reduce credential scavenging
    Aug 21, 2026 · original
    Rationale: I was remembered via https://unit42.paloaltonetworks.com/chaindrop-npm-worm-analysis/ (linked from https://anarc.at/blog/2026-08-18-people-vs-ai-overlords/ ) of the risk of downloading untrusted packages in a dev environment. If you read the blog post above you will see that it is way to easy do have a random npm, or even python package in a dev environment scavenge your long running credentials from your workstation, either on disk, or reading from memory ! I will thus move to the following set up: things running directly in my workstation will require either to come from a trusted source (Debian package that is) or run in a sandboxed infrastructure (Podman rootless is the best thing here, followed by Flatpaks) everything else, will run in a Libvirt VM based on Debian cloud images. For me it will be mostly in the beginning the VSCodium editor , with its myriad of extensions.
  4. Opensource gaming with nouveau nvidia driver
    Jul 24, 2026 · original
    So it will not play cyberpunk 2077, but if you prefer opensource drivers for your hardware, nouveau is certainly an option for some opensource gaming. Using kernel 7.0 from debian backports, I could run opensource classics requiring 3D acceleration flawlessly with nouveau: Supertux ( Debian package ) SuperTux Kart ( Debian package ) LibreQuake ( Flatpak with ironquake engine, Full HD and 60 fps) I would like to highlight here how good is LibreQuake. It is an horror cosmic 3D shooter, using the Quake engine, but with newly made game assets under the GPL, thus creating a 100% opensource Quake-based first person shooter. Although their documentation mentions it is a work in progress, as of 2026 I find it very much of a finished product. Dismal shores, my preferred game level. I missed Quake in the 90s, happy to discover such a classic today.
  5. Running Linux i386 binary (steamcmd) via debootstrap foreign chroot
    Jun 3, 2026 · original
    The Steam command line client , which I need to download the game data for the Doom3 BFG shooter , is only available as an Linux i386 binary. As my main home computer is an arm64 box, this could be an issue, but today we have no less than three different ways to run a Linux i386 binary on arm64: Fex, Box32/64 and the older qemu-user mode. According to the Box64 benchmarks , qemu-user is the slowest of the three. But since this is only to run a command line tool downloader, where network speed is the bottleneck, this doesn’t matter a lot. Running steamcmd outside of a chroot via qemu-user and dpkg multiarch support was failing me with the error i386-binfmt-P: Could not open '/lib/ld-linux.so.2': No such file or directory even after installing the i386 libc. So I went the way of qemu-user and a chroot environment, a bit more convoluted but I can run any i386 binaries there in the future. C
  6. Arm64 Linux Desktop: one year after, all systems up
    May 3, 2026 · original
    So I am using Debian on a System76 Arm64 (aarch64) workstation since 9 months, and I can say: everything works. It should be noted that I use very few proprietary software, so I rely mostly on Debian packages for what I am doing. What I can say is basically all open source software which exists today, takes care to build on aarch64 or is available as a binary, either in the Debian archive, in a Flatpak or Snap, or in a Github Artefact. From 3D games , to Kubernetes tooling , practically everything open source is compiled for aarch64 Linux as well. Same thing for server software, every container image built is also proposing an aarch64 binary today. I could also add a standard PCI Express Soundblaster sound card, and the kernel recognized it without issues. The major downside I had was that Wayland is not working on my Nvidia GPU, whether with Nouveau or the proprietary drivers, thus I am
  7. Minix 3 on Beagle Board Black (ARM)
    Apr 15, 2026 · original
    Connected via serial console. Does not have a package manager, web or ssh server, but can play tetris in the terminal ( bsdgames in Debian have the same tetris version packaged).
  8. Storing GPG private keys on a dedicated device
    Jan 3, 2026 · original
    The limits of cryptography Since this blog post is about security and cryptography, it makes sense to start with this XKCD reminder about the value of encryption: . There is a similar, complementary discussion in this article : crypto can help but cannot safeguard against all actors. Public Key encryption 101 GPG, the most widely used tool for end to end email encryption and signing software releases, is based on public key cryptography. In public key cryptography you have a private key, to keep very private and a public key you share to the world. If you use SSH with key authentication you know already the concept : $ ls -1 .ssh/id_rsa* .ssh/id_rsa .ssh/id_rsa.pub Here id_rsa is the private key and id_rsa.pub the public key. GPG private key on a hardware token I would like to store the private part of my GPG key on a hardware token. This provides extra security compared to storing the p
  9. Meta post about this blog
    Jan 2, 2026 · original
    In the future I will try to link to each blog post via my mastodon account at https://mastodon.sdf.org/@formicapunk That way readers can comment via Mastodon without creating a wordpress.com account. Also this blog has tag-based feeds: if you are interested for instance in Kubernetes and OpenShift topics, you can subscribe via RSS to these two topics only via https://00formicapunk00.wordpress.com//tag/arm64,k8s/feed/ and this will spare you my Atari ST, Debian and Fedora musings. All the feeds available from a wordpress blog are well explained in the Human Extend blog .
  10. Configuring a mail transfer agent to interact with the Debian bug tracker
    Dec 22, 2025 · original
    Email interface of the Debian bug tracker The main interface of the Debian bug tracker, at http://bugs.debian.org , is e-mail, and modifications are made to existing bugs by sending an email to an address like 873518@bugs.Debian.org. The web interface allows to browse bugs , but any addition to the bug itself will require an email client. This sounds a bit weird in 2025, as http REST clients with Oauth access tokens for command line tools interacting with online resources are today the norm. However we should remember the Debian project goes back to 1993 and the bug tracker software debugs, was released in 1994. REST itself was first introduced in 2000, six years later. In any case, using an email client to create or modify bug reports is not a bad idea per se: the internet mail protocol, SMTP, is a well known and standardized protocol defined in an IETF RFC. no need for account creation

Discovered by the rss-feed-index crawler, which checks each feed at most once a month.

Same record as JSON: https://api.agentalog.com/api/feeds/fd_00formicapunk00_wordpress_com_351a95a31ed1698b. More from this site: 00formicapunk00.wordpress.com in the Feeds tab.