Stories by ajdude

Comprehensive sovereign solutions empowering European organizations

AdaCore and CodeSecure Merge

Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover

Disney and Universal sue AI image company Midjourney

Writing a Verified Postfix Expression Calculator

No More Liquid Ass

The Great Attractor

Telegram announces partnership with Musk's xAI

What football will look like in the future

VPN firm says it didn't know customers had lifetime subscriptions, cancels them

AI is already eating its own: Prompt engineering is quickly going extinct

Intel admits what we all knew: no one is buying AI PCs

Rust2ada: Converts Rust code to formally verifiable Ada, including itself

What happens to DNA data of millions as 23andMe files bankruptcy?

CSS-Only Syntax Highlighting

Reconsidering Debian's Inclusion of Non-Free Firmware – A Call for Discussion

1
2
3
4
5
6
7
8