0 7
Aurora DSQL: Scalable, Multi-Region OLTP (muratbuffalo.blogspot.com)21 62
Claude Is Down (status.claude.com)21 22
Balcony Solar: $1.74/watt direct plug-in solar (www.brightsaver.org)80 146
Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the Incident (huggingface.co)13 93
Kimi K3-256k (www.kimi.com)2 5
Why has the display control panel pointer truncation bug gone unfixed for long? (devblogs.microsoft.com)0 14
How much can you delegate to agents? (newsletter.posthog.com)3 23
PGSimCity – an explorable 3D model that shows how Postgres works (github.com)14 30
Turning a Dumb AC Unit Smart (Without Losing My Security Deposit) (prilik.com)5 5
The Growing Threat of Docusign Phishing Attacks (www.darktrace.com)0 5
A field day for Gleam's language server – Gleam v1.18.0 release (gleam.run)25 23
The motion-sickness cure hidden in iPhone settings (www.bbc.com)2 14
How to Not Die by a Thousand Cuts. Or, How to Think About Software Quality (www.evalapply.org)25 30
Who the welfare state protects shapes a country’s financial openness (theloop.ecpr.eu)13 16
Commodification of Intelligence: Good, Bad, and Ugly Circular AI Deals (www.emergingtrajectories.com)2 10
Ads-STE100: Simplified Technical English (en.wikipedia.org)16 31
Learning Musical Multitasking (www.jefftk.com)47 53
Show HN: CheapFoodMap – A map of good meals under $10 (cheapfoodmap.com)34 65
Some thoughts about Anthropic's new cryptanalysis results (blog.cryptographyengineering.com)3 25
Infrastructure Patterns for Agentic Applications (render.com)8 70
The Rust on ESP Book (docs.espressif.com)16 37
I Want to Leave the Internet (chupacabra.bearblog.dev)74 156
Keychron announces first open-source firmware for gaming mice (www.digitalfoundry.net)29 22
CipherX applies painless permanent tattoos with dissolving microneedle patches (www.designboom.com)11 42
Show HN: Kedge – Full-stack cloud with forkable VM snapshots and global SQLite (kedge.dev)30 22
Baseload Is a Myth (2024) (cleanenergyreview.io)244 346
Superlogical (www.superlogical.com)3 148
Superlogical (mitchellh.com)54 58
Ask HN: My domain registrar (Hover) rug-pulled me for $300035 75
Google shuts down Nobel Prize winning AlphaFold (www.engadget.com)17 76
Hamburg's Stadtpark: A Park Built to Be Used (alsterrunde.com)36 40
Launch HN: Tokenless (YC S26) – Automatic model switching to save money (usetokenless.com)29 78
Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution (aistack.imec-int.com)85 45
AI in Linux (drewdevault.com)3 15
Graph Engineering Needs a Compiler (fluxtion-playground.dev)94 53
Apple's hostile App Store rating system (lapcatsoftware.com)19 29
PostgreSQL's MVCC is bad. So is everyone else's (boringsql.com)13 65
GPT-5.6 vs. Claude Fable 5 for Physical AI, which performs best? (juliahub.com)14 52
Show HN: Qwen Scribe – local transcription and dictation for Apple Silicon (github.com)14 134
Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident (huggingface.co)14 34
Cesium DevCon 2026 talks are up, including a keynote from SQLite's creator (cesium.com)10 25
The Scientific Literature Is Poisonous to LLMs (www.reinvent.science)169 484
Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac (github.com)180 130
A.I. companies are recruiting electricians and carpenters by the thousands (www.nytimes.com)4 17
Show HN: Write, simulate and synthesize VHDL/Verilog in the browser (risingedge.pro)1 10
Show HN: A verification browser for AI agents – 13ms windows, one-call checks (github.com)72 123
San Francisco: Don't Fall for Industry Defense of Surveillance Pricing (www.eff.org)24 60
Valve Sponsors Work Bringing Open-Source RADV Driver to Windows (www.phoronix.com)20 68
TokenTown: A visual way to understand how LLMs work (laurentiugabriel.github.io)50 82
Choose DuckDB rather than SQLite (tracewayapp.com)7 95
Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem (www.claire-blackshaw.com)112 222
Darktable (www.darktable.org)11 33
It doesn't matter whether "Matz is nice" (po-ru.com)88 116
Hunter-gatherers introduced fish to a mountain lake 7000 years ago (www.newscientist.com)56 77
Kalshi attacks a Wisconsin law banning election bets as 'voter suppression' (www.npr.org)158 96
After the AI Crash (potsandpansbyccg.com)60 55
Show HN: Bullshit Detector – agent skills that fact-check videos and articles (github.com)158 249
Handbook.md shows that long policy documents do not reliably govern agents (arxiv.org)13 27
Show HN: Echologue – the private AI voice journal I built for myself (echologue.com)32 39
Ask HN: Anyone else tired of brands discontinuing your favorite everyday items?12
undefined33 78
Disrupting supply chain attacks on NPM and GitHub Actions (github.blog)6 7
Pulse Path – a browser puzzle where placement is the only decision (pulsepathgame.netlify.app)7 32
A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT) (jcgt.org)3 29
ALP: Adaptive lossless floating-point compression (github.com)71 305
French musician Kavinsky found dead (www.euronews.com)2 9
We Hardened an AI Security Platform Against 16 Critical Vulnerabilities (aegis-security.higgsfield.app)28 20
Starling: The first real desktop written by AI (starling.build)187 582
KOReader (koreader.rocks)54 41
They Stole Your Attention (moai.studio)213 289
Document-borne AI worms can self-propagate through Copilot for Word (enklypesalt.com)60 33
The only road in London where you have to drive on the right (www.mylondon.news)66 67
National Security Determination Threat Posed by Foreign-Produced Robotic Devices [pdf] (www.fcc.gov)14
undefined24 143
Amiga Graphics Archive (amiga.lychesis.net)6
undefined8 69
SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io)0 6
The Shape of Data (2022) (www.scattered-thoughts.net)26 32
Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels (vimgolf.ai)51 65
Ancient Rome's version of Google Maps: how long to reach the beach (www.euronews.com)77 46
ChatGPT claims rogue AI attacked more companies (www.bbc.co.uk)26 110
Lisp moving Forth moving Lisp (letoverlambda.com)67 216
SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)9 6
Fixing a bug with byte order marks (alexwlchan.net)6 16
Show HN: Firemaps Spain – Live wildfire map with wind flow for ES and PT (firemapsspain.online)24 38
60 Years Ago, a Submerged Submarine Circled the Globe for the First Time (2020) (www.popularmechanics.com)67 378
User Interfaces of the Demo Scene (www.datagubbe.se)25 87
Cracking Windows Open: Porting RADV to Win32 (www.collabora.com)107 375
More Tailscale tricks for your jailbroken Kindle (tailscale.com)8 72
Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design (transformer-transformer.github.io)2 13
OpenShell Kubernetes Operator (github.com)2 17
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)49 41
Beyond Greece and Rome (aeon.co)49 70
Chip stocks slide in US and Asia as AI jitters rattle investors (www.bbc.com)55 55
Hooray for the Sockets Interface (blog.apnic.net)10 12
Does every question mark deserve a Betteridge? (dynomight.net)163 255
LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences (learnvector.ai)81 107
Truth is not a direction: a Tarski attack on LLM probes (abeljansma.nl)107 163
State of multi-player Wayland (blinry.org)3 24
Show HN: Learning Rust by writing a Markdown to HTML compiler (andreadimatteo.com)4 12
Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf] (framerusercontent.com)0 15
Lockless MPSC FIFO queues for io_uring (lwn.net)5 29
Lightweight Spring Boot Monitoring Without Prometheus and Grafana (pvrlabs.xyz)45 200
ReFrame – The EPaper Camera (reframe.camera)68 145
Hubble: Open-source notetaking app for you and your agents (www.hubble.md)48 64
The Difference Between a Button and a Link (unplannedobsolescence.com)30 48
Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU (studio.academa.ai)105 33
Schools are adding pepper-spraying drones to help combat active shooters (www.washingtonpost.com)2 14
AE Studio recruiting pirates to recover treasure located by AI (ae.studio)126 183
Teach yourself programming in ten years (1998) (www.norvig.com)2 5
Leeaky Catches hidden fees draining your travel budget (leeaky.vercel.app)25 26
Banning AI will not make it go away (vishal.rs)6 27
An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)86 166
Underwater oxygen loss threatens earth's stability, researchers warn (scripps.ucsd.edu)36
undefined111 402
Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript (github.com)9 53
Toolcraft (toolcraft.sh)7 20
Robotics development made dead simple (open source)90 136
Running Kimi K3 on a M1 Max (github.com)2 57
Anthropic publishes a practical key-recovery attack on HAWK-256 (github.com)151 297
Half-Life ported to Mac OS 9 (mac-classic.com)6 16
I sent Claude Opus 5 '–-' and it wrote me 5k tokens about a cartographer (austinsnerdythings.com)219 584
Codex Security (github.com)75 70
Interview with Boris Cherny [video] (www.youtube.com)47 71
Show HN: How far do I have to go to run into 100k people? (imjasonh.github.io)200 142
Pacing the frontier (www.pacingthefrontier.com)92 194
I'd not buy a LG monitor (beko.famkos.net)43 30
Recursion is lying to you (blog.gaborkoos.com)10 28
Granola for Apple Watch (www.granola.ai)6 34
Hulios: An eBPF-powered, transparent Tor gateway for Linux (github.com)83 105
The Fabled Flatbreads of Uzbekistan (2015) (www.aramcoworld.com)42 128
Uv 0.12.0 (github.com)83 251
Donate to GrapheneOS (grapheneos.org)108 258
Deflock Casa Grande (deflockcg.com)2 39
The most advanced robotic servicing satellite–that we know about (arstechnica.com)40 125
MCP 2026-07-28 Specification: transport going stateless (blog.modelcontextprotocol.io)372 203
The iPhone Upgrade Program is being replaced by Apple Upgrade (www.apple.com)18 28
Using a Gaming PC's RTX 5070 from a separate Linux workstation (stephenkrings.com)5 66
WOFF 1.0: a milestone on W3C's journey of fonts on the web (www.w3.org)0 12
Coding Tools MCP (v0.2.2):Give any AI chat or agent a pair of hands on your code (github.com)5
undefined137 262
Steel Bank Common Lisp version 2.6.7 (sbcl.org)9 27
Scientific computing in the age of agentic AI (openai.com)176 225
Discovering Cryptographic Weaknesses with Claude (www.anthropic.com)329 624
Substack writers, you need a website (elizabethtai.com)175 266
Una GPS smart watch – Repairable, USB-C charging, developer-friendly (unawatch.com)10 14
Rear center fuel tank adds roughly 20k liters and extends range by 1k NM (www.airbus.com)172 188
Now is the time to give LLMs access to the ACM digital library (cacm.acm.org)3 18
Xenharmlib (music theory library) adds support for Just Intonation (xenharmlib.readthedocs.io)46 179
Anthropeum – Where in the world, and when, does this human artifact belong? (anthropeum.com)10 23
Setup Script Should Support Git Worktrees (piechowski.io)107 490
Kimi K3 Architecture Overview and Notes (sebastianraschka.com)14 11
I showed an AI an image it couldn't see – then caught it lying about what it saw (paulshepherd.com)126 294
A walk through of the DeltaNet family of linear attention variants (blog.doubleword.ai)11 25
Show HN: Flashpaper – Self-destructing secret sharing with no database (flashpaper.app)37 74
So, you want to make a game engine (2023) (lisyarus.github.io)233 267
Zig's Incremental Compilation Internals (mlugg.co.uk)7 118
How Do I Profile eBPF Code? (naveensrinivasan.com)46 130
Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library (github.com)191 329
Delayed Gratification – Proud to Be 'Last to Breaking News' (www.slow-journalism.com)268 670
Stop Killing the Internet: No Digital ID and No Age Verification (citizens-initiative.europa.eu)6 9
Show HN: Base-GPUI: A GPUI port of Base UI headless components (github.com)8 16
A Deep Logo Study (dannyspina.com)164 114
Italy Blocks Reproductive Health Websites Women on Web and Women Help Women (ooni.org)65 44
Europe's Ultra-Rich Could Fund a Substantial Part of the EU's Budget (www.socialeurope.eu)110 103
Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (arxiv.org)185 175
GrapheneOS Defends Data-Wiping Function That Blocked US Border Search (www.pcmag.com)48 85
VMs can't boot with Network Mode set to Bridged on Apple M5 Pro machines (github.com)5 27
The Origins of Modern Mathematics in Russia (valeman.medium.com)7
undefined47 43
Ask HN: Crooked Timber showed showed me a virus captcha, What now?333 188
Why a $154B CEO just endorsed stripping most Americans of voting rights (fortune.com)25 22
Many "serious" mathematicians are aghast (twitter.com)8 8
Can LLMs identify 16 cards in 45 bit-queries? (snwagh.com)35 83
Solving Fermat: Andrew Wiles (www.pbs.org)36 68
Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules (necroticgnome.com)118 60
Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)2 10
Show HN: Vivari – Open-Source WebContainer for Node, Bun, and Python (vivari.jamesisme.com)7 8
Show HN: I left VSCode to build an IDE to handle many projects/agents workflow (github.com)68 71
Show HN: tale.fyi, we deserve a home for fiction (tale.fyi)21 31
Show HN: Segue – Save context in one AI, load it in another by a short handle (segue.ai)48 112
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)50 70
What AI developers could learn from Charles Bukowski? (galjot.si)6 49
Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs (github.com)24 18
Show HN: I put a $2.43 necklace on 3 outfits. VLMs priced it at $19 to $104 (github.com)288 642
New HIV vaccine shows unprecedented success in preclinical study (www.lji.org)86 49
AI revenues are growing fast, but not fast enough (www.economist.com)155 197
DMARC has been public since 2012 but most company domains still don't enforce it (ciphercue.com)37 80
Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser (scalatutorials.com)5 37
Usenet Archive Toolkit – process Usenet messages into a searchable archive (github.com)133 300
Kimi Linear: An Expressive, Efficient Attention Architecture (2025) (arxiv.org)0 17
Show HN: Open-source Cloudflare deployed agent native task management and wiki (tajd.github.io)4
undefined37 58
Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings) (jfrog.com)39 172
Mondragon Corporation – a federation of co-operatives (en.wikipedia.org)439 250
I'm 38 and I Can't Support Myself Anymore (itsmevox.substack.com)77 42
Which Odyssey translation wins a blind reading test? (homer.scrivium.com)21 45
Tell HN: Our paid Claude AI subscription unavailable >1 week and no support8 33
Golang Maps: how Swiss Tables replaced the old bucket design (blog.gaborkoos.com)78 153
Google's Beyond Zero: Enterprise Security for the AI Era (spawn-queue.acm.org)72 41
What Even Are Microservices? (var0.xyz)143 207
About the security content of macOS Tahoe 26.6 (support.apple.com)118 485
How to survive boiling water (taxa.substack.com)35 89
Don't ask an LLM for a confidence score (justinflick.com)5 39
TWC Classics (twcclassics.com)225 803
7.1 Earthquake in Japan (www.data.jma.go.jp)21 8
Why copper still rules the motherboard trace (psyll.com)12 46
Programming Languages Are Authoring Tools for Platforms (www.makonea.com)16 6
Show HN: A 6M-token movable window on a single 46GB GPU (arxiv.org)0 6
How to choose an AI Agent platform for your team (construct.computer)50 105
Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts (arsastronomica.com)9 78
PyTorch: A Reference Language (docs.pytorch.org)46 108
Neutrino-1 8B (www.fermionresearch.com)2 16
Why I joined Blacksmith to work on storage again (www.blacksmith.sh)32
undefined70 91
Why do we think we understand the world more than we actually do? (thedecisionlab.com)16 54
A Dying Art: The last of the morticians (harpers.org)163 145
An Uncomplicated Man – A review of The Odyssey, directed by Christopher Nolan (www.lrb.co.uk)91 81
Residential Proxies Are a National Security Threat (jacob.gold)142 315
Using an open model feels surprisingly good (matthewsaltz.com)128 328
A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)18 66
Some combinatorial applications of spacefilling curves (www2.isye.gatech.edu)16
undefined107 205
Vehicle Motion Cues (support.apple.com)64 85
EYG: A Programming Language for Humans (crowdhailer.me)25 45
Internet is no longer accessible?15 21
Show HN: Trylle – The Next-Gen Git Platform for Modern Teams (trylle.com)43 103
Show HN: Yap – OSS on-device voice dictation for macOS with no model to download (github.com)131 152
RTX 2080 Ti Memory Upgrade to 22 GB (gpusolutions.net)88 130
Kimi K3 Now Available via Telnyx Inference API (telnyx.com)7
undefined48 54
Three Theses on the Literacy Crisis (trevoraleo.substack.com)110 182
Astronauts describe persistent 'observer' sensation after 6 month missions (spacedaily.com)17
undefined14 33
The Burau representation of the braid group is faithful for n = 4 (arxiv.org)