Writing surtoget.no with gleam (lindbakk.com)
All the cool kids are doing it (www.scattered-thoughts.net)
Exploiting Retbleed in the real world (bughunters.google.com)
A Full-Chain Exploit of an Unfused Qualcomm Device (hhj4ck.github.io)
GPT-5 leaked system prompt (gist.github.com)
Arenas in Rust (russellw.github.io)
Mac history echoes in current Mac operating systems (tenfourfox.blogspot.com)
Disposable Code Is Here to Stay, but Durable Code Is What Runs the World (www.honeycomb.io)
Cursor CLI (cursor.com)
Who''s Hiring? Q3 2025 (lobste.rs)
KomoDo, my first KDE app (akselmo.dev)
Version Museum: visual history of popular websites and software (www.versionmuseum.com)
GPT-5 is here (openai.com)
Re-label the "Save" button to be "Publish", to better indicate to users the outcomes of their action (phabricator.wikimedia.org)
Legacy extensions fixed for current Firefox Dev Edition (some extra config needed) (github.com)
Nixpkgs module system config modules graph (discourse.nixos.org)
Google Confirms It Has Been Hacked — Warns User Data Stolen (www.forbes.com)
More shell tricks: first class lists, jq, and the es shell (alurm.github.io)
Jepsen: Capela dda5892 (jepsen.io)
Asahi Linux Progress Report: Linux 6.16 (asahilinux.org)
We replaced passwords with something worse (blog.danielh.cc)
Jujutsu support in Reviewboard (reviews.reviewboard.org)
You don''t really need monads (muratkasimov.art)
hardmode-triangle-0 (glfmn.io)
Announcing Rust 1.89.0 (blog.rust-lang.org)
Live coding sucks (hadid.dev)
Tone Mapping (2019) (64.github.io)
Forsp: A ForthLisp Hybrid Lambda Calculus Language (xorvoid.com)
TUI version of dmidecode tool (github.com)
RFC 9457 - Problem Details for HTTP APIs (datatracker.ietf.org)
Reasoning about systems'' state spaces (youtu.be)
onion-lang (github.com)
The Bluesky Dictionary (www.avibagla.com)
HTTP/1.1 must die: the desync endgame (portswigger.net)
Out-Fibbing CPython with the Plush Interpreter (pointersgonewild.com)
comptime.ts — compile-time expressions for TypeScript (comptime.js.org)
An easy-to-implement, arena-friendly hash map (nullprogram.com)
One Billion Row Challenge (2024) (curiouscoding.nl)
What Happens When You Start Panic!ing (www.youtube.com)
LF AI & Data Foundation Hosts Vortex Project to Power High Performance Data Access for AI and Analytics (www.linuxfoundation.org)
uBlock Origin Lite for Safari (mjtsai.com)
Litestar is worth a look (www.b-list.org)
Implementing Viewstamped Replication protocol (2023) (distributed-computing-musings.com)
A Fast, Growable Array With Stable Pointers in C (danielchasehooper.com)
We shouldn’t have needed lockfiles (tonsky.me)
Dotfiles feel too intimate and personal to share (hamatti.org)
New Method Is the Fastest Way To Find the Best Routes (www.quantamagazine.org)
zig-error-patterns (glfmn.io)
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS (podcasts.apple.com)
Why hx-boost is actually the most important feature of htmx (dev.to)
What''s new in Gleam 1.12? (video walkthrough) (www.youtube.com)
More than Two Hard Disks in DOS (www.os2museum.com)
Zigzag Number Spiral (susam.net)
The how and why of GitHub to Codeberg (www.arscyni.cc)
Bag of words, have mercy on us (www.experimental-history.com)
70 Companies You Didn''t Know Were Using Rails in 2025 (thoughtbot.com)
Project Ire autonomously identifies malware at scale (www.microsoft.com)
Why are Windows semiannual updates named H1 and H2? (devblogs.microsoft.com)
Python performance myths and fairy tales (lwn.net)
The wall confronting large language models (arxiv.org)
Rethinking devtools: Escaping the Cloud and SaaS trap (lobste.rs)
Omarchy is on the move (world.hey.com)
A Proper X86 Assembler in Haskell Using the Escardó-Oliva Functional (blog.vmchale.com)
cosmopolitan: build-once run-anywhere c library (github.com)
Be Careful with Go Struct Embedding (mattjhall.co.uk)
Digital hygiene: Emails (herman.bearblog.dev)
Have you ever regretted open-sourcing something? (lobste.rs)
Gate-level emulation of an Intel 4004 in 4004 bytes of C (nicholas.carlini.com)
How I make 3D Games (www.youtube.com)
TIL that You can spot base64 encoded JSON, certificates, and private keys (ergaster.org)
Gleam v1.12.0 released (gleam.run)
Rod Burstall: In Memoriam (arxiv.org)
Open models by OpenAI (openai.com)
A SPARC makes a little fire (www.leadedsolder.com)
Quickshell, building blocks for your desktop (quickshell.org)
No, AI is not Making Engineers 10x as Productive (colton.dev)
Proxmox Virtual Environment 9.0 with Debian 13 released (www.proxmox.com)
The SmartBase - IoT Adjustable Bed for Comfort and Safety (2019) (www.hackster.io)
PHP 8.5 Adds Pipe Operator: What it means (thephp.foundation)
What I Wish I Knew When Learning Picat (github.com)
The PSF has paused our Grants Program (pyfound.blogspot.com)
AWS deleted my 10-year account and all data without warning (www.seuros.com)
Open Sourcing Shaper: Minimal Data Platform for Embedded Analytics (github.com)
Pragmatism in Programming Proverbs (www.gingerbill.org)
Cordoomceps - replacing an Amiga''s brain with Doom (mjg59.dreamwidth.org)
Getting Started with Randomised Testing (lewiscampbell.tech)
Lisp interpreter with GC in 750 lines of Odin (and 500 lines of C) (github.com)
My Ideal Array Language (www.ashermancinelli.com)
What trick of the trade took you too long to learn? (lobste.rs)
When vibe coding, isn''t the source code the prompt? (boston.conman.org)
Every reason why I hate Ai (malwaretech.com)
Getting an LLM to Play Text Adventures (entropicthoughts.com)
Markdown Monster (git.sr.ht)
The Toyota Corolla Of Programming (deprogrammaticaipsum.com)
p-fast trie: lexically ordered hash map (dotat.at)
Destructive in-order tree traversal (morwenn.github.io)
The Generativity Pattern in Rust (arhan.sh)
A Few Things About the Anchor Element’s href You Might Not Have Known (blog.jim-nielsen.com)
A Gentle Introduction To Fortran (hackaday.com)
In the Future All Food Will Be Cooked in a Microwave, and if You Can’t Deal With That Then You Need to Get Out of the Kitchen (www.colincornaby.me)
Introducing luzer, a coverage-guided Lua fuzzing engine (bronevichok.ru)
Let''s hax0r a GC… (eventually) (h4x0r.org)
NetBSD New build cluster speeds up daily autobuilds (blog.netbsd.org)
Complex Iterators are Slow (caolan.uk)
A Friendly Introduction to SVG (www.joshwcomeau.com)
NetBSD 11.0 release process underway (blog.netbsd.org)
How we made JSON.stringify more than twice as fast (v8.dev)
How Perplexity is Evading Anti-crawling Measures (blog.cloudflare.com)
A systematic evaluation of OpenBSD’s mitigations (2019) (isopenbsdsecu.re)
God created men; Sam Altman made them equal (taylor.town)
Polish Train Maker Is Suing the Hackers Who Exposed Its Anti-Repair Tricks (www.ifixit.com)
HTMX is hard so let''s get it right (github.com)
Writing a good design document (grantslatton.com)
NUMAI: A spreadsheet where English descriptions are translated into JS formulas thanks to AI (github.com)
Rust, Python, and TypeScript: the new trifecta (smallcultfollowing.com)
Minimal Scala Container Images using Nix (blog.aiono.dev)
Assuming as Much as Possible (www.youtube.com)
More retrocomputing, less nostalgia (datagubbe.se)
Practical Static Analysis for Privacy Bugs (blog.brownplt.org)
Measuring AI Ability to Complete Long Tasks (metr.org)
So you want to parse a PDF? (eliot-jones.com)
The Q Programming Language (git.urbach.dev)
a parser for typescript types, written in typescript types (github.com)
Maybe the Fastest Disk Usage Program on macOS (healeycodes.com)
Unnumbered IPv4 Interfaces (blog.ipspace.net)
The Future is NOT Self-Hosted (www.drewlyton.com)
Render your Jupyter notebooks in OpenGist (blog.fabiomanganiello.com)
Governance in GNOME (www.bassi.io)
CriTcl: easily embed C code in Tcl (andreas-kupries.github.io)
AssemblyScript (www.assemblyscript.org)
The Future Of Software Is Small (www.aparker.io)
Sub/Title (subtitle.wackyneighbor.com)
cchistory: Tracking Claude Code System Prompt and Tool Changes (mariozechner.at)
Why Semantic HTML Still Matters (www.jonoalderson.com)
People still use our old-fashioned Unix login servers (utcc.utoronto.ca)
Injecting Java from native libraries on Android (octet-stream.net)
Type Safety Back and Forth (www.parsonsmatt.org)
Parse, don’t validate (lexi-lambda.github.io)
A real PowerBook: the Macintosh Application Environment on a PA-RISC laptop (oldvcr.blogspot.com)
C Language Enum Tips & Tricks (2021) (kubyshkin.name)
Twenty Eighth International Obfuscated C Code Contest (www.ioccc.org)
Tagged Unions are actually quite sexy (ciesie.com)
I’ve just deleted five of my ideas (shime.sh)
How do you backup your non-work-related data? (lobste.rs)
Compressing Icelandic name declension patterns into a 3.27 kB trie (alexharri.com)
The Rubik''s Cube Perfect Scramble (www.solutionslookingforproblems.com)
How to reverse engineer an analog chip: the TDA7000 FM radio receiver (www.righto.com)
The /o in Ruby regex stands for “oh the humanity!” (jpcamara.com)
Unikernel Guide: Build & Deploy Lightweight, Secure Apps (tallysolutions.com)
Executing arbitrary Python code from a comment (www.hacktron.ai)
A Bytecode VM for Arithmetic: The Parser (abhinavsarkar.net)
How to help someone use a computer (pages.gseis.ucla.edu)
Less Glue, More Product: Why Elixir Shrinks Architectural Complexity (iamkonstantin.eu)
git: purgatorio – the WIP 64-bit port of Inferno (git.9front.org)
This Month in Ladybird - July 2025 (ladybird.org)
libvirt - incremental backups for raw devices (abbbi.github.io)
Keep calm and carry on (boston.conman.org)
Jujutsu For Busy Devs, Part 2: "How Do I...?" (maddie.wtf)
candyfloss: an ergonomic python library for running video pipelines (git.hella.cheap)
Unit Testing Principles (olano.dev)
When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal Linux Journal (www.linuxjournal.com)
It''s rude to show AI output to people (distantprovince.by)
Reflections on Matrix criticism over the last week (youtu.be)
I couldn''t submit a PR, so I got hired and fixed it myself (www.skeptrune.com)
What Declarative Languages Are (2013) (semantic-domain.blogspot.com)
Lobsters Interview with Icefox (lobste.rs)
Free Security Audits for Erlang and Elixir open source projects (www.erlang-solutions.com)
Wayback 0.2 released (wayback.freedesktop.org)
Long Term Support (www.sqlite.org)
Stack traces for Postgres errors with backtrace_functions (www.enterprisedb.com)
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor (www.poeticoding.com)
Vibe code is legacy code (blog.val.town)
How NixOS is built (blog.erethon.com)
''Hello world'' in Bismuth (enikofox.com)
Pride Versioning (pridever.org)
agendafs: A filesystem for syncing notes to your calendar (sr.ht)
If Odin Had Macros (www.gingerbill.org)
Resurrecting a MOTU 2408 with ADAT (women-and-dreams.blogspot.com)
Roadiz : A modern headless CMS built on Symfony (github.com)
Age Verification Doesn’t Need to Be a Privacy Footgun (soatok.blog)
My favourite German word (vurt.org)
6 Weeks of Claude Code (blog.puzzmo.com)
C26 Reflections adventures & compile time UML (www.reachablecode.com)
We Asked 100 AI Models to Write Code. Here’s How Many Failed Security Tests (www.veracode.com)
Parsing without ASTs and Optimizing with Sea of Nodes (www.youtube.com)
Our first outage from LLM-written code (sketch.dev)
Ramblings (stephango.com)
Crafting your own Static Site Generator using Phoenix (2023) (fly.io)
You might not need tmux (bower.sh)
Community Contributions (philippemnoel.posthaven.com)
Go Assembly Mutation Testing (words.filippo.io)
In-Network Leaderless Replication for Distributed Data Stores (www.vldb.org)
PyPI Phishing Attack: Incident Report (blog.pypi.org)
Secure boot certificate rollover is real but probably won''t hurt you (mjg59.dreamwidth.org)
Schematra: Sinatra inspired Chicken web framework (github.com)
The smallest embeddable scripting language, part 1 (log.schemescape.com)
QUIC for the kernel (lwn.net)
From Frustration to Power: What We Learned at Nixcademy (niteo.co)
The Math Is Haunted (overreacted.io)
What is gVisor? (blog.yelinaung.com)
Vanity import paths in Go (sagikazarmark.hu)
Profiling without Source code – how I diagnosed Trackmania stuttering (larstofus.com)
Local-first search. A tale of frustrated dreams, utopian user experiences and calculated tradeoffs (fika.bar)
Global Constraint Catalog (sofdem.github.io)
In search of riches, hackers plant 4G-enabled Raspberry Pi in bank network (arstechnica.com)
Sync primitives are Functionally Complete (kprotty.me)
The Design and Implementation of Extensible Variants for Rust in CGP (contextgeneric.dev)
a5-py: Pentagonal geospatial indexing system DGGS (github.com)
Mounting The Atmosphere (oppi.li)
Build Your Own Minisforum N5 Inspired Mini NAS: A Comprehensive Guide (jackharvest.com)
Architecture Decision Record (github.com)
Tracking source locations in the Futhark compiler (futhark-lang.org)
Go''s race detector has a mutex blind spot (doublefree.dev)
I built my blog with C preprocessor macros (wheybags.com)
Books about Lisp''s "beauty"? (lobste.rs)
The Hype is the Product (rys.io)
Emacs: The MacOS Bug (xlii.space)
A Dive Into Open Chat Protocols (wiki.alopex.li)
always bet on text (2014) (graydon2.dreamwidth.org)
Interacting With Text Adventures Through Perl (entropicthoughts.com)
2000 words about arrays and tables (buttondown.com)
Crush: The glamourous AI coding agent for your favourite terminal (github.com)
Why We Need to Know LR and Recursive Descent Parsing Techniques (tratt.net)
Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code (www.philipzucker.com)
HTML Day 2025: August 2nd (html.energy)
[RFC] Upstream target support for CHERI-enabled architectures (discourse.llvm.org)
State of HTML 2025 survey (survey.devographics.com)
Agentic Coding Things That Didn’t Work (lucumr.pocoo.org)
Making libcurl work in webassembly (jeroen.github.io)
Our 100M Series B (oxide.computer)
Writing memory efficient C structs (tomscheers.github.io)
Opsqueue: lightweight batch processing queue for heavy loads (www.channable.com)
You Are The BIOS Now: Building A Hypervisor In Rust With KVM (yeet.cx)
RFC 862: Echo Protocol (datatracker.ietf.org)
Optimize CPU performance with Instruments (developer.apple.com)
Taming the Bias: Unbiased* Safepoint-Based Stack Walking in JFR (mostlynerdless.de)
Activity Monitor Anatomy (www.bazhenov.me)
Phoenix LiveView v1.1.0 (hexdocs.pm)
Nadim Kobeissi''s Applied Cryptography Course (www.youtube.com)
A month using XMPP for every call and chat (2023) (neilzone.co.uk)
Flat design vs realistic (“skeuomorphic”) design (www.flatisbad.com)
PKGBASE Removes FreeBSD Base System Feature (lists.freebsd.org)
bookmarkfs: FUSE-based pseudo-filesystem for managing web browser bookmarks (sr.ht)
I want to defend Wayland here and explain a crucial piece that I think people are missing (ordinary.cafe)
PHP-ORT: Machine Learning Inference for the Web (krakjoe.github.io)
Eskil Steenberg – I''ve had it with the security orthodoxy (www.youtube.com)
Typechecking Is Undecidable When ''Type'' Is a Type (dspace.mit.edu)
Artificial Intelligence and the Linux Community (blogs.gnome.org)
What does AI testing done right look like? (antithesis.com)
This Was Not Really Quite Simple: Building a Redstone Calculator in Minecraft (www.youtube.com)
KernelScript: DSL for eBPF-Centric Development (github.com)
Printing a Book at Home with Minimal Equipment (huijzer.xyz)
A pretty nice web framwork (github.com)
Advanced Rust macros with derive-deftly (diziet.pages.torproject.net)
Raspberry Pi RP2350 A4 stepping fixes E9 GPIO Erratum, glitching bugs, introduces 2MB flash variants - CNX Software (www.cnx-software.com)
rules_derive: deriving using macro_rules (matx.com)
Ethersync: Peer-to-peer collaborative editing of local text files (github.com)
I''m never going back to Matrix (shkspr.mobi)
Debugging the Pixel 8 kernel via KGDB (xairy.io)
Loading credentials from Bitwarden with direnv (ergaster.org)
The Useless useCallback (tkdodo.eu)
Make Your Own Backup System – Part 2: Forging the FreeBSD Backup Stronghold (it-notes.dragas.net)
Weather Model based on ADS-B (obrhubr.org)
No more Erlang manuals (blog.whenhen.com)
Contraction Hierarchies: HMC Clinic Project Recap (blog.appliedcomputing.io)
WP Cron Pixie v1.5.0 released: Front end switched from Elm to Gleam (ianmjones.com)
Tandy Color Computer 1 composite video (www.leadedsolder.com)
Identity and behaviour (ismaelcelis.com)
Linux 6.16 changelog (kernelnewbies.org)
I designed my own ridiculously fast game streaming video codec (themaister.net)
Bevy in Production: Building Modeling at Metabuild (www.youtube.com)
Giving Benchmarks a Boat (buttondown.com)
From XML to JSON to CBOR (cborbook.com)
Jeopardy! world (hauleth.dev)
Sploitlight: Analyzing a Spotlight-based macOS TCC vulnerability (www.microsoft.com)
Testing the GCC-based Rust compiler(backend) (fractalfir.github.io)
On designing application UIs for children (shaneosullivan.wordpress.com)
Following up on the Python JIT (lwn.net)
An AI tool I find useful (notes.billmill.org)
No moar cookies (paretosecurity.com)
Approve merge requests with your eyes closed (blog.jse.li)
The Mask-Off Moment for Digital Identity (newdesigncongress.org)
SIMD Within a Register: How I Doubled Hash Table Lookup Performance (maltsev.space)
What are you doing this week? (lobste.rs)
How to Make Websites That Will Require Lots of Your Time and Energy (blog.jim-nielsen.com)
Dynamic Phase Alignment in Audio (www.youtube.com)
The Bard and The Shell (journal.bsd.cafe)
Bringing together Clazy and Clang-Tidy (alex1701c.github.io)
EU age verification app to ban any Android system not licensed by Google (www.reddit.com)
The ultimate meeting culture (abitmighty.com)
The many JavaScript runtimes of the last decade (buttondown.com)
Yalep - Micro language based on Lean for teaching mathematical high-school proofs (gricad-gitlab.univ-grenoble-alpes.fr)
LLVM integrated assembler: Engineering better fragments (maskray.me)
[trane] (lisp.trane.studio)
multiplex: Command-line process mutliplexer (github.com)
Programming Languages: Application and Interpretation (3rd edition) (www.plai.org)
Enough AI copilots! We need AI HUDs (www.geoffreylitt.com)
Designing a flatpack bed (kevinlynagh.com)
How I hacked my washing machine (nexy.blog)
IPng Networks - Certificate Transparency - Part 1 (ipng.ch)