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

1 points by aguacero7 47s ago 0 comments

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

1 points by justdoitookk 53s ago 0 comments

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

1 points by rntn 1m ago 0 comments

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

1 points by abhilashtdharan 3m ago 0 comments

Sharding Postgres at Network Speed (pgdog.dev)

2 points by levkk 4m ago 0 comments

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

8 points by AbhinavX 7m ago 0 comments

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

1 points by pablovincy 8m ago 1 comments

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

1 points by zigakerec 8m ago 0 comments

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

1 points by gslin 8m ago 0 comments

I Need Your Help

1 points by arshinvests 9m ago 0 comments

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

3 points by todsacerdoti 9m ago 0 comments

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

2 points by kaycebasques 11m ago 0 comments

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

1 points by devooops 11m ago 0 comments

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

2 points by pbardea 11m ago 0 comments

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

2 points by bookofjoe 12m ago 0 comments

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

2 points by theahura 12m ago 0 comments

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

1 points by echoprimeai 14m ago 0 comments

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

1 points by westche2222 14m ago 0 comments

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

1 points by PaulHoule 15m ago 0 comments

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

1 points by azdle 16m ago 0 comments

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

2 points by ericpsimon 16m ago 0 comments

Berkson's Paradox (en.wikipedia.org)

2 points by kaonwarb 17m ago 0 comments

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

2 points by SmartAITools 17m ago 1 comments

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

2 points by AdmiralBrainlag 19m ago 0 comments

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

6 points by Brajeshwar 21m ago 0 comments

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

3 points by Brajeshwar 21m ago 0 comments

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

1 points by Brajeshwar 21m ago 0 comments

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

2 points by openthc 22m ago 0 comments

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

1 points by tosh 22m ago 0 comments

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

1 points by boxedsound 23m ago 0 comments

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

1 points by softwaredoug 23m ago 0 comments

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

1 points by pseudolus 24m ago 0 comments

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

1 points by todsacerdoti 25m ago 0 comments

Lume: The Robotic Lamp (twitter.com)

4 points by pbardea 27m ago 2 comments

Off-CPU Profiling (polarsignals.com)

2 points by heinrichhartman 28m ago 0 comments

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

2 points by marcon680 28m ago 0 comments

Claude.ai do not deliver what I payed for

2 points by theGeatZhopa 29m ago 3 comments

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

1 points by ieuanking 31m ago 1 comments

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

3 points by theamk 32m ago 0 comments

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

2 points by meetpateltech 33m ago 0 comments

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

1 points by tsaifu 33m ago 1 comments

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

1 points by pbardea 33m ago 0 comments

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

2 points by todsacerdoti 35m ago 0 comments

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

1 points by teuteuf 35m ago 0 comments

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

1 points by nithint7 36m ago 0 comments

Russia's Klyuchevskoy Volcano Starts Erupting After Earthquake (newsweek.com)

4 points by snapetom 37m ago 0 comments

Leaver Experience (natkr.com)

2 points by Nullabillity 37m ago 0 comments

Ask HN: B2B, Our idea is nothing unless we find our first pilot

2 points by samehsbs 38m ago 2 comments

Popping the AGI Bubble (seanpedersen.github.io)

4 points by sean_pedersen 38m ago 0 comments

Ask HN: Should they call it the 'America party'?

1 points by westurner 39m ago 3 comments

Intel's potential exit from advanced manufacturing- Impact on Oregon

5 osnium123 0 7/29/2025, 10:58:39 PM oregonlive.com ↗

Comments (0)

No comments yet