1

Quantum Automated Theorem Proving (arxiv.org)

by 7777777phil a minute ago | hide | 0 comments

1

Verizon Outage (apnews.com)

by zephyreon a minute ago | hide | 0 comments

1

The State of OpenSSL for pyca/cryptography (cryptography.io)

by SGran 3 minutes ago | hide | 0 comments

1

Show HN: Distribute AI agent test runs across your spare machines via `rr` (github.com)

by RileyHilliard 7 minutes ago | hide | 0 comments

2

Ui.dev and Fireship Join Forces (fireship.dev)

by JustSkyfall 8 minutes ago | hide | 0 comments

4

Germany joins European partners with troop deployment to Greenland (reuters.com)

by consumer451 9 minutes ago | hide | 0 comments

1

Our First Public Parks: The Forgotten History of Cemeteries (2011) (theatlantic.com)

by toomuchtodo 11 minutes ago | hide | 1 comments

1

Simple to Ornate and Back Again (josem.co)

by nikodunk 13 minutes ago | hide | 0 comments

1

Show HN: quick-sync. TikTok-esque video switch using WebRTC (github.com)

by Sean-Der 13 minutes ago | hide | 1 comments

2

Distributed SQL engine for ultra-wide tables

by synsqlbythesea 14 minutes ago | hide | 0 comments

3

Data centers are amazing. Everyone hates them (technologyreview.com)

by rbanffy 15 minutes ago | hide | 2 comments

3

A Times Reporter Goes Inside a Cyberscam Center in a War Zone (nytimes.com)

by smurda 15 minutes ago | hide | 0 comments

1

Dokploy uses a shared Swarm network with a hardcoded database password (github.com)

by computergert 16 minutes ago | hide | 0 comments

3

AI and the Joy of Programming (lbrito.ca)

by lbrito 16 minutes ago | hide | 0 comments

1

Peering Below Callisto's Icy Crust with Alma (universetoday.com)

by rbanffy 16 minutes ago | hide | 0 comments

1

Mount Algidus Station – 54,680 acres in NZ (sothebysrealty.com)

by noitpmeder 16 minutes ago | hide | 0 comments

4

Oracle sued by bondholders over losses tied to AI buildout (finance.yahoo.com)

by zerosizedweasle 17 minutes ago | hide | 0 comments

3

Show HN: Claude Code Scheduler (github.com)

by jshchnz 20 minutes ago | hide | 0 comments

1

How do small property management teams handle data entry from tenant documents?

by scannyai 22 minutes ago | hide | 0 comments

3

Digg launches its new Reddit rival to the public (techcrunch.com)

by PStamatiou 23 minutes ago | hide | 2 comments

2

Distributed Tracing Is Overrated (mosheshaham.substack.com)

by puppion 24 minutes ago | hide | 0 comments

3

Houston straw purchasing ring charged with smuggling firearms to North Korea (justice.gov)

by 737min 25 minutes ago | hide | 1 comments

1

The convoy phenomenon in lock contention (blog.acolyer.org)

by fanf2 26 minutes ago | hide | 0 comments

1

Show HN: Muti Metroo, my multi-hop VPN-like mesh tunnel with no root privileges (mutimetroo.com)

by andris9 26 minutes ago | hide | 0 comments

1

Show HN: Nauma – financial planning for people in tech

by alx_sukhanov 26 minutes ago | hide | 0 comments

1

A Robot Learns to Lip Sync (engineering.columbia.edu)

by geox 27 minutes ago | hide | 0 comments

1

iOS Live Activities in React Native (use-voltra.dev)

by yehiaabdelm 28 minutes ago | hide | 0 comments

1

Relocating Rigor (aicoding.leaflet.pub)

by PretzelFisch 29 minutes ago | hide | 0 comments

1

What happens when you combine mind mapping with courses? (pathmind.app)

by WebToolsCaE 32 minutes ago | hide | 1 comments

1

Gemini's new Personal Intelligence will look through your emails and photos (zdnet.com)

by daniel_iversen 33 minutes ago | hide | 1 comments

[MAD] Hacker News