Kimi K3-256k
(news.ycombinator.com)
271.
272.
Code Faster Today … Fail Faster Tomorrow?
(computer.org)
273.
Show HN: Bullshit Detector – agent skills that fact-check videos and articles
(news.ycombinator.com)
274.
SpecForge – A Platform for Authoring Formal Specifications
(news.ycombinator.com)
275.
The Nothing Ear 3A look great… and sound good enough
(theverge.com)
276.
Therabody Promo Codes: 15% Off July 2026
(wired.com)
277.
Codex Security
(news.ycombinator.com)
278.
OpenAI just open-sourced Codex Security
(news.ycombinator.com)
279.
Toolcraft
(news.ycombinator.com)
280.
Google steps up its warnings about the end of this Messages feature
(androidauthority.com)
281.
Instacart's CTO says AI made the company stop worrying about tech debt
(venturebeat.com)
282.
Obfuscation (Part II): Diamond IO
(news.ycombinator.com)
283.
vBulletin fixes critical pre-auth RCE flaw with public exploit
(bleepingcomputer.com)
284.
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
(news.ycombinator.com)
285.
Does Speaking to Agents Like Cavemen Save 65% of Tokens? We Test
(news.ycombinator.com)
286.
Using an open model feels surprisingly good
(news.ycombinator.com)
287.
EYG: A Programming Language for Humans
(news.ycombinator.com)
288.
Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide
(news.ycombinator.com)
289.
DConf 2026 in London
(news.ycombinator.com)
290.
Benchmarking Opus 5 on SlopCodeBench
(news.ycombinator.com)
292.
Codeberg Bans Cryptocurrency and LLM-Generated Code Projects
(slashdot.org)
293.
The Author of Clean Code No Longer Reviews AI-Generated Code
(news.ycombinator.com)
294.
Bytecode-to-Source Mapping
(news.ycombinator.com)
295.
UpCodes (YC S17) is hiring remote AE's to help make buildings cheaper
(news.ycombinator.com)
296.
PGSimCity - How PostgreSQL Works
(news.ycombinator.com)
297.
298.
Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy
(news.ycombinator.com)
299.
300.
The new rules of context engineering for Claude 5 generation models
(news.ycombinator.com)
Today's top topics:
google
apple
android
trump
spacex
debian
openai
encryption
linux kernel
network stack