ajdude

Karma: 5,616
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. ▲ Australia: Social media ban for youth has little effect (heise.de) 4 points · 4 days ago · 1 comment
2. ▲ Formally Verified Hashed Sets in Ada Spark (adacore.com) 1 point · 11 days ago · 0 comments
3. ▲ How to Create a Plug-In, in Ada (old.reddit.com) 4 points · 3 months ago · 0 comments

All submissions on HN · View profile on HN