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
ajdude··on OpenAI claims employee sent secret device information to Apple
It's the situation I immediately thought of. I remember reading back several months ago that OpenAI was stealing from Apple. I suppose apple is returning the favor.
ajdude··on A 100x faster* alternative to homebrew
I see claude as a contributor. Was this vibecoded?
ajdude··on Visa, Mastercard, major banks facing new litigation over 'anticompetitive' fees
I'm more concerned about sunoco getting a data leak and now my bank information is compromised...

I don't even use my debit card for anything, it all goes on a credit card because it's a lot easier to fight a fraudulent charge.

ajdude··on Turn off Apple Intelligence on macOS 27 and get its disk space back
I'm trying to find this myself. Since I upgraded to the latest version of iOS, I have found no way to disable these stupid writing tools. Whenever I try to take a screenshot, the AI tries to give me suggestions on what to do with the photo before I can properly crop it, and speech to text continues to insert grammar into the output after removing the toggle that disables the auto insertion of grammar (it also seems worse now).

My guess is that we need some tailored configuration profile that will run on the device, which seems to be how this project solved it for macOS.

ajdude··on An Update on Orion for Linux and Windows
I use Orion (because pay for Orion Plus to support them) specifically because it is not a fork of Chromium.

We need more rendering engines out there in the wild, as the situation with chrome's monopoly is already critically dire.

ajdude··on The Case Against Formal Verification, 50 Years Later
Not just that, I've been seeing a huge effort in the Ada community to leverage LLMs to convert a lot of libraries into formally verified SPARK code. One of the biggest issues I see with vibe coded stuff is that it's difficult to review and difficult to prove that it's doing what you think it's doing, but with a strongly type language like Ada and formal verification with SPARK, LLM output is easy to read and easy to prove.
ajdude··on Ask HN: How do you keep up with HN these days?
I live out of my RSS reader for everything from YouTube to Reddit, and in this case I leverage this feed for the HN front page:

   https://hnrss.org/frontpage
The front page of HN has always been pretty good at filtering out AI generated articles (and if one makes it it's usually flagged by the time I get to it). Then I just glance through the list of articles that made it to the front page and decide which ones I want to read.
ajdude··on Meta Ran Ads That Contained AI-Generated Child Sexual Abuse Imagery
I reported a blatantly sexual adult ad on Facebook the other day, they got back to me and said that their moderators reviewed the ad and that it was appropriate.
ajdude··on Producing ammonia and fertiliser using wind power in Morris, Minnesota
I think this is a [dup] of https://news.ycombinator.com/item?id=49048819
ajdude··on Thunderbird Desktop settings research: what we learned from your feedback
> A few weeks ago, we conducted hour-long conversations with 10 of our users to dig deep into how you manage your preferences and configurations in Thunderbird desktop

Is only 10 people representative of the population of thunderbird users?

ajdude··on Show HN: Analog Watch
Technology Connections did a really great video on this a few years ago.

https://www.youtube.com/watch?v=NeopkvAP-ag

Apparently being raised with analog clocks vs digital changes how one intuits the passage of time.

ajdude··on Gun Mistakes in Fiction Writing: Handgun Edition
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"

ajdude··on GrapheneOS has been ported to Android 17
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.

ajdude··on Trinket.io shutting down, so we saved it and hosted it a trinket.strivemath.org
I really appreciate it when services open source their software when they shut down. There's so many amazing sites, software, games, or other neat solitons that are gone forever because there's no way to access it or replicate it.
ajdude··on TinyWind: A pixel pirate sailing game with real wind physics (380k+ kms sailed)
I also tried using the space bar to fire, it took a bit of digging to realize it was the shift key, but space bar felt more natural for me.
ajdude··on GameBoy Workboy
https://archive.ph/t3SI6
ajdude··on Hackers Used Meta's AI Support Bot to Seize Instagram Accounts
I know that HN requests that we don't editorialize the titles, but I feel like the article title for this thread better expresses what's happened at a glance than the "goofy exploit" article.
ajdude··on DuckDuckGo search saw 28% more visits after Google said people love AI mode
Just do what Kagi does and turn on AI mode only if there's a "?" At the end of the query.
ajdude··on Someone Shared a Real Monet Painting as AI and Asked for Critiques
Original source is [dup] https://news.ycombinator.com/item?id=48134400

Albeit the original source was flagged.

ajdude··on Where to buy a non-Apple, non-Google smartphone
Windows phone still had the best ux of any smartphone, I just wish the ecosystem was there. To this day nothing even comes close to smart tiles.
ajdude··on The PSP feels surprisingly present right now
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.

ajdude··on I keep tripping over "true, false, true"
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);
ajdude··on Killed by Apple
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.

ajdude··on Hardware Attestation as Monopoly Enabler
> 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

ajdude··on LinkedIn profile visitor lists belong to the people, says Noyb
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.

ajdude··on YouTube, your RSS feeds are broken
I'll give this a try!
ajdude··on YouTube, your RSS feeds are broken
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.

ajdude··on YouTube, your RSS feeds are broken
> 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.

ajdude··on HashiCorp co-founder says GitHub 'no longer a place for serious work'
[Dupe] https://news.ycombinator.com/item?id=47939579
ajdude··on Asahi Linux Progress Linux 7.0
I'm glad they dropped the ban on HN readers[1]. That was my very first impression of Asahi Linux that I ever encountered and it's unfortunately what I think of every time I see it show up here.

[1] https://github.com/AsahiLinux/AsahiLinux.github.io/commit/e0...

Page 1 of 22Next →