Gilles Dowek, automated theorem proving pioneer, passed away (lemonde.fr)

1 points by dkural 2m ago 0 comments

This walking robot is controlled by a mushroom (imeche.org)

1 points by voxadam 3m ago 0 comments

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

1 points by SerCe 10m ago 0 comments

Two Simple Rules to Fix Code Reviews (serce.me)

1 points by SerCe 11m ago 0 comments

I Built QZ–and How Echelon Is Now Breaking It (robertoviola.cloud)

2 points by OsrsNeedsf2P 16m ago 0 comments

Grindr Won't Let Users Say 'No Zionists' (404media.co)

2 points by pabs3 18m ago 0 comments

What Happened to Maybe.co? (maybe.co)

2 points by HighlandSpring 18m ago 2 comments

A walk through building serverless ATProto applications on Cloudflare (blog.cloudflare.com)

4 points by galactus 20m ago 0 comments

Tea, a women only app, suffers massive data breach (dexerto.com)

3 points by dsr12 24m ago 0 comments

Finding the Shape of My Thoughts (sachachua.com)

2 points by JNRowe 24m ago 0 comments

Hacking Dormant Bitcoin Wallets in C (leetarxiv.substack.com)

1 points by thunderbong 25m ago 0 comments

First-Ever Antimatter Qubit, Making the Quantum World Even Weirder (gizmodo.com)

3 points by Bluestein 26m ago 0 comments

Meta Superintelligence Labs Chief Scientist: Former GPT4 Cocreator Shengjia Zhao (venturebeat.com)

2 points by Bluestein 28m ago 0 comments

Scientists make revelation about origins of life on Earth (independent.co.uk)

1 points by Bluestein 32m ago 0 comments

The Problem with Rewards Credit Cards (theatlantic.com)

4 points by zeroonetwothree 35m ago 2 comments

GlobalComix Gold lowers price to $6.99/mo, adds same-day IDW Comics (comicsbeat.com)

1 points by PaulHoule 40m ago 0 comments

The Tonto Synthesizer (artsandculture.google.com)

2 points by 1123581321 40m ago 0 comments

Old paradigm spoiling new – MCP's Structured Output undermines the point of MCP (github.com)

1 points by Norcim133 41m ago 1 comments

How AI Wreaked Havoc on the Lo-Fi Beat Scene (pitchfork.com)

2 points by CharlesW 42m ago 0 comments

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

3 points by calexanderaz 42m ago 0 comments

DJI couldn't confirm or deny it disguised this drone to evade a US ban (theverge.com)

6 points by sea-gold 42m ago 0 comments

Gnome Calendar: A New Era of Accessibility Achieved in 90 Days (tesk.page)

6 points by todsacerdoti 52m ago 0 comments

Ask HN: What if emotion could be written in logic? (github.com)

3 points by mzk_pi 55m ago 1 comments

Microsoft admits it 'cannot guarantee' data sovereignty (theregister.com)

9 points by exiguus 56m ago 0 comments

FCC green-lights Skydance/Paramount deal after CBS concessions (politico.com)

3 points by bdev12345 58m ago 0 comments

We mapped Jeffrey Epstein's social network. Here's what we found (america2.news)

9 points by exiguus 1h ago 0 comments

AI and ML AI industry's size obsession is killing ROI, engineer argues (theregister.com)

3 points by b-man 1h ago 0 comments

Tea App hacked days after becoming top free app on Apple's App Store – over 72,0 (economictimes.indiatimes.com)

2 points by thesecretceo 1h ago 0 comments

Female Founders Outperform Their Male Counterparts but Receive Much Less Funding (inc.com)

3 points by exiguus 1h ago 0 comments

A satellite just used AI to make its own decisions in space (thenextweb.com)

2 points by geox 1h ago 1 comments

50x rendering speed improvements in Hologram (Elixir web framework) (hologram.page)

1 points by bartblast 1h ago 1 comments

Time Magazine 100 Best Podcasts of All Time (time.com)

2 points by fsckboy 1h ago 1 comments

Show HN: Open-source macOS CLI tool for aliasing and timing command line runs (github.com)

2 points by frankbyte 1h ago 0 comments

Show HN: CUDA Fractal Renderer (github.com)

2 points by tripplyons 1h ago 0 comments

Suno Radio: a live stream where listeners don't just tune in – they create (suno.com)

2 points by bradddd 1h ago 0 comments

Anker is no longer selling 3D Printers (theverge.com)

8 points by geerlingguy 1h ago 0 comments

Show HN: Baag – Easily run multiple AI coding agents on the same project (github.com)

2 points by pranav7 1h ago 1 comments

Show HN: StackSafe, Taming Recursion in Rust Without Stack Overflow (fast.github.io)

2 points by tison 1h ago 0 comments

Shengjia Zhao to Lead Meta's AI Superintelligence Lab (cnbc.com)

2 points by kristianp 1h ago 0 comments

What Is the Maillard Reaction? [video] (youtube.com)

1 points by oliverulerich 1h ago 0 comments

You can finally run Doom and other graphical apps in Android's Linux Terminal (androidauthority.com)

1 points by sipofwater 1h ago 1 comments

You're holding it wrong The double loop model for agentic coding (testdouble.com)

1 points by tortilla 1h ago 0 comments

Supply-chain attacks on open source software are getting out of hand (arstechnica.com)

4 points by jnord 1h ago 1 comments

Looking for a creative coder to help build the future of emotional tech (feelapp.io)

1 points by johnnymaroney 1h ago 1 comments

Microsoft CEO's memo explaining why there are layoffs while making profits (businessinsider.com)

4 points by newbie578 1h ago 1 comments

The unique human body part that evolution cannot explain (independent.co.uk)

2 points by docmechanic 1h ago 1 comments

The Talk Show: 'The Shift-2 Crowd' (daringfireball.net)

1 points by Bogdanp 1h ago 0 comments

A Fact-Grounded Multimodal Writing Assistant Based on Offline Knowledge Base (arxiv.org)

2 points by PaulHoule 1h ago 0 comments

Anthropic Faces Potentially "Business-Ending" Copyright Lawsuit (obsolete.pub)

2 points by saurik 1h ago 1 comments

You expect principles but should wish for none (world.hey.com)

2 points by blueridge 1h ago 0 comments

Always Check Your Tests Against Faulty Inputs

2 speckx 0 7/24/2025, 3:36:44 PM blog.ipspace.net ↗

Comments (0)

No comments yet