26
10
From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
26
AMD officially confirms fresh next-gen Zen 6 CPU details (overclock3d.net)
263
Hacker News front page now, but the titles are honest (dosaygo-studio.github.io)
11
Fastmail increases subscription cost to $6/month (catbox.moe)
12
Mitt Romney: Tax the Rich, Like Me (nytimes.com)
11
Ad Blockers helped kill the open web (christianheilmann.com)
17
XZ Utils Backdoor (wikipedia.org)
12
Ask HN: How are most people converting HEIC to jpg?
16
Pop _OS 24.04's New Scratch-Built Cosmic: Hands-On, with Screenshots (fossforce.com)
108
A proposed amendment to ban under 16s in the UK from common online services (decoded.legal)
12
DHH Should Move Rails Off GitHub (cameronwestland.com)
24
YouTube Is Degraded (downdetector.co.uk)
168
Engineers who dismiss AI (terriblesoftware.org)
10
Tell HN: Cloudflare Down Again?
136
Show HN: Hacker News, but every headline is hysterical clickbait (dosaygo-studio.github.io)
26
Cloudflare Is Down, Again (cloudflarestatus.com)
45
Show HN: I open-sourced my Go and Next B2B SaaS Starter (deploy anywhere, MIT) (github.com/moasq)
176
GotaTun -- Mullvad's WireGuard Implementation in Rust (mullvad.net)
19
Property-Based Testing Caught a Security Bug I Never Would Have Found (kiro.dev)
164
Amazon will allow ePub and PDF downloads for DRM-free eBooks (kdpcommunity.com)
18
[flagged] Show HN: Orbit a systems level programming language that compiles .sh to LLVM (github.com/sie-libraries)
18
The state of the kernel Rust experiment (lwn.net)
11
Ask HN: If one day AI brain chips become a thing, would you get it?
11
Apple is forcing iPhones to update to iOS 26 to patch security holes (sixcolors.com)
28
Prompt caching for cheaper LLM tokens (ngrok.com)
16
SMB Direct – SMB3 over RDMA (kernel.org)
53
Making Google Sans Flex (design.google)
39
Reconstructed Commander Keen 1-3 Source Code (pckf.com)
151
2026 Apple introducing more ads to increase opportunity in search results (ads.apple.com)
100
Getting bitten by Intel's poor naming schemes (lorendb.dev)
101
Noclip.website – A digital museum of video game levels (noclip.website)
11
TRELLIS.2: state-of-the-art large 3D generative model (4B) (github.com/microsoft)
11
The <time> element should do something (nolanlawson.com)
24
I've been writing ring buffers wrong all these years (2016) (snellman.net)
15
Prediction Market Investors – Where Do I Find Them?
46
Great ideas in theoretical computer science (cs251.com)
18
Devastated PC builder orders DDR5 RAM from Amazon receives DDR2 and some weights (tomshardware.com)
11
How can I buy Office 365 without Copilot (learn.microsoft.com)
162
1.5 TB of VRAM on Mac Studio – RDMA over Thunderbolt 5 (jeffgeerling.com)
223
History LLMs: Models trained exclusively on pre-1913 texts (github.com/dgoettlich)
63
[dupe] AI vending machine was tricked into giving away everything (kottke.org)
17
A Starlink Satellite Exploded (twitter.com/starlink)
50
Two kinds of vibe coding (davidbau.com)
10
Let a thousand societies bloom (vitalik.eth.limo)
30
Ask HN: What are your predictions for 2026?
23
North Korean infiltrator caught at Amazon due to 110ms keystroke lag (tomshardware.com)
27
How did IRC ping timeouts end up in a lawsuit? (mjg59.dreamwidth.org)
31
The immortality of Microsoft Word (versionstory.com)
71
Oliver Sacks put himself into his case studies – what was the cost? (newyorker.com)
29
Meta Segment Anything Model Audio (meta.com)
47
T5Gemma 2: The next generation of encoder-decoder models (blog.google)
18
Interactive Fluid Typography (electricmagicfactory.com)
45
The Scottish Highlands, the Appalachians, Atlas are the same mountain range (vividmaps.com)
12
Trump signs executive order reclassifying marijuana as a less dangerous drug (apnews.com)
54
How to hack Discord, Vercel and more with one easy trick (kibty.town)
11
They Get Wheeled on Flights and Miraculously Walk Off. Praise ‘Jetway Jesus. (wsj.com)
11
Elon Musk's SpaceX bought tens of millions worth of Cybertrucks Tesla can't sell (electrek.co)
193
How China built its ‘Manhattan Project’ to rival the West in AI chips (japantimes.co.jp)
41
[flagged] Public Makes Millions on Plunging Crypto (cepr.net)
326
We pwned X, Vercel, Cursor, and Discord through a supply-chain attack (gist.github.com)
12
Ask HN: Who here is not working on web apps/server code?
73
FunctionGemma 270M Model (blog.google)
165
The most banned books in U.S. schools (pen.org)
18
Show HN: Spice Cayenne – SQL acceleration built on Vortex (spice.ai)
38
[flagged] MIT nuclear science professor Nuno Loureiro found shot dead in home in Mass (nypost.com)
211
Firefox will have an option to disable all AI features (mastodon.social)
214
GPT-5.2-Codex (openai.com)
155
Skills for organizations, partners, the ecosystem (claude.com)
34
Military standard on software control levels (entropicthoughts.com)
23
The Mysterious Forces Steering Views on Hacker News (xn--gckvb8fzb.com)
23
Finland gave two groups identical payments – one saw better mental health (scottsantens.substack.com)
24
Show HN: Composify – Open-Source Visual Editor / Server-Driven UI for React (github.com/composify-js)
13
Response Healing: Reduce JSON Defects by 80%+ (openrouter.ai)
18
Assange brings 'instrument of war' case against Nobel Foundation (dailytelegraph.co.nz)
85
Valve is running Apple's playbook in reverse (garbagecollected.dev)
13
Toad: A unified experience for AI in your terminal (willmcgugan.github.io)
31
Launch HN: Pulse (YC S24) – Production-grade unstructured document extraction
11
Trump Media to Merge with Fusion Energy Firm in $6B Deal (wsj.com)
38
Heart and Kidney Diseases and Type 2 Diabetes May Be One Ailment (scientificamerican.com)
10
Show HN: Fine-tuning Qwen3 at home to respond to any prompt with a dad joke (nixiesearch.substack.com)
11
Mistral launches OCR 3 – 74% win rate over OCR 2 (mistral.ai)
49
Systemd v259 (github.com/systemd)
471
Beginning January 2026, all ACM publications will be made open access (acm.org)
105
Using TypeScript to obtain one of the rarest license plates (jack.bio)
10
GitHub cancels Actions price change for self-hosted runners (docs.github.com)
11
Don MacKinnon: Why Simplicity Beats Cleverness in Software Design [audio] (maintainable.fm)
250
Please just try HTMX (pleasejusttryhtmx.com)
10
Apple announces more ads are coming to App Store search results (9to5mac.com)
369
Your job is to deliver code you have proven to work (simonwillison.net)
114
Spain fines Airbnb €65M: Why the government is cracking down on illegal rentals (euronews.com)
330
Are Apple gift cards safe to redeem? (daringfireball.net)
48
Virtualizing Nvidia HGX B200 GPUs with Open Source (ubicloud.com)
125
AI helps ship faster but it produces 1.7× more bugs (coderabbit.ai)
237
Classical statues were not painted horribly (worksinprogress.co)
66
Most parked domains now serving malicious content (krebsonsecurity.com)
16
Microsoft kills IntelliCode in favor of the paid Copilot (visualstudiomagazine.com)
16
Online Textbook for Braid groups and knots and tangles (matthematics.com)
90
A school locked down after AI flagged a gun. It was a clarinet (washingtonpost.com)
214