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)
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)
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)
Formal specs as sets of behaviors (surfingcomplexity.blog)
Protest footage blocked as online safety act comes into force (freespeechunion.org)
Revontuli Colorscheme Collection (codeberg.org)
TIL: Exception.add_note (daniel.feldroy.com)
printSim: a command-line python program that turns gcode into realistic 3d printer sound (github.com)
OverHAuL: Harnessing Automation for C Libraries with Large Language Models (kchousos.github.io)
The JJ VCS Workshop: A Zero-to-Hero Speedrun (github.com)
An intro to security, with eggs, please (binturo.ng)
copyparty: portable file server with resumable uploads, dedup, WebDAV, and more (github.com)
LLMs are bad at returning code in JSON (aider.chat)
Development shells with Nix: four quick examples (michael.stapelberg.ch)
Specials (2021) (www.brendangregg.com)
The Chaos of AI Agents (www.youtube.com)
Fast and cheap bulk storage: using LVM to cache HDDs on SSDs (quantum5.ca)
exosphere: A simple centralized patch management and reporting tool for unix systems (github.com)
How to configure X11 in a simple way (eugene-andrienko.com)
Getting decent error reports in Bash when you''re using ''set -e'' (utcc.utoronto.ca)
Wren - a small, fast, class-based concurrent scripting language (github.com)
Resizable structs in Zig (tristanpemble.com)
Test results for AMD Zen 5 (www.agner.org)
Reversing the C64 Bubble Bobble RNG (geon.github.io)
Optimi-Zi(n)g Sudoku-Solving (log.pfad.fr)
clj-coll: Clojure collections and sequences in Common Lisp (github.com)
Perfecting anti-aliasing on signed distance functions (blog.pkh.me)
emacs-arei Async IDE for Guile (git.sr.ht)
From Async/Await to Virtual Threads (lucumr.pocoo.org)
Hand Drawn CGI: Animating the Terrahawks Title Sequence (www.youtube.com)
Arm desktop: x86 emulation (marcin.juszkiewicz.com.pl)
Heredocs Can Make Your Bash Scripts Self-Documenting (holdtherobot.com)
Can LLMs Do Accounting? (accounting.penrose.com)
Most of your projects are stupid. Please make some actual games (www.youtube.com)
It''s time for modern CSS to kill the SPA (www.jonoalderson.com)
Split Flap (fx.hot.page)
The Sparse Frontier: Sparse Attention Trade-offs in Transformer LLMs (arxiv.org)
GNOME Calendar: A New Era of Accessibility Achieved in 90 Days (tesk.page)
HTTP/1.1 Must Die (http1mustdie.com)
Lobsters Interview with Technomancy (lobste.rs)
Rust running on every major GPU platform (rust-gpu.github.io)
Nullable but not null (efe.me)
Bringing a Decade Old Bicycle Navigator Back to Life with Open Source Software (and DOOM) (raymii.org)
Efficient Computer''s Electron E1 CPU - claims 100x more efficient than ARM (morethanmoore.substack.com)
Monotonic and Wall Clock Time in the Go time package (victoriametrics.com)
Implementing VisiCalc (rmf.vc)
Implementing a Functional Language with Graph Reduction (thma.github.io)
Combinatory Programming (blog.zdsmith.com)
pantagruel/README (github.com)
Using fortune to reinforce habits (www.judy.co.uk)
The MonTana Mini Computer (mtmc.cs.montana.edu)
What are you doing this weekend? (lobste.rs)
433: How to Make a Font that Says Nothing (untested.sonnet.io)
That time I wasted weeks hand optimizing assembly because I benchmarked on random data (www.vidarholen.net)
Programming Vehicles in Games (www.youtube.com)
vet a command-line tool that acts as a safety net for the risky curl bash pattern (github.com)
Celebrating 20 years of MDN (developer.mozilla.org)
Simple. Sensible. Sustainable (opensourcemaintenancefee.org)
Three HTTP versions later, forms are still a mess (yorickpeterse.com)
A WebTransport implementation in C (github.com)
Renting is for Suckers (andrewkelley.me)
Relational Thinking in J (storytotell.org)
When Is WebAssembly Going to Get DOM Support? Or, how I learned to stop worrying and love glue code (queue.acm.org)
Use Your Type System (www.dzombak.com)
New Aarch64 Backend (ziglang.org)
Racket as a first language (felleisen.org)
RFC 9773: ACME Renewal Information (ARI) Extension (datatracker.ietf.org)
The FastLanes File Format (github.com)
Jitsi privacy flaw that enables one-click stealth audio and video capture (zimzi.substack.com)
Code Creation, The Way Nature Intended (pehringer.info)
There is no memory safety without thread safety (www.ralfj.de)
AI and the great digital agency unbundling (dri.es)
Fallout''s Memory Model (youtube.com)
Transformers without Normalization (arxiv.org)
PSA: SQLite WAL checksums fail silently and may lose data (avi.im)
Vector Tiles are deployed on OpenStreetMap.org (blog.openstreetmap.org)
Arch Linux Dev Blog (devblog.archlinux.page)
A valid HTML zip bomb (ache.one)
Wayback 0.1 released (wayback.freedesktop.org)
How much do you spend on AI-assisted tools? (lobste.rs)
systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes (www.phoronix.com)
JNJ: J iN Janet (sr.ht)
Custom mechanical keyboard: OS-specific custom RGB lighting with QMK (quantum5.ca)
CVE-2025-54090: Apache HTTP Server: ''RewriteCond expr'' always evaluates to true (github.com)
The Death Of Industrial Design And The Era Of Dull Electronics (hackaday.com)
Vintage Macintosh Programming Book Library (vintageapple.org)
Kernel (web.cs.wpi.edu)
Branch Coverage Won''t Prove The Collatz Conjecture (concerningquality.com)
Developing our position on AI (www.recurse.com)
Implementing dynamic scope for Fennel and Lua (andreyor.st)
You Can Now Disable All AI Features in Zed - Zed Blog (zed.dev)
How we discovered, and recovered from, Postgres corruption on the matrix.org homeserver (matrix.org)
Superfunctions: solve the "color" problem of Python (github.com)
Computational Tyranny (happyfellow.bearblog.dev)
Migrating a ZFS pool from RAIDZ1 to RAIDZ2 (mtlynch.io)
Using Radicle CI for Development (radicle.xyz)
NPM ''accidentally'' removes Stylus package, breaks builds and pipelines (www.bleepingcomputer.com)
Obsolescence Guaranteed (obsolescence.dev)
20 years of Linux on the Desktop (part 4) (ploum.net)
TrackWeight: Use your Mac trackpad as a weighing scale (github.com)
font-size-adjust Is Useful (matklad.github.io)
Building Systems, Simply (www.youtube.com)
What is X-Forwarded-For and when can you trust it? (httptoolkit.com)
What to expect from Debian/trixie (michael-prokop.at)
Revere proxy deep dive (startwithawhy.com)
Reverse Proxy Deep Dive Part 2: Why HTTP Parsing at the Edge Is Harder Than It Looks (startwithawhy.com)
Fun with Gzip Bombs and Email Clients (www.grepular.com)
Display Next Hackfest 2025 (zamundaaa.github.io)
Extending Emacs with Fennel (andreyor.st)
Is it feasible to start a local forum in 2025? (lobste.rs)
AI Coding Agents Are Removing Programming Language Barriers (railsatscale.com)
TapTrap: Animation‑Driven Tapjacking on Android (taptrap.click)
Python 3.14 release candidate 1 is go (pythoninsider.blogspot.com)
Approximate first principal component (30fps.net)
Kelp: A UI library for people who love HTML, powered by modern CSS and Web Components (kelpui.com)
NVIDIA announced this week that they are bringing their CUDA software to RISC-V processors (www.phoronix.com)
More than you wanted to know about how Game Boy cartridges work (abc.decontextualize.com)
Monads as Graphs (2019) (neilmitchell.blogspot.com)
Introducing swift-erlang-actor-system (forums.swift.org)
P Verified (b-hilprecht.github.io)
Asymmetry of verification and verifier’s law (www.jasonwei.net)
Tailwind is the Worst of All Worlds (colton.dev)
Trust Deterministic Execution to Scale & Simplify Your Systems (www.youtube.com)
Library of Babel (libraryofbabel.app)
TODOs aren’t for doing (sophiebits.com)
Detecting Organic Contaminants With Less Data (mirawelner.com)
Fedora Must (Carefully) Embrace Flathub (blogs.gnome.org)
Comparing the Glove80 and Maltron keyboards (tratt.net)
OpenAI hallucinates silences as "ترجمة نانسي قنقر", meaning "Translation by Nancy Qunqar" (news.ycombinator.com)
A Self-hosted, BSD-native Gemini Protocol Server Stack – The BSD Cafe Journal (journal.bsd.cafe)
Foreword for Fuzz Testing Book (pages.cs.wisc.edu)
Semi-Automated Assembly Verification in Python using pypcode Semantics (www.philipzucker.com)
devenv 1.8: Progress TUI, SecretSpec Integration, Listing Tasks, and Smaller Containers (devenv.sh)
A parser and interpreter for a very small language (blog.ploeh.dk)
A reckless introduction to Hindley-Milner type inference (reasonableapproximation.net)
Jujutsu For Busy Devs (maddie.wtf)
Sapling (sapling-scm.com)
RFC 865: Quote of the Day Protocol (datatracker.ietf.org)
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad (deepmind.google)
Garbage Collection for Systems Programmers (bitbashing.io)
Vibe Coding Gone Wrong: 5 Rules for Safely Using AI (cybercorsairs.com)
Working on a Programming Language in the Age of LLMs (ryelang.org)
Automating Away Claude''s Bad Habits with Hooks Write-Ahead (b)Log (writeaheadblogg.ing)
AI Is Not Other People (maxmcd.com)
Fuzzing the Kotlin Compiler (blog.jetbrains.com)
cppq: Simple, reliable & efficient distributed task queues for C17 (github.com)
Pogocache - Fast caching software (github.com)
File Pilot: Inside the Engine (www.youtube.com)
Reverse engineering the mysterious Up-Data Link Test Set from Apollo (www.righto.com)
connmap: X11 desktop widget that shows location of your current network peers on a world map in real-time (github.com)
LL and LR Parsing Demystified (2013) (blog.reverberate.org)
Rickrolling Turso DB (SQLite rewrite in Rust) (avi.im)
XML Summer School, Oxford. 14th to 19th Sept 2025 (xmlsummerschool.org)
Deeper theories of program design (typesanitizer.com)