The Brutalist Report

Hacker News

Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof [1d] [hn]
Show HN: Shitty – fast terminal. Memory-unsafe and faster than yours [1d] [hn]
AI poster wins Ohio State Fair contest [1d] [hn]
The Computational Theory of Mind (2015) [1d] [hn]
Californians' data deletion requests, DROP, become enforceable Aug. 1 [1d] [hn]
Show HN: Mu – Tools for Agents [1d] [hn]
Flock – Chilling Effects: Long Island's Emerging Open-Air Prison [2d] [hn]
WireguardTCP: WireGuard over TCP [2d] [hn]
Bubble Memory [2d] [hn]
Show HN: Draco – A single-binary, self-hostable Firecrawl alternative in Rust [2d] [hn]
AI Mania: From Tulips to Tokens [2d] [hn]
EU Age Verification Project Mandates Hardware-Bound Attestation [2d] [hn]
Anthropic's Fever Dream: Claude's package that stole real keys [2d] [hn]
Show HN: Make your Framework 12 sound like a creaky door [2d] [hn]
Sharing an X11 Server Across Hosts with FamilyWild [2d] [hn]
Games at the press of a button: The Rip-O-Bot (1989) [2d] [hn]
Let the Machines In [2d] [hn]
Adding Go's Defer to the TypeScript Compiler [2d] [hn]
Show HN: MicroCodex Coding Agent – OpenAI/codex reimplemented in C++ <1MB binary [2d] [hn]
TinyNES Review – A Super Niche NES Console [2d] [hn]
My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw." [2d] [hn]
EU rules on AI models become enforceable. What's going to change? [2d] [hn]
Saying 'Google It' Makes You Sound Old [2d] [hn]
German carmakers flood jobs market with managers after wielding axe [2d] [hn]
Europe EV Sales BEVs Jump 50% & Reach 26% Market Share [2d] [hn]
'Crush this lady': how eBay harassment campaign led to $56M payout [2d] [hn]
SwiftUI After 7 Years: A Story of Mediocrity [2d] [hn]
Effective HTML [2d] [hn]
Microsoft raises Xbox prices by up to 43% [2d] [hn]
Cancelling Cursor [2d] [hn]
Welcome to Agents Week [2d] [hn]
The Myth of Snow Leopard [2d] [hn]
Harvesting SSH Credentials: Insights from My Honeypot Network [2d] [hn]
The Coldcard Disaster Gets Worse: The Hack May Have Reached $88.6M [2d] [hn]
Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark [2d] [hn]
Pushes to arch AUR are suspendended right now. [2d] [hn]
Linux Desktop Market Share Surpasses 10% in North America [2d] [hn]
GE-97 Terminal: The Old Internet [2d] [hn]
Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM [2d] [hn]
Rooting, firmware analysis and persistent credentials of TP-Link TL-841N [2d] [hn]
How the words we teach English language learners changed [2d] [hn]
Mosh in a Lift (2012) [2d] [hn]
Ursula K. Le Guin: A Rant About "Technology" (2005) [2d] [hn]
Finding zombies in our systems: A real-world story of CPU bottlenecks [2d] [hn]
The Seinfeld Chronicles: Digital Edition [2d] [hn]
Has the New Cocaine Arrived? [2d] [hn]
Twenty Years of RISC OS Open [2d] [hn]
An internal OpenAI Astra model solved 10 major open math and CS problems [2d] [hn]
Great Question (YC W21) Is Hiring Senior Demand Gen Manager [2d] [hn]
Only 8.9% of sites block AI crawlers, but 94.8% are never cited in AI answers [2d] [hn]
Meshdiff – visually compare two STL versions in the browser, client-side [2d] [hn]
Wikimedia Foundation refuses union recognition, hires union-busting law firm [2d] [hn]
Show HN: Fuse – statically typed functional programming language [2d] [hn]
LLMs Discover P=NP (Comic) [2d] [hn]
I made a Promise-aware debounce and throttle library for TypeScript [2d] [hn]
Generative AI floods and dilutes the market for books [2d] [hn]
US Treasury undertakes historic intervention in yen market [2d] [hn]
Show HN: Katharos Functional programming and CSP-style concurrency for Python [2d] [hn]
(Rust) All-Hands 2026 Retrospective [2d] [hn]
Is the Industrial Revolution a good precedent for explosive growth today? [2d] [hn]
Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge [2d] [hn]
Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores [2d] [hn]
Show HN: Bor – Open-source policy management for Linux desktops [2d] [hn]
The time filter in Google Search broke a few days ago [2d] [hn]
Cyberscript [2d] [hn]
Nerd culture is murdering intellectuals [2d] [hn]
Mathematics Without Mathematicians [2d] [hn]
Show HN: Tone Generator [2d] [hn]
Police in the US are making their own true crime podcasts [2d] [hn]
IBM i (OS/400) the Database Operating System [2d] [hn]
I don't recommend Tailwind CSS [2d] [hn]
Australia's social media ban has failed [2d] [hn]
Agent4Lease [2d] [hn]
CRM: An open-source, agentic-first CRM [2d] [hn]
ESP32-C3 SuperMini antenna modification [2d] [hn]
Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 [2d] [hn]
Don't credit the LLM [2d] [hn]
Karpathy’s Pelican [2d] [hn]
Canadians are leaving the country at record levels. Can anyone solve this? [2d] [hn]
OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf] [2d] [hn]
The teenage hitmen recruited to kill across Europe [2d] [hn]
Futurism says Meta has "almost nothing" to show for AI. The numbers say [2d] [hn]
MkLinux and the pimped-out Apple Workgroup Server 9150 [2d] [hn]
Linux desktop market share has hit over 10% in North America [2d] [hn]
Plug-in solar is coming. Plug-in batteries should follow [2d] [hn]
Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific [2d] [hn]
Four Time Scales for Technology Development and Deployment [2d] [hn]
When random.bytes() runs but doesn't work [2d] [hn]
Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built [2d] [hn]
Living in the Math World Means Threading the Needle [2d] [hn]
Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators [2d] [hn]
Go 1.27 Interactive Tour [2d] [hn]
ASRock BC-250: Building the Budget Steam Machine [2d] [hn]
Persistent State Machines: LLM Attention with INT4 In-Memory Cells [2d] [hn]
Walsh: Multi-agent research pipeline with risk manager that can veto trades [2d] [hn]
The Greenhouse and the Lens: Two Modes of Agentic AI Work [2d] [hn]
Kobuk the Destroyer – Tales from the Wild, Unseen World of Test Engineering [2d] [hn]
Why Is Europe Burning? [2d] [hn]