Gilles Dowek, automated theorem proving pioneer, passed away

https://www.lemonde.fr/disparitions/article/2025/07/21/gilles-dowek-informaticien-engage-et-vulgarisateur-est-mort_6622858_3382.html

1•dkural•2m ago•0 comments

This walking robot is controlled by a mushroom

https://www.imeche.org/news/news-article/this-walking-robot-is-controlled-by-a-mushroom

1•voxadam•3m ago•0 comments

History of the RJ45: A Case of Mistaken Identity (2020)

https://www.flukenetworks.com/blog/cabling-chronicles/history-rj45-case-mistaken-identity

1•SerCe•10m ago•0 comments

Two Simple Rules to Fix Code Reviews

https://serce.me/posts/2025-07-17-two-simple-rules-to-fix-code-reviews

1•SerCe•11m ago•0 comments

I Built QZ–and How Echelon Is Now Breaking It

https://robertoviola.cloud/2025/07/22/how-i-built-qz-and-how-echelon-is-now-breaking-it/

2•OsrsNeedsf2P•16m ago•0 comments

Grindr Won't Let Users Say 'No Zionists'

https://www.404media.co/grindr-no-zionists-error-message/

2•pabs3•18m ago•0 comments

What Happened to Maybe.co?

https://maybe.co/

2•HighlandSpring•18m ago•2 comments

A walk through building serverless ATProto applications on Cloudflare

https://blog.cloudflare.com/serverless-atproto/

4•galactus•20m ago•0 comments

Tea, a women only app, suffers massive data breach

https://www.dexerto.com/entertainment/tea-suffers-massive-data-breach-as-4chan-user-discovers-all-collected-personal-data-was-public-3230687/

3•dsr12•24m ago•0 comments

Finding the Shape of My Thoughts

https://sachachua.com/blog/2025/07/finding-the-shape-of-my-thoughts/

2•JNRowe•24m ago•0 comments

Hacking Dormant Bitcoin Wallets in C

https://leetarxiv.substack.com/p/hacking-dormant-bitcoin-wallets-c

1•thunderbong•24m ago•0 comments

First-Ever Antimatter Qubit, Making the Quantum World Even Weirder

https://gizmodo.com/physicists-create-first-ever-antimatter-qubit-making-quantum-world-even-weirder-2000634528

3•Bluestein•26m ago•0 comments

Meta Superintelligence Labs Chief Scientist: Former GPT4 Cocreator Shengjia Zhao

https://venturebeat.com/ai/meta-announces-its-superintelligence-labs-chief-scientist-former-openai-gpt-4-co-creator-shengjia-zhao/

2•Bluestein•28m ago•0 comments

Scientists make revelation about origins of life on Earth

https://www.independent.co.uk/bulletin/news/life-earth-outer-space-scientists-b2796347.html

1•Bluestein•32m ago•0 comments

The Problem with Rewards Credit Cards

https://www.theatlantic.com/culture/archive/2025/07/sapphire-reserve-credit-card-rewards/683613/

4•zeroonetwothree•35m ago•2 comments

GlobalComix Gold lowers price to $6.99/mo, adds same-day IDW Comics

https://www.comicsbeat.com/globalcomix-gold-membership-idw-comics/

1•PaulHoule•40m ago•0 comments

The Tonto Synthesizer

https://artsandculture.google.com/story/tonto-national-music-centre/SAXxricZmilYLw?hl=en

2•1123581321•40m ago•0 comments

Old paradigm spoiling new – MCP's Structured Output undermines the point of MCP

https://github.com/orgs/modelcontextprotocol/discussions/512

1•Norcim133•41m ago•1 comments

How AI Wreaked Havoc on the Lo-Fi Beat Scene

https://pitchfork.com/thepitch/how-ai-wreaked-havoc-on-the-lo-fi-beat-scene/

2•CharlesW•41m ago•0 comments

What Tea Got Wrong (and how to avoid it) [video]

https://www.youtube.com/watch?v=mMvfBUNNKIY

3•calexanderaz•42m ago•0 comments

DJI couldn't confirm or deny it disguised this drone to evade a US ban

https://www.theverge.com/report/714103/dji-skyrover-x1-evade-ban-amazon

6•sea-gold•42m ago•0 comments

Gnome Calendar: A New Era of Accessibility Achieved in 90 Days

https://tesk.page/2025/07/25/gnome-calendar-a-new-era-of-accessibility-achieved-in-90-days/

6•todsacerdoti•52m ago•0 comments

Ask HN: What if emotion could be written in logic?

https://github.com/contribution-protocol/contribution-protocol-project/blob/main/p2p_contribution_model_part1_v.1.1.md

3•mzk_pi•55m ago•1 comments

Microsoft admits it 'cannot guarantee' data sovereignty

https://www.theregister.com/2025/07/25/microsoft_admits_it_cannot_guarantee/

9•exiguus•56m ago•0 comments

FCC green-lights Skydance/Paramount deal after CBS concessions

https://www.politico.com/news/2025/07/24/fcc-greenlights-skydance-paramount-cbs-00476030

3•bdev12345•58m ago•0 comments

We mapped Jeffrey Epstein's social network. Here's what we found

https://america2.news/we-mapped-jeffrey-epsteins-social-network-heres-what-we-found/

9•exiguus•1h ago•0 comments

AI and ML AI industry's size obsession is killing ROI, engineer argues

https://www.theregister.com/2025/07/23/ai_size_obsession/

3•b-man•1h ago•0 comments

Tea App hacked days after becoming top free app on Apple's App Store – over 72,0

https://economictimes.indiatimes.com/news/international/us/tea-app-hacked-news-tea-app-hacked-days-after-becoming-top-free-app-on-apples-app-store-over-72000-images-leaked-data-breach-news-tea-app-news/articleshow/122913886.cms?from=mdr

2•thesecretceo•1h ago•0 comments

Female Founders Outperform Their Male Counterparts but Receive Much Less Funding

https://www.inc.com/annabel-burba/female-founders-outperform-their-male-counterparts-but-receive-much-less-funding-study-finds/91212886

3•exiguus•1h ago•0 comments

A satellite just used AI to make its own decisions in space

https://thenextweb.com/news/ai-satellite-space-nasa-opencosmos-ubotica

2•geox•1h ago•1 comments

Gilles Dowek, automated theorem proving pioneer, passed away

This walking robot is controlled by a mushroom

History of the RJ45: A Case of Mistaken Identity (2020)

Two Simple Rules to Fix Code Reviews

I Built QZ–and How Echelon Is Now Breaking It

Grindr Won't Let Users Say 'No Zionists'

What Happened to Maybe.co?

A walk through building serverless ATProto applications on Cloudflare

Tea, a women only app, suffers massive data breach

Finding the Shape of My Thoughts

Hacking Dormant Bitcoin Wallets in C

First-Ever Antimatter Qubit, Making the Quantum World Even Weirder

Meta Superintelligence Labs Chief Scientist: Former GPT4 Cocreator Shengjia Zhao

Scientists make revelation about origins of life on Earth

The Problem with Rewards Credit Cards

GlobalComix Gold lowers price to $6.99/mo, adds same-day IDW Comics

The Tonto Synthesizer

Old paradigm spoiling new – MCP's Structured Output undermines the point of MCP

How AI Wreaked Havoc on the Lo-Fi Beat Scene

What Tea Got Wrong (and how to avoid it) [video]

DJI couldn't confirm or deny it disguised this drone to evade a US ban

Gnome Calendar: A New Era of Accessibility Achieved in 90 Days

Ask HN: What if emotion could be written in logic?

Microsoft admits it 'cannot guarantee' data sovereignty

FCC green-lights Skydance/Paramount deal after CBS concessions

We mapped Jeffrey Epstein's social network. Here's what we found

AI and ML AI industry's size obsession is killing ROI, engineer argues

Tea App hacked days after becoming top free app on Apple's App Store – over 72,0

Female Founders Outperform Their Male Counterparts but Receive Much Less Funding

A satellite just used AI to make its own decisions in space

Bereshit R* Analytics

Gilles Dowek, automated theorem proving pioneer, passed away

This walking robot is controlled by a mushroom

History of the RJ45: A Case of Mistaken Identity (2020)

Two Simple Rules to Fix Code Reviews

I Built QZ–and How Echelon Is Now Breaking It

Grindr Won't Let Users Say 'No Zionists'

What Happened to Maybe.co?

A walk through building serverless ATProto applications on Cloudflare

Tea, a women only app, suffers massive data breach

Finding the Shape of My Thoughts

Hacking Dormant Bitcoin Wallets in C

First-Ever Antimatter Qubit, Making the Quantum World Even Weirder

Meta Superintelligence Labs Chief Scientist: Former GPT4 Cocreator Shengjia Zhao

Scientists make revelation about origins of life on Earth

The Problem with Rewards Credit Cards

GlobalComix Gold lowers price to $6.99/mo, adds same-day IDW Comics

The Tonto Synthesizer

Old paradigm spoiling new – MCP's Structured Output undermines the point of MCP

How AI Wreaked Havoc on the Lo-Fi Beat Scene

What Tea Got Wrong (and how to avoid it) [video]

DJI couldn't confirm or deny it disguised this drone to evade a US ban

Gnome Calendar: A New Era of Accessibility Achieved in 90 Days

Ask HN: What if emotion could be written in logic?

Microsoft admits it 'cannot guarantee' data sovereignty

FCC green-lights Skydance/Paramount deal after CBS concessions

We mapped Jeffrey Epstein's social network. Here's what we found

AI and ML AI industry's size obsession is killing ROI, engineer argues

Tea App hacked days after becoming top free app on Apple's App Store – over 72,0

Female Founders Outperform Their Male Counterparts but Receive Much Less Funding

A satellite just used AI to make its own decisions in space