HN user

ajdude

5,676 karma

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

Posts214
Comments631
View on HN
kotaku.com 5d ago

A24 Reportedly Copyright-Striking Backrooms Indie Games and Artwork

ajdude
9pts1
www.businessinsider.com 12d ago

12-year-old founds AI-powered receptionist business

ajdude
2pts0
www.adacore.com 22d ago

Language Design Impacts Security

ajdude
3pts0
shkspr.mobi 1mo ago

Which Copyleft Licence Is Suitable for an SVG?

ajdude
5pts1
www.instructure.com 2mo ago

Instructure Paid the Ransom

ajdude
1pts0
www.heise.de 2mo ago

Australia: Social media ban for youth has little effect

ajdude
4pts1
www.adacore.com 3mo ago

Formally Verified Hashed Sets in Ada Spark

ajdude
1pts0
old.reddit.com 6mo ago

How to Create a Plug-In, in Ada

ajdude
4pts0
medium.com 7mo ago

The Undisputed Queen of Safe Programming

ajdude
2pts0
www.theverge.com 7mo ago

RAM Is Ruining Everything

ajdude
9pts1
xeiaso.net 7mo ago

New AI slop signal: code blocks with weird indentation

ajdude
22pts4
www.kron4.com 8mo ago

What did that teddy bear say? Study warns parents about AI toys

ajdude
4pts0
hackaday.com 8mo ago

There's No Rust on This Ironclad Kernel

ajdude
7pts1
blog.adacore.com 8mo ago

Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy

ajdude
4pts0
clocks.brianmoore.com 8mo ago

AI World Clocks

ajdude
3pts3
news.ycombinator.com 8mo ago

Ask HN: Is AWS down again?

ajdude
85pts37
blog.ironclad-os.org 9mo ago

Adding Modern Desktop Environment Options to Gloire

ajdude
1pts0
www.androidauthority.com 9mo ago

Galaxy Ring battery scare leaves user stranded and hospitalized

ajdude
2pts0
github.com 10mo ago

Kagi open sourced Ask: a bash script for quick AI queries in the shell

ajdude
5pts0
webhosting.today 10mo ago

CVC acquires majority stake in Namecheap for $1.5B

ajdude
91pts48
discord.com 10mo ago

Updates to Discord's Policies

ajdude
2pts0
social.treehouse.systems 11mo ago

Google Fiber hands out duplicate IPv6 prefix delegations used by other customers

ajdude
6pts0
gautiersblog.blogspot.com 11mo ago

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

ajdude
121pts8
guake.readthedocs.io 11mo ago

The command line interface Guake provides

ajdude
1pts0
www.pcgamer.com 12mo ago

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

ajdude
14pts0
www.infoworld.com 1y ago

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

ajdude
2pts0
www.adacore.com 1y ago

Using pragma Shared_Passive for data persistence in Ada

ajdude
5pts0
blog.mgdproductions.com 1y ago

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

ajdude
569pts252
blogs.microsoft.com 1y ago

Comprehensive sovereign solutions empowering European organizations

ajdude
6pts0
www.adacore.com 1y ago

AdaCore and CodeSecure Merge

ajdude
1pts0

I was just watching Tom Scott's latest video, he mentioned firing a trebuchet and the guide pointed this out that you don't "fire" a trebuchet since it doesn't involve gunpowder, you launch it.

Tom's commentary later was that he disagreed with that sentiment. "I disagree with those potential comments. Words change their meaning overtime. In modern English, you can fire an arrow, you can fire a torpedo, we were gonna fire that trebuchet"

Years ago I looked into GrapheneOS, and I ultimately didn't go with it because, at least at the time, they only supported pixel phones (specifically pixel phones that Google actively had security updates for). I realized that if I got that OS, I would be at the mercy of Google supporting the device in order to continue using GrapheneOS.

In the end I just opted out of the android ecosystem altogether and went with a flip phone that I used as a hotspot for an iPod touch (we only used over VPN with locked down DNS and nothing google related).

My privacy lasted about two weeks, because unfortunately Spotify was able to fingerprint that device to Facebook.

For years one of my best friends growing up didn't have Internet, and my only communication with him was when he would walk to the McDonald's for the Wi-Fi with his PSP. We would chat over MSN.

I recently got a PSP (along with a special cable that I can use to hook it up to my TV); there is a pretty strong aftermarket ecosystem for them.

This is why I continue to advocate for using Ada. It's not just about memory safety but conscious effort was put into readability.

Calling the procedure in the article in ada would simply be:

   createUser (user, isAdmin => True, sendWelcomeEmail => False, skipValidation => True);
Killed by Apple 2 months ago

Apple has done a much better job at maintaining their stuff compared to Google. Even this list is mostly just old hardware that fell out of service.

And even then, I can still sync my 20+ year old firewire ipod with the most recent Apple Music (formally iTunes) on my m4 MacBook with the right converter.

Google's reCAPTCHA is planning an approach where they use Privacy Pass on Apple hardware, their own approach on Google Mobile Services Android devices and a QR code scanning system to require an iOS or Google certified Android device for Windows and other systems

I wonder if we'll get something similar happening with cloudflare

I think it's more like if you owned a blogspot site, and you're gdpr'ing the list of users who visited your site (given Google logged every single user who visited, and associated that visit specifically with you).

Linkedin is recording every person who visits your profile and keeps that in your user records, and they are already selling it back to you. The argument is that you have a right to that data.

Linkedin is arguing that this data needs to be protected for the privacy of those visiting your profile and the argument is that if they really believed that, they wouldn't sell it back to you, compromising that privacy anyway.

I try to stay far away from shorts in general- YouTube plays them at maximum volume on my desktop and they suck attention , I feel like they're actively harmful.

Though for content that i follow, Almost every one of these shorts end up just being a snippet of a video they already posted, usually being used as a glorified ad for that existing video. It's just a waste of time.

Nobody asked for shorts in their feed

This has been a big issue for me. I currently use RSS exclusively to view the YouTube channels that I'm subscribed to -- currently about 75 channels (and 27 nebula channels) -- and over half of my YouTube feeds are filled with several shorts (sometimes multiple ones by the same creator per day).

Looking for hashtags in the title and marking those videos as read is essentially muscle memory at this point.

I explained it here back when their forum was still open: https://www.flickr.com/help/forum/en-us/72157714720744427/pa...

They have bbcode and html embed, with dynamic width and automatic linking back to the page with alt text, but nothing for markdown.

I can use HTML for my blog but my blog is written and marked down and I would rather just stick to markdown, plus many forums have switched to markdown and won't accept an HTML embed.

My current solution is to convert the following by hand from something like

   <a href="https://www.flickr.com/photos/uname/1234/" title="My Title"><img src="https://live.staticflickr.com/1234/abcd.jpg" width="1024" height="768" alt="My Alt Text" /></a>

To:
    [![My Alt Text!](live.staticflickr.com/1234/abcd.jpg "My Title")](www.flickr.com/photos/uname/1234)
For every photo I like to share which can be a lot when I am blogging...

I've been a pro member for many years, with about 35k photos uploaded. I am grateful that they have never chased the engagement bait. Some people like to complain about the Pro features but I found them to be absolutely fair and I wanna do everything I can to support this platform.

All of my photos are automatically synced to Flickr via the Auto uploader, and getting things from my camera to Flickr is as simple as transferring the data from the dslr to my phone, and the auto uploader takes care of the rest.

From there I can go through the photos, decide which ones I wanna make public, and organize them into my albums to share with others.

My single complaint with Flickr is simply that they won't provide a markdown embed code that works exactly like HTML embed, but that's pretty low of a complaint.

iPhone 17e 5 months ago

Every single person I know who uses a phone of more than 4 years old, uses an iPhone 13 mini

That's because they haven't came out with another small iPhone in more than four years.

Half the time when I'm home I still use my iPod touch because it's even smaller than the mini.

Acme Weather 5 months ago

Fifteen years ago, we started work on the Dark Sky weather app.

I will never forgive them for selling out to Apple.

Dark sky was the greatest weather app I've ever used, it had features such as considering the pressure of the atmosphere when predicting rain using crowd sourced phones, and it was the only app I've ever used that was as accurate as it was during a time when my job relied on quickly leaving the office and running across town multiple times a day.

it was sad watching the API get killed off but even worse was that a lot of the features that dark sky had never really made it into Apple weather, and the rain predictions at Apple Weather had were never as accurate as dark sky. There were several times where it was actively raining and Apple weather never even knew. Dark sky always knew.

Nope nope nope fool me once shame on you fool me twice shame on me, I'm not touching this with 39 1/2 foot pole.

The Telegram drop off for doing something really bad recently? I have not seen a single person mention it as an alternative. I don't really use discord that much except for the few friends I have that are not on telegram. Actually all of my family and friends are on telegram, even my grandmother is on telegram. When playing games with friends we just do a group call in telegram. I don't even see it on this list though.