New Stories

Comments (0)

palata · 16h ago

The point of the boycott is not that it will be cheaper for Canadians in the first place...

abduhl · 14h ago

I despise “articles” like this. It is an article based on a Reddit post of another article which 1) quotes a couple Reddit users and 2) links to the original article linked to in the Reddit post. It has almost zero original content and zero substantive original content. I’d rather read AI slop.

Here is the original informative article: https://www.cbc.ca/news/canada/affordable-vacation-canada-1....

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

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

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

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

Sharding Postgres at Network Speed (pgdog.dev)

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

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

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

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

I Need Your Help

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

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

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

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

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

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

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

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

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

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

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

Berkson's Paradox (en.wikipedia.org)

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

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

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

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

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

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

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

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

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

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

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

Lume: The Robotic Lamp (twitter.com)

Off-CPU Profiling (polarsignals.com)

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

Claude.ai do not deliver what I payed for

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

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

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

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

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

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

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

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

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

Leaver Experience (natkr.com)

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

Popping the AGI Bubble (seanpedersen.github.io)

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

Comments (0)