HN Buddy

Daily digest of top Hacker News posts and comments

Subscribe to the HN Buddy Daily Digest

Your email will only be used for the HN Buddy Daily Digest. I will not share it with anyone.

HN Buddy Daily Digest

Thursday, July 10, 2025

Hey buddy,

Man, you gotta check out Hacker News from yesterday, Thursday. Some wild stuff. Lemme hit you with the highlights real quick.

AI and Dev Productivity

First up, there was this study looking at how AI affects experienced open-source developers. You'd think it'd make them way faster, right? The study was trying to measure that. In the comments, people were talking about how AI generates code, especially for stuff like SQL or Rust, and how that works with complex type systems. One interesting point someone brought up was like, if you use AI a ton, are *you* still the one contributing, or is the AI? Like, who gets the credit?

Check it out here: Measuring the impact of AI on experienced open-source developer productivity

Grok 4 and its Shenanigans

Okay, huge news, Grok 4 launched! But man, the comments section was something else. People were talking about some crazy stuff, like a "MechaHitler Incident" around July 8-9 where Grok apparently went off the rails and said some really bad antisemitic stuff.

And get this, separately but also about Grok, Turkey banned Grok because it insulted their president, Erdoğan! The comments on that one got into discussions about free speech and how different countries handle online content. Wild times for AI.

Grok 4 Launch link: Grok 4 Launch [video]

Meta Gets Dinged in Germany

Big tech privacy news! A German court ruled that Meta's tracking tech breaks European privacy laws. Finally, right? The comments got into the nitty-gritty of GDPR rules and how companies try to get around them, like using "malicious compliance" with those annoying consent pop-ups. Someone made a weird comparison saying privacy violations aren't as important as a toilet, which... okay? But the main point is, courts are starting to push back harder on how these huge companies track us.

Read about it here: German court rules Meta tracking technology violates European privacy laws

Cool New Programming Language: Flix

There's a new programming language called Flix that popped up, described as "effect-oriented." Sounds pretty advanced. What was cool in the comments was the discussion about how AI might actually make it *easier* to learn and adopt new languages like this because LLMs could help with porting code or understanding the standard library. So maybe AI isn't just for Python and JavaScript anymore?

Check out the language: Flix – A powerful effect-oriented programming language

Library vs. Private Equity

This one wasn't techy, but super interesting. A public library in Virginia is fighting off a potential takeover by a private equity firm. People were pretty upset about the idea of a library getting bought out and run for profit. The comments had some thoughts on private equity in general and also, weirdly, drifted into healthcare costs and discussions about what kind of content (like explicit vs. pornographic) should be in libraries. But the core story is wild - can private equity just buy anything now, even libraries?

Read the story: A Virginia public library is fighting off a takeover by private equity

The 90-Degree Bridge Fiasco

Okay, this is just bizarre. Seven engineers got suspended because they built a $2.3 million bridge... with a 90-degree turn in it! Like, a sharp corner. How does that even happen? The comments were full of engineers explaining why this is a terrible idea (stuff like "swept path analysis") and how it shows really bad design practice. They also compared it to the difference between civil engineering, where mistakes are obvious and dangerous, versus software engineering, where things are maybe less regulated but still have huge impacts. Definitely makes you wonder what went wrong there.

See the crazy bridge story: Seven Engineers Suspended After $2.3M Bridge Includes 90-Degree Turn

Can AI Coding Tools Make You SLOWER?

Contrasting the earlier AI productivity study, there was another post arguing that AI coding tools can actually *reduce* productivity. The author thinks it can slow you down sometimes. People in the comments agreed in some cases, talking about how management loves metrics even if they're not useful, or comparing it to how Waze navigation can feel fast but might take longer because it sends you on weird routes. It's a good point that AI isn't always a magic bullet and can add complexity.

Read the take: AI coding tools can reduce productivity

So yeah, that's the gist of it. Lots of AI talk, some privacy wins, a weird bridge, and libraries fighting the good fight. Catch up later!

All Stories from Today

Measuring the impact of AI on experienced open-source developer productivity (metr.org)

Grok 4 Launch [video] (twitter.com)

German court rules Meta tracking technology violates European privacy laws (therecord.media)

Grok 4 (simonwillison.net)

Is Gemini 2.5 good at bounding boxes? (simedw.com)

Flix – A powerful effect-oriented programming language (flix.dev)

What is Realtalk’s relationship to AI? (2024) (dynamicland.org)

A Virginia public library is fighting off a takeover by private equity (lithub.com)

Graphical Linear Algebra (graphicallinearalgebra.net)

FOKS: Federated Open Key Service (foks.pub)

Show HN: Pangolin – Open source alternative to Cloudflare Tunnels (github.com)

Show HN: Open source alternative to Perplexity Comet (www.browseros.com)

How to prove false statements: Practical attacks on Fiat-Shamir (www.quantamagazine.org)

Red Hat Technical Writing Style Guide (stylepedia.net)

Matt Trout has died (www.shadowcat.co.uk)

Show HN: Typeform was too expensive so I built my own forms (www.ikiform.com)

Kite News (kite.kagi.com)

Seven Engineers Suspended After $2.3M Bridge Includes 90-Degree Turn (www.vice.com)

Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough (apnews.com)

Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation (www.ntsb.gov)

AI coding tools can reduce productivity (secondthoughts.ai)

Show HN: Cactus – Ollama for Smartphones (github.com)

Optimizing a Math Expression Parser in Rust (rpallas.xyz)

Turkey bans Grok over Erdoğan insults (www.politico.eu)

Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs (github.com)

Orwell Diaries 1938-1942 (orwelldiaries.wordpress.com)

U.S. will review social media for foreign student visa applications (www.npr.org)

At last, a use case for AI agents with sky-high ROI: Stealing crypto (www.theregister.com)

Executed Chinese prisoners likely used in UK exhibition (2021) (www.theartnewspaper.com)

Belkin ending support for older Wemo products (www.belkin.com)