This in my feed today: Formalizing the proof of PFR in Lean4 using Blueprint: a short tour by Terence Tao. I would like to learn Lean.
Formalizing the proof of PFR in Lean4 using Blueprint
Reply
The Internet Con
Today I was referred to Cory Doctorow‘s new book: The Internet Con: How To Seize the Means of Computation. Apparently it’s basically just about the idea that web services should interoperate. I’m not going to read this one, but you might?
STAR WARS Complete Collection
In another life I would buy and play all of these: STAR WARS™ Complete Collection. But in this life I just don’t have the time.
Linux web sites
Just some notes about web pages I was reading today.
- Linux Journal
- Linux Foundation
- Linux Foundation DokuWiki site
- Linux Standard Base (LSB)
- The Linux Kernel Archives
- LANs/ethernet-faq
- Ethernet Books by Charles Spurgeon and Joann Zimmerman
- IP Sysctl
- The Linux Kernel Module Programming Guide (for Hello, World Linux kernel; there’s also some good stuff on YouTube)
Chromium crashed
Today my chromium crashed like this:
------------------- Sat Nov 18 02:18:49 [bash:5.2.15 jobs:0 error:0 time:1] jj5@charisma:/home/jj5 $ chromium [1118/021851.032430:ERROR:elf_dynamic_array_reader.h(64)] tag not found [1118/021851.032474:ERROR:elf_dynamic_array_reader.h(64)] tag not found Trace/breakpoint trap (core dumped) -------------------
…gonna try upgrading, apparently there are new packages.
Update: upgrade didn’t fix the problem, but a reboot did.
Moving interrupts to threads in the Linux kernel
Found an old LWN article: Moving interrupts to threads.
SolidusCode
Today I discovered SolidusCode on YouTube. Here is some of their stuff:
Linux Journal articles
I had a read of a few Linux Journal articles today. Easy reads that give you a high level view of what’s available:
- File Sharing on Linux Using NFS and Samba
- Combining Configurable Button Widgets With Kwin’s Shortcuts to Transform Your KDE Experience
- How to Monitor Your System with Zabbix
- Navigating the Linux Textscape using Vim and Emacs
- Locating Leviathan Files in Linux
- How to Configure Postfix Mail Server on Debian
New router ‘glam’
Today I finally finished figuring out how to configure the Raspberry Pi OS as a network router. I got routing, NAT port forwarding, and DHCP services configured. The gory details are here: ‘glam‘. This new router replaces my old OPNsesne router ‘hood‘. You can see ‘glam’ has been professionally installed here:
Linux books
Some light reading:
