Today I learned about the vDSO on the Linux man page: vdso(7) — Linux manual page. It’s a facility for replacing syscalls with normal user-space function calls for things like getting the time of day for better performance.
Category Archives: Programming
ATmega fuse bytes
A quick search for arduino fuses programming turned up a bunch of results:
Gameboy Rabbit Hole
This evening I fell into a gameboy rabbit hole:
Pccipher is more than eleven years old
Man I was just browsing some old code and found myself over here: https://www.progclub.org/pcrepo/pccipher/trunk/php/src/pccipher_blowfish_64.php.
I committed that code in 2012, that’s 11 years and 4 months ago. Wow. Seems like yesterday. How time flies!
Formalizing the proof of PFR in Lean4 using Blueprint
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.
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 books
Ordered on Amazon today:
- Understanding the Linux Kernel 3e: From I/O Ports to Process Management
- Linux Device Drivers 3e
- Linux Network Administrator’s Guide 3e
I’m not sure what to make of the fact that these books are nearly 20 years old… totally out of date, but all that is available? What’s up with that?
Large Language Models and The End of Programming – CS50 Tech Talk with Dr. Matt Welsh
Here’s an interesting talk about how we won’t need programmers very soon: Large Language Models and The End of Programming – CS50 Tech Talk with Dr. Matt Welsh.
If refers to the following books: