ajdude

Joined 1/6/2021, 2:03:27 PM has 4991 karma

Programmer, archive hobbyist, worked in ITSM.

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

Posts

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