1 24
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)0 5
How long do you need to hold down the power button to turn off a PC? (www.osnews.com)9 28
Digital Minimalism (vitalik.eth.limo)1 39
Switch Lowering in GCC (xoranth.net)11 37
Show HN: Marelleo, an open-source story box I built for my kids using ESP32 (zebra.rodeo)1 13
Show HN: Samosa – Linter for Math Derivations (samosa-math.vercel.app)17
undefined0 20
Configure a UPS on Linux with NUT (linuxjunkies.org)11 26
Brief History of PDP Computers (entropicthoughts.com)141 150
OpenAI raises less than half of $30B target (www.wsj.com)17 31
Longitudinal Changes InWearable-Captured PhysiologyBefore Sudden Cardiac Death (www.jacc.org)11 80
Flock camera searches fell 95% after a dispatcher's misconduct was caught (www.wkyc.com)4 34
Double Buffering with Cloudflare Queues (bellone.com)84 199
Tell HN: Scribd Breached10 43
Show HN: I rebuilt Kubernetes for ESP32 microcontrollers (github.com)4
undefined13 39
Trapped in the Technologist Factory (ideolalia.com)4 9
Be a Loser (makemeacto.cc)0 19
Wonderful Weather: Floods and Foreboding in 17th-Century Britain (publicdomainreview.org)53 192
Show HN: To Honor Sir Patrick Stewart, Enjoy the TNG Episode Guessing Game (tng.episodle.com)63 85
Anthropic to receive high 'junk' rating from credit agencies following IPO (techcrunch.com)53 22
Fair Use Benefits Everyone (openai.com)7
undefined2 12
Federal Bureau of Prisons employees serve as election monitors at polling sites (www.corrections1.com)60 202
Cloudflare Turnstile solver library (no headless browser required) (github.com)87 103
France is getting download tax for content providers (€0.055/GB) (www.resetera.com)100 182
Linode Security Incident (status.linode.com)2 30
Hey linker, can you spare a meg? (tailscale.com)34 124
AO3 Down for Maintenance (www.otwstatus.org)24 130
Sanstun: A sans-IO, parallel-friendly WireGuard implementation in Rust (www.firezone.dev)39
undefined19 51
Turning a solar power system into its own backup (arstechnica.com)18 7
Show HN: Ultrafast Rust Based Agent Workspace (trypalomino.com)76 56
Product Managers aren't safe either (lucaskostka.com)176 310
Through Captain Jean-Luc Picard, Patrick Stewart taught us the measure of a man (www.bostonglobe.com)2 19
Embraer's Atech aims to double in size by 2030 with drone traffic control (www.bloomberglinea.com.br)1 25
Show HN: Automatic deduction of FlashAttention kernel from ~25 lines of SQL (github.com)7 18
Programming at Light Speed: Building the Gravity Query Engine (pgrust.com)27 107
Jules Verne's Lost Novel (blue-continuum.com)13 23
An Arrogant Way of Killing (2016) (magazine.atavist.com)57 152
The oldest ice disappears and the Stone Age emerges from it (www.sciencenorway.no)65 155
Infinite Mac: BeOS (blog.persistent.info)8 73
A Pickpocket's Guide to New York (www.newyorker.com)43 218
Bunny CDN Security Incident (status.bunny.net)30 224
Sleep framework: A new way for LLMs to retain knowledge in continual learning (research.google)17
undefined85 101
French digital tax may kill VideoLan non-profit (twitter.com)38 88
Tree-mounted machines connect to web app to let users knock on wood remotely (www.designboom.com)126 114
French national assembly votes 0.055€/GB internet tax (www.lesnumeriques.com)10 31
Show HN: Sketch Stadium – watch your agent play Pictionary (sketch.wakeshift.ai)62 153
GitHub Incident with Actions, Pages, and Webhooks (www.githubstatus.com)253 310
Anthropic may not secure investment-grade rating after IPO, Blackstone says (www.ft.com)88 308
My favourite PowerMac is a Nintendo Wii (virtuallyfun.com)13 23
US Army practices digging temporary battlefield graves (www.armytimes.com)229 275
Proton's CEO Cancels AI 'Re-Interviews' (www.404media.co)26 39
Ask HN: What's it like working at Google nowadays? Core teams like Search, Ads?180 153
Building an AI-native engineering org (twitter.com)5 21
Show HN: Spinf-serve – inference server for bulk scoring and decisions (github.com)111 259
Breaking the open web won't stop the bad bots (www.techpolicy.press)93 88
Sam Altman Thinks You're Wasting DRAM (frvr.com)47 276
Florilegium: Procedural Flowers in LaTeX (github.com)122 249
Show HN: A working Nintendo in ~1GB of Qwen weights (github.com)283 255
US tech stocks see sharp falls over AI cost fears (www.bbc.co.uk)41 80
Show HN: I built a multiplayer game where you're an aerial fighter cat (catcopter.com)2 13
Another Friday, another GitHub incident (www.githubstatus.com)85 285
The federated code forge (tangled.org)15 19
Pell Puzzles Review (dles.gg)134 192
Blockchain intelligence firms link North Korea to $6.3B hack on Binance (www.npr.org)445 595
AI isn't replacing SREs, it's deskilling them (newsletter.signoz.io)43 114
Polymarket 1h halt after vendor compromise; affected users will be 'made whole' (www.nbcnews.com)4 12
Post-training 4B model with RL to fly Tesla Roadster 21% better than GPT-6 Astra (skypilot.ai)23 77
Geist Serif (vercel.com)93 80
I didn't know I was lacking in Vitamin D until I collapsed at work (www.bbc.com)22 195
ICE wants its mask back, and hired a company to ask (blog.flokinet.is)6 8
What SBF's Anthropic investment would be worth today (sbfindex.com)6 20
$300k for a personalized cancer vaccine (rnafoundry.com)315 433
Northflank Breached (status.northflank.com)23 71
Compile-Time Dependent Types (thenumb.at)104 107
Anthropic Cracking Down on Video Game Rewrites (twitter.com)220 190
Cisco gives engineer unlimited AI tokens to rewrite legacy code (fortune.com)273 294
Medicare Will Pay $50k for Your Heart Attack. It Should Pay $100 to Prevent It (www.medpagetoday.com)24 53
Neal Stephenson on AI and What Comes Next [video] (www.youtube.com)12
undefined50 38
5-MeO-DMT sometimes cancels the Ebbinghaus illusion (psychotechnology.substack.com)11 17
AI Bubble Burst (seekingalpha.com)93 41
American views of higher ed decline, once again (bryanalexander.org)16 70
Massie, Khanna, and Others Introduce the "Epstein Files Transparency Act II" (massie.house.gov)8 23
Pompeii wardrobe found untouched since 79CE holds keepsakes, coins, and two mice (archaeologymag.com)95 81
Intel plunges 25%, triggers global chip rout on bleak outlook (www.reuters.com)529 890
Backdoor in Claude Code for VS Code extension on the Cursor Marketplace (phorion.io)60 30
Just Noting That Your Candy Corn Is Made of Bug Secretions (www.theatlantic.com)301 449
The $6.3B Binance hack was pulled off in just 20 minutes (www.wired.com)20 52
Commodore 1600 VICmodem (dfarq.homeip.net)496 640
US Reps Lead Democratic Resolution Opposing A.I. Bubble Bailout for Big Tech (progressives.house.gov)3 65
Finding Panics with Call Graph Analyzer (tweedegolf.nl)58 310
Azure's Weakest Link – Five Full Cross-Tenant Compromises (www.binarysecurity.no)53 41
Fiber lasts decades, GPUs last three years: the AI boom isn't the dot-com boom [video] (www.youtube.com)17 655
Backdoors in official Claude Code extensions (cyberplace.social)34
undefined1 399
Claude Code VS Code extension with backdoor released on Cursor marketplace (doublepulsar.com)152 547
elect.horse (elect.horse)74 130
Why a program doesn't work when run from a batch file, but works when clicked (devblogs.microsoft.com)71 100
How do you take a picture of a black hole? (www.quantamagazine.org)98 47
I Returned My iPhone Duo (codakuma.com)139 144
Ask HN: Are you tired too in this AI era?45 70
Artificial Analysis v5 and the benchmarker's dilemma (www.interconnects.ai)92 87
'Elite North Korean hackers' blamed for $6.3B Binance hack (www.theguardian.com)56 199
Gilgamesh by Simon Armitage review – an ancient epic is brilliantly translated (www.theguardian.com)4 36
North Korea Steals USD 6.36B from Binance in the Largest Hack in History (www.trmlabs.com)7 47
An illustrated online book on Hewlett-Packard equipment (blog.adafruit.com)4 9
Keep the changelog, avoid the conflicts (devenv.sh)12 90
Python on My Wrist (tildeweb.nl)41 63
CVE-2026-98432: Linux TCP Use-After-Free Risk and Patch Validation (www.penligent.ai)3 41
Solving Postgres' Count Problem (www.paradedb.com)28 175
Cuis: The Modern Smalltalk-80 (cuis.st)27 231
Astroterm: A Planetarium for Your Terminal (github.com)37 243
I'm so bad at billiards that I ended up in the hyperbolic plane [video] (www.youtube.com)7 55
Tracks along the longest drive on another world (science.nasa.gov)20 36
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge (github.com)0 12
Show HN: Arken – Passwordless auth middleware using secp256k1 keys (github.com)97 193
Pico CSS is no longer maintained (github.com)70 79
Study: Schoolwide phone bans show no significant impact on mental health (jamanetwork.com)248 353
Herdr has released native app (github.com)38 109
Cormac McCarthy's Library (cormacmccarthy.lib.utk.edu)74 107
Iterating Backwards in C (www.davidpriver.com)