Skip to content

Top Best Ask Show New Jobs

ajdude | Better HN

ajdude

5,654 karmaJoined January 6, 2021866 submissions

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

Which Copyleft Licence Is Suitable for an SVG? (opens in new tab)

(shkspr.mobi)

5ajdude3d ago1

2

Instructure Paid the Ransom (opens in new tab)

(instructure.com)

1ajdude1mo ago0

3

Australia: Social media ban for youth has little effect (opens in new tab)

(heise.de)

4ajdude1mo ago1

4

Formally Verified Hashed Sets in Ada Spark (opens in new tab)

(adacore.com)

1ajdude2mo ago0

5

How to Create a Plug-In, in Ada (opens in new tab)

(old.reddit.com)

4ajdude5mo ago0

6

The Undisputed Queen of Safe Programming (opens in new tab)

(medium.com)

2ajdude6mo ago0

7

RAM Is Ruining Everything (opens in new tab)

(theverge.com)

9ajdude6mo ago1

8

New AI slop signal: code blocks with weird indentation (opens in new tab)

(xeiaso.net)

22ajdude6mo ago4

9

What did that teddy bear say? Study warns parents about AI toys (opens in new tab)

(kron4.com)

4ajdude7mo ago0

10

There's No Rust on This Ironclad Kernel (opens in new tab)

(hackaday.com)

7ajdude7mo ago1

11

Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (opens in new tab)

(blog.adacore.com)

4ajdude7mo ago0