I stabilized never type (blog.ihatereality.space)
US data centers tripled water use to 17 billion gallons (forgeeks.net)
Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster (pointersgonewild.com)
50 years of proof assistants (lawrencecpaulson.github.io)
The XY Problem (xyproblem.info)
Adding CPU affinity in a 24-core build machine made builds take longer (infosec.exchange)
Hunting Down a Go Runtime Bug on 32-bit Embedded Systems (sigma-star.at)
An interactive introduction to the spanning tree protocol (vincent.bernat.ch)
Another look at SQLite''s WAL-Reset bug (theconsensus.dev)
MNT Station - A modular, open hardware desktop computer and server (www.crowdsupply.com)
Migrating from Codeberg Pages to an OpenBSD VPS (nemin.hu)
A Design Space Exploration of Async/Await (arxiv.org)
Porffor goes alpha August 11th (honk.foo)
Galaxium, a WebGPU universe explorer (galaxium.app)
Solving the 1N query problem (acadia.engineering)
Haskell diagrams: Tessellations (mgarletmilani.com)
Jabber/XMPP: 25 Years of Digital Independence (gultsch.de)
POP-2000, a lingua-franca POP-2 dialect (hitogata.neocities.org)
Hot Chips 2026: CUDA targets RISC-V (chipsandcheese.com)
Verifying (simple) C in Isabelle/HOL with AutoCorres (blueberrywren.dev)
Sloc Cloc and Code 4.0 (scc) - Finding the files that need the most attention (boyter.org)
Atkinson Hyperlegible appears a little smaller than some other fonts at the same font size (twotwos.nekoweb.org)
kudu - easily manage VMs on Linux (github.com)
Routeup – stable local HTTPS URLs and opt-in public tunnels (routeup.dev)
AI Coding will Prevent Expertise Lars Faye (larsfaye.com)
Intent to Ship: JPEG XL (hacks.mozilla.org)
Can a blog post be handwritten? (diggingforfire.blog)
I cannot survive from burnout (lobste.rs)
The changing role of finite-state model checking (ahelwer.ca)
IPython is All You Need (nathancooper.io)
Perspec 1.0: A Haskell desktop app for perspective correction of document photos (adriansieber.com)
Dynamically Naming Servers (arch.dog)
Micro language implementation: Calcium (nedbatchelder.com)
Control and complexity: tension in systems design (ferd.ca)
Emacs 31.1 released (lists.gnu.org)
Tiny, Untyped Monads (2024) (text.marvinborner.de)
3 constraints before I build anything Jordan Lord (jordanlord.co.uk)
What are you doing this week? (lobste.rs)
Building certgrep.sh: a free certificate transparency search engine (haveibeensquatted.com)
Your executable is a SQLite database (fzakaria.com)
Kodak DC50 now usable on the Apple II (www.colino.net)
touch - A lightweight implementation of the Unix touch command for Windows (github.com)
Adding JIT-compilation to a toy interpreter with libgccjit (gcc.gnu.org)
Everything I own, owned (schlarp.com)
offgrid electric car (2025) (joeyh.name)
Critical Coldcard flaw: what happened, who is affected, and what to do (wizardsardine.com)
Bringing Rails into the Ractor-age (railsatscale.com)
“Bare Metal” STM32 Programming (2018) (vivonomicon.com)
My DIY DEF CON Choker Has a Screen On It (www.scd31.com)
SVG Filter Effects: Creating Texture with (2019) (tympanus.net)
The text mode lie: why modern TUIs are a nightmare for accessibility (www.osnews.com)
Declarative WebGPU with S-expressions (hugodaniel.com)
Replicating Reddit''s best feature on other forums (xavd.id)
My experience as a first time speaker (blog.guillheu.dev)
Wild AI-related reliability incidents are coming (surfingcomplexity.blog)
tmp.0ut volume 5 (tmpout.sh)
Where are the data workers behind AI? (www.ai-materiality-map.org)
Are 15% of all commits fixes? (2025) (carvalho.sh)
RSoC 2026: EEVDF for Redox (www.redox-os.org)
It''s OK. Do Your Thing (buttondown.com)
How To Report A Bug So It Actually Gets Fixed (blog.tymscar.com)
Amazon kept shutting down my tablet, so I spent 266 on four AI models to own it (ericpardee.github.io)
eh: a minimalist vi-like editor (codeberg.org)
clicky: A clickwheel iPod emulator (github.com)
My favorite Computer Science books, and why (backtracking.github.io)
An Introduction to Canvas in GNU Emacs (monadicsheep.org)
Hister - A private, full content search index that you control (hister.org)
A Friendly Introduction to Racket (geometridae.bearblog.dev)
And then the men with guns tell you to do it anyway (shkspr.mobi)
Are there any decent programs for pdf viewing and editing for Linux that replace Adobe Acrobat? (lobste.rs)
Optimizing memory usage in a markdown parser (blog.kowalczyk.info)
JIT Compiling Code in 5μs (malisper.me)
Foundational Verification of Running-Time Bounds for Interactive Programs (adam.chlipala.net)
Integrating Discord SDK into EVE Frontier (skemman.is)
‘Huge Breakthrough’ in the Math of Imbalance (www.quantamagazine.org)
Why aren''t my two Cortex-A9 cores cache coherent? (thejpster.org.uk)
The immortal 1984 Macintosh (restoration diary) (www.thebyteattic.com)
KDE Linux experiences (akselmo.dev)
hdiutil is deprecated in macOS 27 Golden Gate (lapcatsoftware.com)
NetBSD and my life (2005) (mail-index.netbsd.org)
PiKVM project has gained support for web-camera forwarding (docs.pikvm.org)
An arcade fighting game over SSH (sshfighter.com)
A 2026 Survey of Rust GUI Libraries (blog.wybxc.cc)
Linus Torvalds uses AI to debug an Intel GPU driver bug (github.com)
nss-userhosts - hosts files for unprivileged users (codeberg.org)
InjectionBunny, a NTFS3 SUID injection for privilege escalation (lore.kernel.org)
Espressif releases Linux BSP for ESP32-S31 RISC-V boards (www.cnx-software.com)
There continue to be reasons for software to be slow (typesanitizer.com)
Stalking the Wily Hacker: 40 years later (youtu.be)
You should never be angry at work (www.seangoedecke.com)
Robot comment classifier (entropicthoughts.com)
The Schrödinger Email (yashgarg.dev)
OTel Isn''t Going Well (And I Made A Spreadsheet About It) (matduggan.com)
Stop Making TUIs (sockpuppet.org)
Compile-Time Improvements in LLVM 23 (aengelke.net)
The cool things of Gleam (a.baez.link)
Emacs Arbitrary Code Execution Returns (eshelyaron.com)
Roomy is generally available (blog.roomy.space)
Turning My CASIO F-91W Into a Contactless Payment Device (hackernoon.com)
Programming Language Semantics and Memory Safety (burakemir.ch)
Guitar Tuner (2015) (aerotwist.com)
Zero-Knowledge Proof of Wasta with Applications in Lebanon (eprint.gacr.info)
Exim 4.100 released (lists.exim.org)
The Pit of Success - An interview with Rico Mariani (youtu.be)
Homebrew 68K Machine Has A PCI Bus (hackaday.com)
War is not god, neither is AI (ryelang.org)
Felony Bench: Be AI, Do Crime (www.felonybench.com)
Unfortunately you sometimes need to do the thing (griffinberlste.in)
Enabling the next-generation trait solver on nightly Rust Blog (blog.rust-lang.org)
Small, native web tricks worth remembering (htmlcat.net)
rust-glancer: An alternative LSP for Rust with focus on low memory usage (rust-glancer.github.io)
Data races and the memory model in Go (func25.dev)
Japan tried to build an operating system for the entire world, then the US government intervened (www.xda-developers.com)
The Atproto Spaces Alpha is Live (atproto.com)
The road to ACID transactions in Cassandra 6 (theconsensus.dev)
I accidentally logged hundreds of thousands of phone calls to military bases (lina.sh)
Music theory for programmers (runjs.app)
What are you doing this weekend? (lobste.rs)
Bazzite Deck 44 Launches Today (universal-blue.discourse.group)
Better Batteries (matklad.github.io)
Vibe coding personal apps in mid-2026 (www.flourish.org)
Bringing Primary Constructors to Dart (dart.dev)
Btrfs Snapshot Integration in KDE (bharadwajraju.com)
Survival Guide for a Censored Internet (www.akitaonrails.com)
Announcing Rust 1.98.0 (blog.rust-lang.org)
Egghead is a note-taking app (wunsch.substack.com)
Decoding Magic School Lunar''s Save Game Format (mistys-internet.website)
Emacs 31.1 will release on 8/24 (github.com)
Zero-Knowledge Proofs Aren’t Age Verification Silver Bullets (www.eff.org)
Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill (www.gingerbill.org)
GitHub, autoscaling, and the component substitution fallacy (surfingcomplexity.blog)
A Personal Computer For Children Of All Cultures (www.deconstructconf.com)
Double-double: 31 digits of precision without leaving the FPU (marekfiser.com)
Open-sourcing OpenPubkey SSH (OPKSSH): integrating single sign-on with SSH (www.ethanheilman.com)
Open Source Is Not a Virtue: It’s an Ownership Model (blog.mozilla.ai)
Opus is a minimal, statically-scoped Lisp dialect based on the semantics of f-expressions (the Kernel language) (github.com)
The Idea Processor, or “What is the use case?” (forum.malleable.systems)
Bun 1.4 (bun.com)
Going freestanding (antonz.org)
X.Org Server 26.1 RC1 Prepares For First Feature Release In Five Years - Phoronix (www.phoronix.com)
20 the CI traffic without getting slower: How we rebuilt Git serving at Datadog (www.datadoghq.com)
AliExpress keeps multipoint Bluetooth headphones active with WebAudio fingerprinting (blog.laserphile.com)
NASA''s System Modeling Language, FPP (ieeexplore.ieee.org)
AI didn''t erase the junior''s value. It increased it (franciscotrindade.me)
Why compiling Rust to WebAssembly is slow (00f.net)
raylib examples in Jolt (raylib-jlt.b12n.app)
How a joke domain purchase turned into geopolitical warfare (sprocketfox.io)
If this is true, the hyperscalers are toast (klementoninvesting.substack.com)
Pitfalls of Benchmarking on Modern Systems (stefan-marr.de)
Rust Supply-Chain Attack: arrayref 0.3.10 and the proc-macro1 Typosquat (www.stepsecurity.io)
Reverse-engineering Find My People to stalk my ex a friend, cause I can (zerotistic.blog)
Three ways to smuggle SQLite into Nix (fzakaria.com)
What Zig felt like, coming from Rust (besok.github.io)
Understanding the limitations of Pubsub systems (dl.acm.org)
Parsing IP addresses in C# at crazy speeds (lemire.me)
Poisoned Postgres connection pools (planetscale.com)
Goroutines 101: A basic walkthrough (func25.dev)
Reclaim the terminal (nishantjosh.dev)
Packing Malware in Rosetta 2 (kernelkennel.com)
Easy to use Entity Component System (ECS) crafted with Odin (github.com)
Sing-song: a speakable encoding for long numbers and keys (blog.vrypan.net)
Ploopy A (external trackball) (blog.ploopy.co)
Go 1.27 Release Notes (go.dev)
Go 1.27 is released - The Go Programming Language (go.dev)
Plain Text Accounting is Pretty Cool (sumnerevans.com)
capri: Type-safe, atomic Gleam bindings for Khepri, the modern distributed database for the BEAM (capri.hexdocs.pm)
Introducing Microlighter (daverupert.com)
Extreme Programming: A Gentle Introduction (www.extremeprogramming.org)
SQLite for Everything (joecode.com)
Opinions About Compiler Building (programmingsimplicity.substack.com)
Geolocating Random Islet Image Using Geometry & CUDA GPU Programming (yassa9.github.io)
The Data Copy That Lies (vivianvoss.net)
On the Capacity, Performance, and Reliability of microSD Cards (www.bahjeez.com)
Why I still hand write my commit messages (www.jvt.me)
Aiki Alpha 2 Released (decuser.github.io)
HTML Can Do That (chrisburnell.com)
Who Are the Token Brokers? (vectoral.com)
Liquid Types as a behavioural sandbox for agents (wiki.alcidesfonseca.com)
Solo: a .so loader for static Linux binaries (github.com)
a filename when none exists (daniel.haxx.se)
Fargate Is Not Firecracker (2024) (justingarrison.com)
Palomar – a registry of Lean verified mathematics (terrytao.wordpress.com)
Bun 1.4 Rust rewrite is not looking good (tipiirai.com)
Susan Kare: Designing Icons & Graphics For the Original Mac (www.youtube.com)
Things I want in a modern relational query language (sporks.space)
Alibaba''s TSMC-Built 5nm RISC-V Chip, XuanTie C950, Now Runs Qwen-3.8 27B Model Natively, Unlocking Massive Vertical Integration Tailwinds (wccftech.com)
How I developed an Am29000 C compiler and web browser (nanochess.org)
Claude and I built an app (folkwolf.net)
dgit: Git forge on Durable Objects (github.com)
Incident Report for GitHub outage on 2026-08-17 (www.githubstatus.com)
Mastodon 5.0: Laying the foundation (blog.joinmastodon.org)
When str.lower() is a security vulnerability in Python (sethmlarson.dev)
Hyper-Customized One-Off Software for Cheap (blog.gnoack.org)
Organizing in Layer 8 – Building Tech in Democratic Socialists of America (www.youtube.com)
Odin''s New Inline Assembly Templates (odin-lang.org)
Experiment in reducing target directory size on nightly (blog.rust-lang.org)
Kakoune code editor (kakoune.org)
Mojo is now open source (www.modular.com)
Fixing a bricked AMD 7040 series Framework 13” laptop with 20 tools (quantum5.ca)
Why I reimplemented LVM (with worse guarantees) (depot.dev)
What software do you use daily in 2026? (lobste.rs)
CSS-in-JS Arena Bamboo, StyleX and Panda on Pixel-Identical Apps (github.com)
CSS: the bomb inside your inbox (portswigger.net)
VRAM Management Part 2: Beyond the Limits of Physical VRAM (pixelcluster.dev)
Shading Motion (blog.maximeheckel.com)
Fairphone 6 PostmarketOS working main camera (catcrafts.net)
How I browse the Web with uBlock (Hard Mode) (untrusem.party)
GPU Offload in Rust: Portable, Safe, and Fast (arxiv.org)
Tsampi BFT: Leaderless One-Round Voting with Parameterized Finality (www.tsampi.com)
Using the railway network as a flatbed scanner (philo.gay)
Rethinking Database Programming (acadia.engineering)
Programming Pearl: Sampling Unique (x, y) Pairs (pagedout.institute)
Selective Applicative Functors (blog.veritates.love)
Encoding vcmpps and vcmppd (www.corsix.org)
Biboumi – XMPP gateway to IRC (biboumi.codeberg.page)
Actual Budget (actualbudget.org)
Why BQN Wins (github.com)
Retrofitting a build system into a compiler (www.dra27.uk)
The benchmarkpocalypse (danluu.com)
Quake Shareware, a CD-ROM just a little too full (fabiensanglard.net)
A practical workflow for LLM-assisted development (yogthos.net)
How AI text watermarking works: a visual guide (declaude.org)
How Bluesky draws its logo on screenshots (timmarinin.net)
We Tracked a Shipment of Rare Books. It Ended at an Amazon AI Training Facility (simonwillison.net)
AI;DR (AI; Didn’t Read) (www.rickmanelius.com)
How Go detects struct copies with sync.noCopy (func25.dev)
GitHub has alternatives, but no replacement (lalitm.com)
A Preview of DuckDB v2.0 (duckdb.org)
Starting a Decompilation Project from Zero: Claude Code and 51% of a 2001 GBA Game (gambiconf.substack.com)
Qwen 3.8 27B is excellent, but it defaults to wildly overthinking things (simonwillison.net)
Accurate color conversions (2023) (lomont.org)
Does it make sense to switch to a Github Alternative ? (lobste.rs)
Beyond WASI: Running any Rust application in the browser with BrowserPod 3.0 (labs.leaningtech.com)
When the Down Arrow is not an Upside-Down Up Arrow (2022) (thefloatingcontinent.com)
ESP32 Firmware Development with Docker Sandboxes (www.docker.com)
Anthropic’s ‘Watermark’ Text Adulteration in Claude Is a Perversion of Writing (daringfireball.net)
Stratum 1 PTP Grandmaster: CM4 SR1723U10 (Part 1) (opscode.io)
Facts: Curated Knowledge for Humans and Agents (gist.github.com)
AppleWorks on the Apple II (stonetools.ghost.io)
MuQSS CPU scheduler for Linux 7.2 by Con Kolivas (lore.kernel.org)
Writing a Fast Compiler (tibleiz.net)
Vetted AI code is hard to justify (amoffat.github.io)
Thinking about tests: assertions and matchers (zverok.space)
Passphrase-less reboots using kexec under NixOS (www.bevuta.com)
Four levels of in-place initialization (blog.yoshuawuyts.com)
Build-time systemd schedule (gvolpe.com)
(What Comes) After FOSS? (infrastructureinsights.fund)
Agents in Orbs (ampcode.com)
SIMD in the 90s: Programming Intel''s Pentium MMX (pikuma.com)
SCM_RIGHTS API quirks (2019) (gist.github.com)
Technology optimism hour (macwright.com)
WEBMASTER@ a manifesto for everyone (brennan.day)
The Limits of AI - Hubert Dreyfus (1985) (www.youtube.com)
AI Software Development – What Does The Data Say? (codemanship.wordpress.com)
Pony''s Arena Allocator (www.ponylang.io)
A faster way to calculate the day-of-the-week (www.benjoffe.com)
Models Are Getting Dumber on Purpose (w4g1.dev)
Human Interface Guidelines from various platforms (unsung.aresluna.org)
You can just choose how many bugs you want now (nolanlawson.com)
Algorithmic Art: From Discovery to a Drop with a Leading Studio (art.camilleroux.com)
A Third World Embedded Engineer Responds to "RISC-V: They Should Have Known Better" (rvembedded.com)
Anti-Social Media (christianheilmann.com)
CVE-2026-33696: From a Schema Name to RCE in n8n (simonkoeck.com)
nokia-dct3-emulator: Open-source emulator analysis toolkit for Nokia DCT3 phones (github.com)
Every Fucking Website (op.tngl.io)
People of ACM - Russ Cox (www.acm.org)
I thought I was building a C replacement. I was wrong (c3-lang.org)
Protecting the Rust standard library from accidental breakage (predr.ag)
Monitoring SystemD services with Healthchecks.io (passbe.com)
A Tour of Magit''s Status Interface (heiwiper.com)
The essence of architectural work - Part 5 (www.ufried.com)
On Knowledge Representation (sifter.org)
Haskell: origins, evolution, and future (www.youtube.com)
Software Engineering fundamentals matter more than ever (rhonabwy.com)
What''s missing to have reproducible builds on PyPI (snarky.ca)
Aiki: Alpha Milestone 26 Update (decuser.github.io)
What do you think of LazyPromise as a lightweight alternative to Effect? (github.com)
A Programming Paradigm for Spatiotemporal Composability (github.com)
Zig Day Seattle, WA (zig.day)
Recap: Software Should Work 2026 Ben Cornia (bencornia.com)
Power Relations (corbinsimpson.com)
Ironies of Automation (1983) (ckrybus.com)
Are Latent Reasoning Models Easily Interpretable? (arxiv.org)
Qwen3.8-27B - Release Day Demos (loktar00.github.io)
Why I remain a skeptic (blog.jsbarretto.com)
How Is Compression Prediction? (lukefleed.xyz)
Everything is about to “go dark” (blog.cryptographyengineering.com)
Flirt: GitHub and Mailing List backends (blog.buenzli.dev)
.jpg)
Serokell’s Work on GHC: Dependent Types, Part 5 (serokell.io)
Training AI Scientists to Replicate Research (inherentlabs.ai)
The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software (2005) (www.gotw.ca)
nixpkgs-multiverse: fast mode (fzakaria.com)
Demystifying Type (and some Un-Paradoxing) (sifter.org)
Improving system safety with Temporal Logic of Actions (TLA) (depot.dev)
Firefox is now the last major browser that still supports uBlock Origin (www.pcworld.com)
How 2004 RuneScape fit a multiplayer RPG into 56k dial-up · jkm.dev (jkm.dev)
Kernel that only runs an NES emulator (github.com)
RVA23 vs ARMv9 a Small Experiment (gist.github.com)
An Anecdote Against Slop Artifacts (www.markusde.ca)