ajdude

Programmer, archive hobbyist, worked in ITSM.

I also have a blog: https://aj.immo

Posts

• Comprehensive sovereign solutions empowering European organizations
  by ajdudeon 6/18/25, 7:13 PMwith 0 comments
• AdaCore and CodeSecure Merge
  by ajdudeon 6/18/25, 12:07 PMwith 0 comments
• Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover
  by ajdudeon 6/16/25, 7:39 PMwith 0 comments
• Disney and Universal sue AI image company Midjourney
  by ajdudeon 6/12/25, 9:56 PMwith 1 comments
• Writing a Verified Postfix Expression Calculator
  by ajdudeon 6/12/25, 12:14 PMwith 0 comments
• No More Liquid Ass
  by ajdudeon 6/11/25, 4:50 PMwith 0 comments
• The Great Attractor
  by ajdudeon 5/31/25, 10:04 PMwith 0 comments
• Telegram announces partnership with Musk's xAI
  by ajdudeon 5/29/25, 11:04 AMwith 0 comments
• What football will look like in the future
  by ajdudeon 5/24/25, 12:21 AMwith 0 comments
• VPN firm says it didn't know customers had lifetime subscriptions, cancels them
  by ajdudeon 5/13/25, 5:26 PMwith 8 comments
• AI is already eating its own: Prompt engineering is quickly going extinct
  by ajdudeon 5/9/25, 2:27 AMwith 0 comments
• Intel admits what we all knew: no one is buying AI PCs
  by ajdudeon 4/29/25, 1:44 PMwith 39 comments
• Rust2ada: Converts Rust code to formally verifiable Ada, including itself
  by ajdudeon 4/28/25, 2:55 PMwith 0 comments
• What happens to DNA data of millions as 23andMe files bankruptcy?
  by ajdudeon 3/27/25, 7:39 PMwith 6 comments
• CSS-Only Syntax Highlighting
  by ajdudeon 3/15/25, 2:06 PMwith 0 comments
• Reconsidering Debian's Inclusion of Non-Free Firmware – A Call for Discussion
  by ajdudeon 3/11/25, 11:12 AMwith 2 comments
• Please don't use AI images in JOSM
  by ajdudeon 3/5/25, 2:33 PMwith 0 comments
• Apple's Software Quality Crisis
  by ajdudeon 3/3/25, 4:04 PMwith 1198 comments
• To C or Not to See?
  by ajdudeon 2/19/25, 11:15 PMwith 1 comments
• Counter-Strike: Source Update Released
  by ajdudeon 2/19/25, 1:44 AMwith 0 comments