Prettty pleased with how this blog post turned out:
https://www.adacore.com/blog/migrating-c-to-ada-spark-with-agentic-ai-a-practical-playbook

So much, that I applied it to 2 drivers in the #Linxu kernel for #Raspberry Pi too:
https://gitlab.com/mhermeling/ada-linux/-/tree/ada-spi?ref_type=heads

There is a #RaspberryPi fanbase on #TikTok: The question now is whether reach is more important than free #software. On the one hand, it’s great when people #tinker with the right components, but they should also understand the concept behind them. Without the major commercial social networks, however, no one would even notice. That’s why hardly anyone in the #mainstream is familiar with #Firefox or #Linux.

#hardware #news #diy #case #art #artwork #raspberry #cyberdeck #foss #floss #socialmedia #freedom #question #bigtech #china #economy #internet #online #follower
RE: chaos.social/users/lukasfx/sta…

The 4 minutes notes about running #FreeBSD on the #Raspberry Pi Zero 2 W. Honestly not my primary / expected choice but it seems to be doing the job. So I'm gonna go further on this path.

https://www.tumfatig.net/2026/freebsd-14.4-on-raspberry-pi-zero-2w/

#RunBSD

The #FreeBSD is installed and running on the #Raspberry Pi Zero 2 W. And it hasn’t froze yet. Of course, I have an Ethernet Hat because WiFi is not supported (yet). Also, it is running on PoE, now that a switch port has been freed for it. Next step will be to set up my secondary DNS and failback DHCP server on this.

Both implies a post on TuM’Fatig, of course. It’s not because anybody can do it that I won’t brag about have done it myself 😬

EDIT: in the meantime, dmesg is there https://dmesgd.nycbug.org/dmesgd?do=view&id=8895