Pgtestdb''s template cloning approach to testing is fast (brandur.org)
I think I made my own web version of minimalistic audacity (github.com)
Claude-account – switch Claude Code accounts without logging in again (github.com)
Postgres rewritten in Rust v0.2, now faster than Postgres and ClickHouse (github.com)
Physicists Solve a Muon Mystery. Now, Old Results Don''t Add Up (www.quantamagazine.org)
RCade: The Arcade Cabinet with CI/CD Deployment, Custom Graphics Card for CRT [video] (www.youtube.com)
Upper stage impacting the moon on 2026 August 5 (www.projectpluto.com)
Gemini Robotics 2 brings whole body intelligence to robots (deepmind.google)
The Economic Benefit of Refactoring (martinfowler.com)
Paging Through a Parquet File in DuckDB: File_row_number or Offset? (rusty.today)
Git worktrees are not an isolation boundary for coding agents (fletch.sh)
SDL_GPU minimal, single-header, high-performance 2D graphics painting library (github.com)
Trusted URLs via Cryptographic Signatures (blog.certisfy.com)
Hacker Public Radio (hackerpublicradio.org)
Why DNA damage from smoking and UV rays cause cancer in some but not others (www.cam.ac.uk)
The Lost Civic Life of Movie Rental Stores (thereader.mitpress.mit.edu)
I audited my AI leaderboard scale – every score dropped 6-15 points (agiranker.com)
Building a native C# implementation of CEL engine (bsid.io)
Going beneath NTFS: USN Journal, dfir_NTFS, and artefact-driven investigations (andreafortuna.org)
Europe''s fires are just the start (economist.com)
Prized (YC S26) – Let non-engineer staff build secure internal tools (prized.dev)
Are We Stuck with Lean? (mathoverflow.net)
You can''t solve computer use by ignoring the interface (steelmanlabs.com)
The Alice and Bob After Dinner Speech (1984) (hex.ooo)
SalesPatriot (YC W25) Is Hiring Full Stack Engineers (SF) (jobs.ashbyhq.com)
RFC 8890 – The Internet is for End Users (2020) (mnot.net)
''VPNs are lawful technical tools,'' says EU Court in landmark copyright ruling (remysharp.com)
Why Is Everyone Trying to Build a Solid-State Battery? (www.construction-physics.com)
OpenJDK Interim Policy on Generative AI (openjdk.org)
Why Don''t People Use Formal Methods? (www.hillelwayne.com)
How Old Is Ann? (quuxplusone.github.io)
:quality(85)/https://andros.dev/media/thumbnails/OpenAI_Playground_2025-07-23_at_10.19.17.png)
What it means for an API to be RESTful (en.andros.dev)
CosmosEscape: Taking over Every Database in Azure Cosmos DB (www.wiz.io)
Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (www.ycombinator.com)
Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (github.com)
GCC steering committee announces AI policy (lwn.net)
I made a game where you build a CPU from logic gates (select.supply)
ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms (www.bloomberg.com)
3D Pinball for Windows (1995) (98.js.org)
Gpiozero Flow (bennuttall.com)
Google will expand age checks on Android worldwide till the end of the year (android-developers.googleblog.com)
Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (github.com)
Carolina Cloud pays SOFR on unused prepaid credits (docs.carolinacloud.io)
Ron Gilbert started production on Thimbleweed Park 2 (www.grumpygamer.com)
Azulejo (en.wikipedia.org)
The Glass Famine (edconway.substack.com)
Concurrency, interactivity, mutability, choose two (www.n16f.net)
The first watch featuring computer functions (by.seiko-design.com)
Edge Drop- #1 productivity and unique clipboard 200 stars on GitHub (github.com)
EU now fears US interference in European elections (www.eunews.it)
I timed 7,194 journeys to find London''s most equidistant pub (equidistance.io)
1,741 "informed" consents with one click? GDPR complaint filed (noyb.eu)
The Royal Order of Operations (ken.fyi)
Thanatos Rising (theamericanscholar.org)
Kuna: Decompiler Development in the Age of Coding Agents (noelo.org)
NSF pilots 4-year PhDs with industry research placements (www.nsf.gov)
Logic for Programmers by Hillel Wayne (logicforprogrammers.com)
A pharmacy chain in Vermont implemented AI for efficiency (vtdigger.org)
Angels in Coptic Magic I: Introduction (www.coptic-magic.phil.uni-wuerzburg.de)
Flume Water Monitor 915 MHz Security Is Pretty Good (waveformsecurity.com)
Starter Homes Are Piling Up While Luxury Homes Fly Off the Market (www.zillow.com)
Recursive Filters: SMA, EMA, Low‑Pass, and a Tiny Kalman (www.staszewski.xyz)
A local merge queue for parallel Claude Code agents (github.com)
PgDog (YC P25) Is Hiring (www.ycombinator.com)
Sell Your AI Skills? (capabase.ai)
The Productivity Mirage (frantic.im)
Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC) (archive.org)
LLM Honeypot (llm2human.pages.dev)
GitHub is the wrong shape for this new world (depot.dev)
AI''s top startups are barely publishing their research (www.science.org)
The Cold Email (zachholman.com)
SalesPatriot (YC W25) Is Hiring FDEs (www.ycombinator.com)
The coolest use for the Vision Pro (christianselig.com)
A Trampoline (dogdogfish.com)
Commodification of Intelligence: Good, Bad, and Ugly Circular AI Deals (www.emergingtrajectories.com)
How to think about software quality (2022) (www.evalapply.org)
Turning a dumb AC unit smart (without losing my security deposit) (prilik.com)
Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident (huggingface.co)
Interconverting std::function with copyable_function (quuxplusone.github.io)
Refactoring cuisine: how an Iraqi stew sailed to Singapore (iza.ac)
Staging patches with git add (2024) (www.simonholywell.com)
CheapFoodMap – A map of good meals under 10 (cheapfoodmap.com)
Some thoughts about Anthropic''s new cryptanalysis results (blog.cryptographyengineering.com)
Infrastructure Patterns for Agentic Applications (render.com)
I Want to Leave the Internet (chupacabra.bearblog.dev)
The Rust on ESP Book (docs.espressif.com)
Keychron announces first open-source firmware for gaming mice (www.digitalfoundry.net)
Baseload Is a Myth (2024) (cleanenergyreview.io)
CipherX applies painless permanent tattoos with dissolving microneedle patches (www.designboom.com)
Kedge – Full-stack cloud with forkable VM snapshots and global SQLite (kedge.dev)
Mitchellh starts a new company: Superlogical (www.superlogical.com)
My domain registrar (Hover) rug-pulled me for 3000 (news.ycombinator.com)
Superlogical – Mitchell Hashimoto (mitchellh.com)
Google shuts down Nobel Prize winning AlphaFold (www.engadget.com)
Tokenless (YC S26) – Automatic model switching to save money (usetokenless.com)
Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution (aistack.imec-int.com)
Hamburg''s Stadtpark: A Park Built to Be Used (alsterrunde.com)
Apple should be ashamed of its hostile App Store rating system (lapcatsoftware.com)
Graph Engineering Needs a Compiler (fluxtion-playground.dev)
AI in Linux (drewdevault.com)
The Scientific Literature Is Poisonous to LLMs (www.reinvent.science)
Cesium DevCon 2026 talks are up, including a keynote from SQLite''s creator (cesium.com)
Hugging Face: Anatomy of a frontier-lab agent intrusion (huggingface-anatomy-of-frontier-lab-model-intrusion.static.hf.space)
PostgreSQL''s MVCC is bad. So is everyone else''s (boringsql.com)
GPT-5.6 vs. Claude Fable 5 for Physical AI, which performs best? (juliahub.com)
Qwen Scribe – local transcription and dictation for Apple Silicon (github.com)
Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac (github.com)
A.I. Companies Are Recruiting Electricians and Carpenters by the Thousands (www.nytimes.com)
Write, simulate and synthesize VHDL/Verilog in the browser (risingedge.pro)
A verification browser for AI agents – 13ms windows, one-call checks (github.com)
Kalshi attacks a Wisconsin law banning election bets as ''voter suppression'' (www.npr.org)
San Francisco: Don''t Fall for Industry Defense of Surveillance Pricing (www.eff.org)
Choose DuckDB rather than SQLite (tracewayapp.com)
Valve Sponsors Work Bringing Open-Source RADV Driver to Windows (www.phoronix.com)
TokenTown: A visual way to understand how LLMs work (laurentiugabriel.github.io)
Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem (www.claire-blackshaw.com)
Darktable (www.darktable.org)
Hunter-gatherers introduced fish to a mountain lake 7000 years ago (www.newscientist.com)
After the AI Crash (potsandpansbyccg.com)
Handbook.md shows that long policy documents do not reliably govern agents (arxiv.org)
Bullshit Detector – agent skills that fact-check videos and articles (github.com)
Echologue – the private AI voice journal I built for myself (echologue.com)
A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT) (jcgt.org)
Pulse Path – a browser puzzle where placement is the only decision (pulsepathgame.netlify.app)
Disrupting supply chain attacks on NPM and GitHub Actions (github.blog)
ALP: Adaptive lossless floating-point compression (github.com)
French musician Kavinsky found dead (www.euronews.com)
Document-borne AI worms can self-propagate through Copilot for Word (enklypesalt.com)
They Stole Your Attention (moai.studio)
KOReader (koreader.rocks)
Starling: The first real desktop written by AI (starling.build)
We Hardened an AI Security Platform Against 16 Critical Vulnerabilities (aegis-security.higgsfield.app)
The only road in London where you have to drive on the right (www.mylondon.news)
National Security Determination Threat Posed by Foreign-Produced Robotic Devices [pdf] (www.fcc.gov)
SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io)
Amiga Graphics Archive (amiga.lychesis.net)
Vimgolf.ai – Learn Vim by playing through a map of levels (vimgolf.ai)
The Shape of Data (2022) (www.scattered-thoughts.net)
CSV Is Never Just CSV (immaschinenraum.blog)
ChatGPT claims rogue AI attacked more companies (www.bbc.co.uk)
Ancient Rome''s version of Google Maps: how long to reach the beach (www.euronews.com)
Lisp moving Forth moving Lisp (letoverlambda.com)
SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
Fixing a bug with byte order marks (alexwlchan.net)
60 Years Ago, a Submerged Submarine Circled the Globe for the First Time (2020) (www.popularmechanics.com)
More Tailscale tricks for your jailbroken Kindle (tailscale.com)
Cracking Windows Open: Porting RADV to Win32 (www.collabora.com)
User Interfaces of the Demo Scene (www.datagubbe.se)
Log is non-monotonic in PHP and Lua (purplesyringa.moe)
Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design (transformer-transformer.github.io)
OpenShell Kubernetes Operator (github.com)
Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
Does every question mark deserve a Betteridge? (dynomight.net)
Hooray for the Sockets Interface (blog.apnic.net)
Chip stocks slide in US and Asia as AI jitters rattle investors (www.bbc.com)
Beyond Greece and Rome (aeon.co)
Multiple Mouse Cursors in Wayland (blinry.org)
LearnVector – Andrew Ng''s AI company building one‑to‑one learning experiences (learnvector.ai)
Truth is not a direction: a Tarski attack on LLM probes (abeljansma.nl)
Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf] (framerusercontent.com)
Learning Rust by writing a Markdown to HTML compiler (andreadimatteo.com)
Lightweight Spring Boot Monitoring Without Prometheus and Grafana (pvrlabs.xyz)
Lockless MPSC FIFO queues for io_uring (lwn.net)
Hubbele: Open-source notetaking app for you and your agents (www.hubble.md)
ReFrame – The EPaper Camera (reframe.camera)
The Difference Between a Button and a Link (unplannedobsolescence.com)
Manim (3Blue1Brown''s animation engine) in the browser via WebGPU (studio.academa.ai)
Schools are adding pepper-spraying drones to help combat active shooters (www.washingtonpost.com)
Teach yourself programming in ten years (1998) (www.norvig.com)
Leeaky Catches hidden fees draining your travel budget (leeaky.vercel.app)
Banning AI will not make it go away (vishal.rs)
Type checker may be wrong – Lean and the Curry-Howard correspondence (max-amb.github.io)
Underwater Oxygen Loss Threatens Earth''s Stability, Researchers Warn (scripps.ucsd.edu)
I was tired of opening 2 tabs for every HN link, so I made a userscript (github.com)
Toolcraft (toolcraft.sh)
Running Kimi K3 on a M1 Mac (github.com)
Anthropic publishes a practical key-recovery attack on HAWK-256 (github.com)
Robotics development made dead simple (open source) (news.ycombinator.com)
Half-Life ported to Mac OS 9 (mac-classic.com)
OpenAI just open-sourced Codex Security (github.com)
Interview with Boris Cherny [video] (www.youtube.com)
Recursion Is Lying to You (blog.gaborkoos.com)
Pacing the frontier (www.pacingthefrontier.com)
How far do I have to go to run into 100k people? (imjasonh.github.io)
Granola for Apple Watch (www.granola.ai)
Hulios: An eBPF-powered, transparent Tor gateway for Linux (github.com)
uv 0.12.0 (github.com)
The Fabled Flatbreads of Uzbekistan (www.aramcoworld.com)
Donate to GrapheneOS (grapheneos.org)
Deflock Casa Grande (deflockcg.com)
The most advanced robotic servicing satellite–that we know about (arstechnica.com)
MCP 2026-07-28 Specification: transport going stateless (blog.modelcontextprotocol.io)
iPhone Upgrade Program (www.apple.com)
Using a Gaming PC''s RTX 5070 from a separate Linux workstation (stephenkrings.com)
Discovering Cryptographic Weaknesses with Claude (www.anthropic.com)
Scientific computing in the age of agentic AI (openai.com)
Steel Bank Common Lisp version 2.6.7 (sbcl.org)
WOFF 1.0: a milestone on W3C''s journey of fonts on the web (www.w3.org)
Coding Tools MCP (v0.2.2):Give any AI chat or agent a pair of hands on your code (github.com)
I vibe-coded a travel app in a weekend, security scan found 8 critical flaws (github.com)
Substack writers, you need a website (elizabethtai.com)
Now Is the Time to Give LLMs Access to the ACM Digital Library (cacm.acm.org)
Una Watch: Garmin watch competitor but repairable, open ecosystem and USB-C (unawatch.com)
Xenharmlib (music theory library) adds support for Just Intonation (xenharmlib.readthedocs.io)
Kimi K3 Architecture Overview and Notes (sebastianraschka.com)
Setup Script Should Support Git Worktrees (piechowski.io)
Anthropeum (anthropeum.com)
You Could Have Come Up with Kimi Delta Attention (blog.doubleword.ai)
Flashpaper – Self-destructing secret sharing with no database (flashpaper.app)
How Do I Profile eBPF Code? (naveensrinivasan.com)
XY – Fast, composable, GPU-accelerated charts, written in Rust (github.com)
Delayed Gratification – Proud to Be ''Last to Breaking News'' (www.slow-journalism.com)
Zig''s Incremental Compilation Internals (mlugg.co.uk)
So, you want to make a game engine (2023) (lisyarus.github.io)
Stop Killing the Internet: No Digital ID and No Age Verification (citizens-initiative.europa.eu)
Base-GPUI: A GPUI port of Base UI headless components (github.com)
Europe''s Ultra-Rich Could Fund a Substantial Part of the EU''s Budget (www.socialeurope.eu)
Italy Blocks Reproductive Health Websites Women on Web and Women Help Women (ooni.org)
A Deep Logo Study (dannyspina.com)
Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (arxiv.org)
GrapheneOS Defends Data-Wiping Function That Blocked US Border Search (www.pcmag.com)
VMs can''t boot with Network Mode set to Bridged on Apple M5 Pro machines (github.com)
The Origins of Modern Mathematics in Russia (valeman.medium.com)
Crooked Timber showed showed me a virus captcha, What now? (news.ycombinator.com)
Great Mobile Apps Aren''t Built Around Features (geekyants.com)
Why a 154B CEO just endorsed stripping most Americans of voting rights (fortune.com)
Many "serious" mathematicians are aghast (twitter.com)
Solving Fermat: Andrew Wiles (www.pbs.org)
Can LLMs identify 16 cards in 45 bit-queries? (snwagh.com)
Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules (necroticgnome.com)
Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)
Vivari – Open-Source WebContainer for Node, Bun, and Python (vivari.jamesisme.com)
tale.fyi, we deserve a home for fiction (tale.fyi)
Ctrlb-decompose: Strip the noise from logs before sending to LLMs (github.com)
New HIV vaccine shows unprecedented success in preclinical study (www.lji.org)
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
What AI developers could learn from Charles Bukowski? (galjot.si)
Segue – Save context in one AI, load it in another by a short handle (segue.ai)
I left VSCode to build an IDE to handle many projects/agents workflow (github.com)
AI revenues are growing fast, but not fast enough (www.economist.com)
Mondragon Corporation – a federation of co-operatives (en.wikipedia.org)
Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings) (jfrog.com)
Kimi Linear: An Expressive, Efficient Attention Architecture (arxiv.org)
Open-source Cloudflare deployed agent native task management and wiki (tajd.github.io)
Usenet Archive Toolkit – process Usenet messages into a searchable archive (github.com)
DMARC Has Been Public Since 2012. 68.4% of Domains Still Don''t Enforce It (ciphercue.com)
Scala Tutorials – interactive Scala 3 lessons in the browser (scalatutorials.com)
I''m 38 and I Can''t Support Myself Anymore (itsmevox.substack.com)
Which Odyssey translation wins a blind reading test? (homer.scrivium.com)
Our paid Claude AI subscription unavailable 1 week and no support (news.ycombinator.com)
Google''s Beyond Zero: Enterprise Security for the AI Era (spawn-queue.acm.org)
Golang Maps: how Swiss Tables replaced the old bucket design (blog.gaborkoos.com)
What Even Are Microservices? (var0.xyz)
About the security content of macOS Tahoe 26.6 (support.apple.com)
How to Survive Boiling Water (taxa.substack.com)
Don''t ask an LLM for a confidence score (justinflick.com)
TWC Classics (twcclassics.com)
7.1 Earthquake in Japan (www.data.jma.go.jp)
Why copper still rules the motherboard trace (psyll.com)
Programming Languages Are Authoring Tools for Platforms (www.makonea.com)
A 6M-token movable window on a single 46GB GPU (arxiv.org)
Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts (arsastronomica.com)
Neutrino-1 8B (www.fermionresearch.com)
PyTorch: A Reference Language (docs.pytorch.org)
Why I joined Blacksmith to work on storage again (www.blacksmith.sh)
Why do we think we understand the world more than we actually do? (thedecisionlab.com)
The age of token efficiency, the age of libraries (golemui.com)
A Dying Art: The last of the morticians (harpers.org)
An Uncomplicated Man (www.lrb.co.uk)
Residential Proxies Are a National Security Threat (jacob.gold)
Using an open model feels surprisingly good (matthewsaltz.com)
A 500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
EYG: A Programming Language for Humans (crowdhailer.me)
Vehicle Motion Cues (support.apple.com)
Some combinatorial applications of spacefilling curves (www2.isye.gatech.edu)
Internet is no longer accessible? (news.ycombinator.com)
Sixtyfour (YC P25) Is Hiring (www.ycombinator.com)
Trylle – The Next-Gen Git Platform for Modern Teams (trylle.com)
Yap – OSS on-device voice dictation for macOS with no model to download (github.com)
Kimi K3 Now Available via Telnyx Inference API (telnyx.com)
RTX 2080 Ti Memory Upgrade to 22 GB (gpusolutions.net)
Three Theses on the Literacy Crisis (trevoraleo.substack.com)
Astronauts describe persistent ''observer'' sensation after 6 month missions (spacedaily.com)
The CEO of Shopify is contemptuous of democracy (www.jakelandau.ca)
The Burau representation of the braid group is faithful for n 4 (arxiv.org)
Netflix employee fired for sharing personal details in retreat trust exercise (www.inc.com)
Samsung reveals Galaxy Z Fold 8 that will compete with the iPhone Ultra (mashable.com)
Dowe – A full-stack language for server, web, desktop, Android, and iOS (www.dowe.dev)
DConf 2026 in London (dconf.org)
C/C projects packaged for Zig (github.com)
America has become an entrepreneur''s paradise (www.economist.com)
A Discord Alternative – Echoed (echoed.gg)
Benchmarking Opus 5 on SlopCodeBench (github.com)
Hard Road – A beautiful procedural post-apocalyptic game (hardroad.xyz)
Colorblind: Checking figure accessibility for colour blind people (quantixed.org)
A missing underscore sent innocent man to prison for 18 months (arstechnica.com)
Our position on open-weights models (www.anthropic.com)
Bitcoin trail, Google cookies and Uber Eats orders help tie man to Steam malware (www.theverge.com)
Platform engineering 2.0 mitigates AI security and compliance risks (platformengineering.org)