ajdude

Karma: 5,570
Created: 5 years ago

About

Programmer, archive hobbyist, worked in ITSM.

Creator of GetAda.dev and a bunch of other stuff on https://github.com/AJ-Ianozi

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

Recent Submissions

1. ▲ How to Create a Plug-In, in Ada (old.reddit.com) 4 points · 9 days ago · 0 comments
2. ▲ The Undisputed Queen of Safe Programming (medium.com) 2 points · 1 month ago · 0 comments
3. ▲ RAM Is Ruining Everything (theverge.com) 9 points · 1 month ago · 1 comment
4. ▲ New AI slop signal: code blocks with weird indentation (xeiaso.net) 22 points · 1 month ago · 4 comments
5. ▲ What did that teddy bear say? Study warns parents about AI toys (kron4.com) 4 points · 2 months ago · 0 comments
6. ▲ There's No Rust on This Ironclad Kernel (hackaday.com) 7 points · 2 months ago · 1 comment
7. ▲ Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (blog.adacore.com) 4 points · 2 months ago · 0 comments

All submissions on HN · View profile on HN