Benchmarks in CI: Escaping the Cloud Chaos (codspeed.io)

1 points by art049 1m ago 0 comments

Trentarev – AI Powered Stock calls for everyday traders

1 points by aradhyashaswat 1m ago 1 comments

Archaeologists Keep Finding Shoes at an Ancient Roman Fort (smithsonianmag.com)

1 points by janandonly 1m ago 0 comments

Rusdown: A Fast JavaScript Markdown Parser Powered by WASM/Rust (github.com)

1 points by theThree 1m ago 0 comments

How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project (tower.dev)

1 points by bradhe 1m ago 0 comments

Show HN: RKIK v0.6.0 – A stateless NTP inspection CLI (Rust, async, no root) (github.com)

1 points by aguacero7 2m ago 0 comments

Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics) (medium.com)

1 points by justdoitookk 3m ago 0 comments

Italy says Meta may be violating law with AI in WhatsApp (theregister.com)

1 points by rntn 3m ago 0 comments

Show HN: I built a Fivetran cost monitor app natively on Snowflake (app.snowflake.com)

1 points by abhilashtdharan 5m ago 0 comments

Sharding Postgres at Network Speed (pgdog.dev)

2 points by levkk 6m ago 0 comments

Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production

10 points by AbhinavX 9m ago 0 comments

Add internal/external link to 100s of keywrds/phrases in 1 minute (proofwidget.com)

1 points by pablovincy 10m ago 1 comments

Show HN: Vibe Foto editor, no mouse, just prompt (fotovibe.art)

1 points by zigakerec 10m ago 0 comments

Fair 0.4.0 now can install WordPress plugins via FAIR protocol (github.com)

1 points by gslin 11m ago 0 comments

I Need Your Help

1 points by arshinvests 11m ago 0 comments

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code (philipzucker.com)

3 points by todsacerdoti 11m ago 0 comments

Castelo Rá-Tim-Bum (en.wikipedia.org)

2 points by kaycebasques 13m ago 0 comments

The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog) (sigops.org)

1 points by devooops 14m ago 0 comments

The Hole in the Sky That We Fixed (every.to)

2 points by pbardea 14m ago 0 comments

The Surprising Durability of Africa's Colonial Borders (noemamag.com)

2 points by bookofjoe 14m ago 0 comments

Silicon Valley Is Wrong about Federal University Funding (theahura.substack.com)

2 points by theahura 14m ago 0 comments

Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said

2 points by echoprimeai 16m ago 0 comments

Show HN: A boilerplate to launch your SaaS in a weekend (saaskitt.com)

1 points by westche2222 17m ago 0 comments

Dark Matter Search via the 229Th Nuclear Lineshape from Laser Spectroscopy (journals.aps.org)

1 points by PaulHoule 17m ago 0 comments

HTML Day 2025 – Saturday, August 2nd (html.energy)

1 points by azdle 18m ago 0 comments

Show HN: Term – Rust-based data validation with OpenTelemetry (github.com)

2 points by ericpsimon 18m ago 0 comments

Berkson's Paradox (en.wikipedia.org)

2 points by kaonwarb 20m ago 0 comments

A free AI starter kit – made to reduce noise, not add to it

2 points by SmartAITools 20m ago 1 comments

A cycle-accurate simulation of the MOS 6502 CPU (github.com)

2 points by AdmiralBrainlag 21m ago 0 comments

Troubling scenes from an Arctic in full-tilt crisis (grist.org)

6 points by Brajeshwar 23m ago 0 comments

Why plane turbulence is becoming more frequent – and more severe (bbc.com)

3 points by Brajeshwar 23m ago 0 comments

Google says it will sign EU's AI code of practice (techcrunch.com)

1 points by Brajeshwar 24m ago 0 comments

Selling open source technology to the government (openthc.com)

2 points by openthc 24m ago 0 comments

Qwen3-30B-A3B-Thinking-2507 (twitter.com)

1 points by tosh 25m ago 0 comments

Show HN: A free no signup App Store Asset tool (app-store-image-gen.vercel.app)

1 points by boxedsound 25m ago 0 comments

The tradeoff between human and AI context (softwaredoug.com)

1 points by softwaredoug 25m ago 0 comments

First passenger jet was a luxurious death trap. It's been brought back to life (cnn.com)

1 points by pseudolus 27m ago 0 comments

Upstream target support for CHERI-enabled architectures (discourse.llvm.org)

1 points by todsacerdoti 27m ago 0 comments

Lume: The Robotic Lamp (twitter.com)

4 points by pbardea 29m ago 2 comments

Off-CPU Profiling (polarsignals.com)

2 points by heinrichhartman 30m ago 0 comments

Context engineering for production-grade web agents (simplex.sh)

2 points by marcon680 31m ago 0 comments

Claude.ai do not deliver what I payed for

3 points by theGeatZhopa 31m ago 3 comments

I tricked study mode by saying that generating the full HW is the HW (twitter.com)

2 points by ieuanking 33m ago 1 comments

YouTube rolls out age estimation model in US to detect people under 18 (support.google.com)

3 points by theamk 34m ago 0 comments

Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise (mistral.ai)

2 points by meetpateltech 35m ago 0 comments

Building a Mental Model AI (johnoct.github.io)

1 points by tsaifu 35m ago 1 comments

Foundational Data Structures (and Their Weird Cousins) Explained (blog.mohitnagaraj.in)

1 points by pbardea 35m ago 0 comments

Agentic Coding Things That Didn't Work (lucumr.pocoo.org)

2 points by todsacerdoti 37m ago 0 comments

Show HN: Treasure Guessr – A map-based web game (play.treasureguessr.com)

1 points by teuteuf 38m ago 0 comments

Show HN: I built a calorie tracking app that grows a garden (aja.club)

2 points by nithint7 38m ago 0 comments

Boring's tunnel employees say they feared for their lives (2024)

15 OutOfHere 2 7/29/2025, 10:21:44 PM fortune.com ↗

Comments (2)

this15testing · 9h ago

still no hyperloop after all this time? what a surprise! these people risk their lives to build a tunnel for cars, maybe someone should have told all knowing all powerful elon that tunnels for cars have existed for over 100 years: https://en.wikipedia.org/wiki/2nd_Street_Tunnel

actionfromafar · 16h ago

Ah, that pesky OSHA.

https://www.theatlantic.com/ideas/archive/2025/05/doge-silic...