The Brutalist Report

Hacker News

SimpleIDE [19d] [hn]
Code Review Can Be Better [19d] [hn]
"AI first" and the Bus Factor of 0 [19d] [hn]
Coris (YC S22) Is Hiring [19d] [hn]
Game math: precise control over numeric springing [19d] [hn]
Show HN: PlutoPrint – Generate Beautiful PDFs and PNGs from HTML with Python [19d] [hn]
Introduction to Bluesky's AT Protocol [19d] [hn]
Zedless: Zed fork focused on privacy and being local-first [19d] [hn]
Lean proof of Fermat's Last Theorem [pdf] [19d] [hn]
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover [19d] [hn]
Say farewell to the AI bubble, and get ready for the crash [19d] [hn]
Zed for Windows: What's Taking So Long? [19d] [hn]
Show HN: Bizcardz.ai – Custom metal business cards [19d] [hn]
The theory and practice of selling the Aga cooker (1935) [pdf] [19d] [hn]
Show HN: Nestable.dev – local whiteboard app with nestable canvases, deep links [19d] [hn]
Pixel 10 Phones [19d] [hn]
NSA's Acting Director Tried to Save Top Scientist from Purge [19d] [hn]
An Update on Pytype [19d] [hn]
Crash Cows [19d] [hn]
Digg.com Is Back [19d] [hn]
Best Options for Using AI in Chip Design [19d] [hn]
Phone Searches at the US Border Hit a Record High [19d] [hn]
Show HN: Anchor Relay – A faster, easier way to get Let's Encrypt certificates [19d] [hn]
Show HN: Luminal – Open-source, search-based GPU compiler [19d] [hn]
OPA maintainers and Styra employees hired by Apple [19d] [hn]
Launch HN: Channel3 (YC S25) – A database of every product on the internet [19d] [hn]
Closer to the Metal: Leaving Playwright for CDP [19d] [hn]
AWS in 2025: The Stuff You Think You Know That's Now Wrong [19d] [hn]
Home Depot sued for 'secretly' using facial recognition at self-checkouts [19d] [hn]
Show HN: What country you would hit if you went straight where you're pointing [19d] [hn]
Why are anime catgirls blocking my access to the Linux kernel? [19d] [hn]
Learning about GPUs through measuring memory bandwidth [19d] [hn]
Show HN: I was curious about spherical helix, ended up making this visualization [19d] [hn]
Gemma 3 270M re-implemented in pure PyTorch for local tinkering [19d] [hn]
You can't grow cool-climate plants in hot climates [19d] [hn]
Improvements to OCaml code editing: the basics of a refactor engine [19d] [hn]
Sequoia Backs Zed's Vision for Collaborative Coding [19d] [hn]
Shader Academy: Learn computer graphics by solving challenges [19d] [hn]
Show HN: Claude Code workflow: PRDs → GitHub Issues → parallel execution [19d] [hn]
Tidewave Web: in-browser coding agent for Rails and Phoenix [19d] [hn]
Mirrorshades, the Cyberpunk Anthology [19d] [hn]
Databricks is raising a Series K Investment at >$100B valuation [20d] [hn]
Ask HN: Why does the US Visa application website do a port-scan of my network? [20d] [hn]
Vibe Coding Is the Worst Idea of 2025 [video] [20d] [hn]
Type-Machine [20d] [hn]
China blocked all HTTPS connection abroad for 1 hour in midnight [20d] [hn]
Show HN: Hanaco Weather – A poetic weather SNS from the OS Yamato project [20d] [hn]
Pre-Sputnik Earth-Orbit Glints [20d] [hn]
The Troubling Lines That Columbia Is Drawing [20d] [hn]
Monoid-Augmented FIFOs, Deamortised [20d] [hn]
Modern CI Is Too Complex and Misdirected [20d] [hn]
We’re Not So Special: A new book challenges human exceptionalism [20d] [hn]
The Value of Hitting the HN Front Page [20d] [hn]
Calling Their Bluff [20d] [hn]
Avi Loeb: Is 3I/Atlas Our Turing Test by a Superior Alien Intelligence? [20d] [hn]
Copilot broke audit logs, but Microsoft won't tell customers [20d] [hn]
The AGENTS.md Standard: A simple, open format for guiding coding agents [20d] [hn]