Playing Minesweeper with a SMT Solver (github.com)

1 points by stong1 1m ago 0 comments

Cloudflare Announces Proposed Private Offering of $1.75B of Options (businesswire.com)

1 points by davidjfelix 3m ago 0 comments

While o3 Turned Pro (thezvi.substack.com)

1 points by jsnider3 6m ago 0 comments

August 2023 marked the turning point in U.S. drug overdose crisis (news.northwestern.edu)

1 points by geox 9m ago 0 comments

Bsky.storage: Own Your Social Identity (medium.com)

2 points by Kye 9m ago 1 comments

Version Control and the Illusion of Time (substack.com)

1 points by John-16-3 10m ago 0 comments

Why tariffs have yet to drive inflation higher (cnbc.com)

3 points by rntn 14m ago 0 comments

Can AI predict clinical trial outcomes? (baybridgebio.com)

2 points by aaavl2821 15m ago 0 comments

What Do You Expect? The Surprising Power of Placebos (nybooks.com)

2 points by mitchbob 18m ago 1 comments

Altman: We may have passed the point where AI surpasses human intelligence (marketwatch.com)

2 points by elsewhen 19m ago 1 comments

Pied Piper of Hamelin (en.wikipedia.org)

2 points by politelemon 20m ago 0 comments

Ask HN: HN with Just the Tech?

2 points by mieubrisse 21m ago 2 comments

Frequent reauth doesn't make you more secure (tailscale.com)

4 points by ingve 24m ago 0 comments

Show HN: I rebuilt the recruitment process from the ground up (chronoflow.ai)

2 points by ammaramehdghani 25m ago 0 comments

Senator Alex Padilla forcibly removed from Kristi Noem press conference in LA (theguardian.com)

12 points by waterthrowaway 25m ago 0 comments

The abc conjecture almost always – autoformalized (github.com)

1 points by artninja1988 25m ago 0 comments

Multiple GCP products are experiencing issues (status.cloud.google.com)

4 points by bobintornado 25m ago 1 comments

HP Wolf Security Threat Insights June 2025 (threatresearch.ext.hp.com)

1 points by dexter_it 26m ago 0 comments

Experimental retina implants give mice infrared vision (arstechnica.com)

1 points by gametorch 27m ago 0 comments

Trinity: An autoformalization system for verified superintelligence (morph.so)

1 points by artninja1988 27m ago 0 comments

Show HN: Seekeasy – MCP for Restaurant Recs Powered by Social Media Data (smithery.ai)

1 points by samlauj 28m ago 0 comments

Show HN: HyperTemplates, a pure-HTML templating system and static site generator (hypertemplates.net)

1 points by calebhailey 31m ago 0 comments

NPM Is Down (twitter.com)

6 points by hamlett 32m ago 2 comments

Trump launches website for 'gold card' (thehill.com)

6 points by ourmandave 33m ago 0 comments

Everything Is Down

59 points by daxfohl 34m ago 32 comments

Comparison of Android-Based Operating Systems (eylenburg.github.io)

1 points by exceptione 35m ago 1 comments

Emulating an iPhone in QEMU (Part 2) (eshard.com)

1 points by msgodel 37m ago 0 comments

Playing with fire: Harnessing lava to build sustainable cities (news.climate.columbia.edu)

1 points by PaulHoule 37m ago 0 comments

Setting up Android phone to work with Apple Watch and iMessage (keithschacht.com)

1 points by Calvin02 39m ago 0 comments

Trump Looking for People of Color on Craigslist as Seat Fillers on his Parade (reddit.com)

5 points by mandeepj 39m ago 2 comments

Energy Efficiency in Artificial and Biological Intelligence (blog.neurozone.com)

1 points by n1000 41m ago 0 comments

Fearless concurrency in Python with a new ownership model (pyfound.blogspot.com)

2 points by NeutralForest 42m ago 0 comments

Building an agentic app with ClickHouse MCP and CopilotKit (clickhouse.com)

1 points by chkelly9 43m ago 0 comments

NPM Is Down (status.npmjs.org)

5 points by uticus 46m ago 3 comments

Architecture Decision Records (beflagrant.com)

1 points by todsacerdoti 46m ago 0 comments

Csiro Publishing – Pacific Conservation Biology (publish.csiro.au)

1 points by bilsbie 46m ago 0 comments

Firebase Global Outage (status.firebase.google.com)

71 points by superphil0 46m ago 2 comments

Caldwell and Buchheit Are Leaving YC to Start a New Series A Fund (forbes.com)

1 points by coloneltcb 46m ago 0 comments

Nothing Phone (3) will be sold in the US, and with carrier support (9to5google.com)

1 points by voxadam 48m ago 0 comments

AI Fluency Course (anthropic.com)

1 points by saikatsg 48m ago 0 comments

Devin makers: you shouldn't build multi-agent systems (cognition.ai)

1 points by agtestdvn 50m ago 1 comments

Data Science Weekly – Issue 603 (datascienceweekly.substack.com)

1 points by sebg 50m ago 0 comments

Let us bury the linear model of innovation (lemire.me)

1 points by ibobev 51m ago 0 comments

Notes on Managing ADHD (borretti.me)

3 points by ibobev 52m ago 0 comments

Why there's an unexpected surge in people claiming Social Security (npr.org)

1 points by toomuchtodo 52m ago 1 comments

Dalton Caldwell's Move to Partner Emeritus (ycombinator.com)

1 points by todsacerdoti 52m ago 0 comments

Incident Report for Supabase: "Investigating Issues with Our API Gateway" (status.supabase.com)

1 points by slygent 53m ago 0 comments

Quantum Computing without the Linear Algebra [pdf] (eprint.iacr.org)

1 points by marvel_boy 54m ago 0 comments

Embodied AI automating construction and mining, $50M in Funding (aim.vision)

1 points by machines_run 55m ago 0 comments

Use-after-free in CAN BCM subsystem leading to information disclosure (CVE-2023 (allelesecurity.com)

2 points by todsacerdoti 55m ago 0 comments

Mollusk shell assemblages as a tool for identifying unaltered seagrass beds

2 PaulHoule 0 6/11/2025, 11:40:10 PM int-res.com ↗

Comments (0)

No comments yet