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/2025, 7:13 PMwith 0 comments
• AdaCore and CodeSecure Merge
  by ajdudeon 6/18/2025, 12:07 PMwith 0 comments
• Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover
  by ajdudeon 6/16/2025, 7:39 PMwith 0 comments
• Disney and Universal sue AI image company Midjourney
  by ajdudeon 6/12/2025, 9:56 PMwith 1 comments
• Writing a Verified Postfix Expression Calculator
  by ajdudeon 6/12/2025, 12:14 PMwith 0 comments
• No More Liquid Ass
  by ajdudeon 6/11/2025, 4:50 PMwith 0 comments
• The Great Attractor
  by ajdudeon 5/31/2025, 10:04 PMwith 0 comments
• Telegram announces partnership with Musk's xAI
  by ajdudeon 5/29/2025, 11:04 AMwith 0 comments
• What football will look like in the future
  by ajdudeon 5/24/2025, 12:21 AMwith 0 comments
• VPN firm says it didn't know customers had lifetime subscriptions, cancels them
  by ajdudeon 5/13/2025, 5:26 PMwith 8 comments
• AI is already eating its own: Prompt engineering is quickly going extinct
  by ajdudeon 5/9/2025, 2:27 AMwith 0 comments
• Intel admits what we all knew: no one is buying AI PCs
  by ajdudeon 4/29/2025, 1:44 PMwith 39 comments
• Rust2ada: Converts Rust code to formally verifiable Ada, including itself
  by ajdudeon 4/28/2025, 2:55 PMwith 0 comments
• What happens to DNA data of millions as 23andMe files bankruptcy?
  by ajdudeon 3/27/2025, 7:39 PMwith 6 comments