HNHacker News
TopNewBestAskShowJobs

ajdude

5,695 karma · joined January 6, 2021

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

submissionscomments

Writing a competitive BZip2 encoder in Ada from scratch in a few days – part 2

gautiersblog.blogspot.com·121 pts·ajdude·
8

The command line interface Guake provides

guake.readthedocs.io·1 pts·ajdude·
0

Brits get around Discord's age verification with Death Stranding's photo mode

pcgamer.com·14 pts·ajdude·
0

Ada, other older languages vie for top spots in Tiobe language index

infoworld.com·2 pts·ajdude·
0

Using pragma Shared_Passive for data persistence in Ada

adacore.com·5 pts·ajdude·
0

Exploiting the IKKO Activebuds “AI powered” earbuds (2024)

blog.mgdproductions.com·569 pts·ajdude·
252

Comprehensive sovereign solutions empowering European organizations

blogs.microsoft.com·6 pts·ajdude·
0

AdaCore and CodeSecure Merge

adacore.com·1 pts·ajdude·
0

Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover

blog.adacore.com·1 pts·ajdude·
0

Disney and Universal sue AI image company Midjourney

cnbc.com·5 pts·ajdude·
1

Writing a Verified Postfix Expression Calculator

pyjarrett.github.io·2 pts·ajdude·
0

No More Liquid Ass

theverge.com·6 pts·ajdude·
0

The Great Attractor

en.wikipedia.org·4 pts·ajdude·
0

Telegram announces partnership with Musk's xAI

bbc.com·2 pts·ajdude·
0

What football will look like in the future

sbnation.com·2 pts·ajdude·
0

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

arstechnica.com·14 pts·ajdude·
8

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

fastcompany.com·13 pts·ajdude·
0

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

xda-developers.com·57 pts·ajdude·
39

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

github.com·3 pts·ajdude·
0

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

pbs.org·18 pts·ajdude·
6

CSS-Only Syntax Highlighting

aartaka.me·2 pts·ajdude·
0

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

lists.debian.org·8 pts·ajdude·
2

Please don't use AI images in JOSM

josm.openstreetmap.de·3 pts·ajdude·
0

Apple's Software Quality Crisis

eliseomartelli.it·1196 pts·ajdude·
1198

To C or Not to See?

dancarlin.substack.com·1 pts·ajdude·
1

Counter-Strike: Source Update Released

store.steampowered.com·2 pts·ajdude·
0

Kagi Privacy Pass

kagifeedback.org·1 pts·ajdude·
1

The UX of Login Codes

bradfrost.com·6 pts·ajdude·
0

My little sister's use of ChatGPT for homework is heartbreaking

old.reddit.com·297 pts·ajdude·
504

macOS menu bar app that shows how full the ISS urine tank is in real time

github.com·1139 pts·ajdude·
253
← PreviousPage 2 of 8Next →