ajdude

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 code…

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 …

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.

I think this is a [dup] of https://news.ycombinator.com/item?id=49048819

> 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 representat…

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 …

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 gunpowd…

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…

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…

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.

https://archive.ph/t3SI6

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&quo…

Just do what Kagi does and turn on AI mode only if there's a "?" At the end of the query.

Original source is [dup] https://news.ycombinator.com/item?id=48134400 Albeit the original source was flagged.…

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.

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 M…

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: …

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 fir…

> 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 requir…

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 …

I'll give this a try!

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,…