User Interfaces of the Demo Scene (datagubbe.se)
Manganin: tools matter (blog.manganin.dev)
Writing Toy Software Is A Joy (2025) (blog.jsbarretto.com)
Lobste.rs on Spinel (intertwingly.net)
CP/M-68K emulator (kobolt.github.io)
Starling, a Linux Desktop written from scratch (starling.build)
Proof types in Dart: Using final classes as computational witnesses (modulovalue.com)
Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident (huggingface.co)
Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
State of multi-player Wayland (blinry.org)
The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)
The mean means nothing (fzakaria.com)
You Could Have Come Up With Kimi Delta Attention (blog.doubleword.ai)
Destructive Convenience (volpeon.ink)
Bastillion 5.1: single-JAR SSH gateway now audits and replays every session (github.com)
Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) (www.youtube.com)
Parallel JSON parsing on the GPU with compute shaders (github.com)
Where are the third places for learners? (kernelkennel.com)
Inside Zig''s Incremental Compilation (mlugg.co.uk)
I Designed A Custom PCB To Avoid Pressing A Button Three Times (blog.tymscar.com)
Design flaws in issetugid() (2017) (gist.github.com)
Building (systems) software with Nix (hondu.co)
Aux Control — Let the whole room vote on the music (auxcontrol.live)
Tracked Capabilities for Safer Agents (martinodersky.substack.com)
What even are microservices? (var0.xyz)
Golang Maps: How Swiss Tables Replaced the Old Bucket Design (blog.gaborkoos.com)
Improving Heuristics (2015) (www.redblobgames.com)
Develop Cross-Platform CLI and GUI Tools With Tcl/Tk (cgicoffee.com)
Making KIO copy many files fast (blogs.kde.org)
One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way (www.lysk.ai)
PyTorch: a reference language (docs.pytorch.org)
Object Pascal bindings for J (github.com)
Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires (danluu.com)
The Most Valuable Commodity in the World is Friction (kyla.substack.com)
Replace Your CI With a Merge Queue (blog.exe.dev)
Framework 13 Pro review: Much better battery, much worse price (arstechnica.com)
Try the New Firefox Design in Nightly (blog.nightly.mozilla.org)
Apple MIE exploitation challenge (blog.calif.io)
Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)
Setup a Simple, Self-Hosted Web Server with OpenBSD (btxx.org)
The Pad-O-Matic prints one-time pads at the press of a button (spectrum.ieee.org)
Seriously, what is the large code-model even for? (fzakaria.com)
The Unreasonable Effectiveness of Constructive Data Modeling (www.youtube.com)
Advantages and disadvantages of Windows NT 3.1 (dfarq.homeip.net)
Finding bugs in Raft implementations (antithesis.com)
Exploiting Volvo/Eicher’s fleet management platform to gain control over all users and vehicles (eaton-works.com)
Quick & Easy Parser Combinators (www.cyan.sh)
Open Source Must Be Fun (Or It Will Die) (mikemcquaid.com)
Electromagnetic Field 2026 (media.ccc.de)
The Computer That Helped Win World War II: Colossus cracked Germany’s encrypted communications (spectrum.ieee.org)
Paged Out - Issue #9 (pagedout.institute)
I wrote a music player (2022) (www.omarpolo.com)
Building a Fast Lock-Free Queue in Modern C From Scratch (blog.jaysmito.dev)
Zstandard Worked Example (2022) (nigeltao.github.io)
Would you like to see a “fork” of current tech as a whole? (lobste.rs)
Blogging Can Just Be Stating The Obvious (blog.jim-nielsen.com)
How is the Bun Rewrite in Rust Going? (lockwood.dev)
Digital circuit simulator in Haskell (entropicthoughts.com)
Conformance vs Comprehension (intertwingly.net)
The Productivity Mirage (frantic.im)
Most Googlebots are fake (digitalseams.com)
The Design of Everyday Cryptography (www.dlp.rip)
lobste.rs has a js-error: here is a mitigation (lobste.rs)
A Voice From Nowhere (zanlib.dev)
A Fast Path for Fixed-Length Lists in Parquet (www.morling.dev)
Functional programming from first principles, part 1 – motivation (www.endoflineblog.com)
On AI (jcs.org)
N-body gravity simulation in O(N) (www.youtube.com)
Make Reviews Possible Again With This One Simple Trick (silky.github.io)
PGSimCity: How PostgreSQL Works, in 3D (nikolays.github.io)
DOOM running on a regex engine (4rh1t3ct0r7.github.io)
History of John Backus''s FP languages (softwarepreservation.computerhistory.org)
What does GitHub’s security team even do? (orchidfiles.com)
Interconverting std::function with copyable_function (quuxplusone.github.io)
Authoritative dnsmasq in a MikroTik container (op-co.de)
Being Linux Torvalds (antirez.com)
Using ThinkPad T480 as a mobile phone (grego.site)
SQLite WAL Mode Can Lock Short-Lived Readers (hynek.me)
Valkey: The secret life of data in Valkey (valkey.io)
Teaching Kids Forth (gracefulliberty.com)
Forth Moving Lisp Moving Forth (letoverlambda.com)
OpenLoco version 26.07 Release (openloco.io)
Fast DEFLATE compression in Lean (kim-em.github.io)
Xavier Leroy on programming, languages and formal verification (www.youtube.com)
Dmitri Gaskin on jQuery (www.youtube.com)
Beginner J: Dealing Cards (www.youtube.com)
Scanwheel: a drum style mechanical television you can build yourself (github.com)
Himalaya v2.0.0: CLI to manage emails (fosstodon.org)
Maybe we should revisit microkernels (notes.hella.cheap)
Banner Highway 01 (highway-01.banner-depot-2000.net)
Memory Safety Absolutists (itsallaboutthebit.com)
How to self-host servers in your living room on static IPs (vimuser.org)
How I Find Problems to Solve as a Staff Engineer (lalitm.com)
Your harddrive is probably full (www.marginalia.nu)
General Resolution: LLM usage in Debian (www.debian.org)
Verse: A New Scripting Language (youtube.com)
Languages as designed latent spaces (blog.jsbarretto.com)
Zig by Example (zigbyexample.neocities.org)
A shell colon does nothing. Use it anyway (refp.se)
Emacs Writing Machine (chainsawriot.com)
Android May Soon Restrict On-Device ADB, Affecting Shizuku, libadb and Developers (kitsumed.github.io)
Sending packets directly from BPF (lwn.net)
stinkpot: sqlite-backed shell history (tangled.org)
the perils of parsing type inference declarations in c (sebsite.pw)
I''m running the ICFP programming contest (2026) (eieio.games)
We Are Not Special (www.hillelwayne.com)
Microformats – building blocks for data-rich web pages (microformats.org)
2026 Stack Overflow Developer Survey (take.survey.stackoverflow.co)
Chrome registers a global shortcut for Gemini popup window (unsung.aresluna.org)
Systems and Delays (2026) (martin.janiczek.cz)
weblings: Compiling Rust to WASM from inside WASM (github.com)
Watching Go''s new garbage collector move through the heap (theconsensus.dev)
A Love Letter to Object Orientation (blog.mempko.com)
Delightful integration tests in Rust (github.com)
Postgres LISTEN/NOTIFY Actually Scales (www.dbos.dev)
Extended Connectivity Fingerprint in APL (butwhyisthat.substack.com)
git rebase -i is not that scary (cachebag.sh)
3D Gaussian Splatting in a Weekend (bfeldman.me)
ffi_call_plan caching for GLib (blogs.gnome.org)
ALP: Adaptive Lossless Floating-Point Compression (github.com)
Interview with a Maintainer (nesbitt.io)
Don''t take the black pill (www.youtube.com)
Open Weights and American AI Leadership (www.microsoft.com)
Make an Origami Circuit Board (spectrum.ieee.org)
Fragments of July 21 (martinfowler.com)
The case for MUDs in modern times (www.andrewzigler.com)
Existentials on a Leash (cdfa.github.io)
Query cycles: A compiler murder mystery (ferrous-systems.com)
Malleable Computing, Emacs, and You (yummymelon.com)
Accessibility errors increased 10% from 2025 to 2026 (webaim.org)
Making GIFs from 35mm film photography (blog.willgrant.org)
FreeBSD ports frozen (www.osnews.com)
Fast Synthesis of Basic Oscillators (artemis.sh)
I Regret Migrating to Codeberg (xn--gckvb8fzb.com)
A tour of MLIR: The Dialect Stack Everyone Depends On (hiraditya.github.io)
Mourning Dan Williams (lwn.net)
Whose freedom is it anyway? (collectivefutures.blog)
Linux debugging tools I love (2016) (jvns.ca)
Tracking TCP lifespans using eBPF (2016) (www.brendangregg.com)
Augmental MouthPad is a tongue-controlled touchpad/trackpad (www.cnx-software.com)
Fil-C: Garbage In, Memory Safety Out (www.youtube.com)
You should selfhost your mail (in 2026) (blog.haschek.at)
Software Should Work Worked (isaacvando.com)
Jolt: running Clojure on Chez Scheme (yogthos.net)
Improving std::simd::swizzle_dyn (shnatsel.github.io)
Prompt Caching In Agents (earendil.com)
agent-shell 0.63 updates (xenodium.com)
How AI Is Changing Open Source (enblog.eischmann.cz)
The PImpl idiom and the C26 std::indirect type (mariusbancila.ro)
How MVCC and Transactions Work in RocksDB (artem.krylysov.com)
Everyone Should Know SIMD (mitchellh.com)
Beyond a Single Number: Evaluating Quantized Models for Deployment (byteshape.com)
Silent Replacement of Trusted macOS App Executables (mysk.blog)
Spatial languages: writing code in 2D (shukla.io)
On Accountability (addisoncrump.info)
Software rendering in 500 lines of bare C (ssloy.github.io)
Carbon Memory Safety first deep dive (drive.google.com)
Package Name Prefixes (nesbitt.io)
Linux Patches Introduce "KNOD" For In-Kernel Network Offloading Directly To AMD GPUs (www.phoronix.com)
The first known runaway AI agent - or a very bad marketing stunt? (martinalderson.com)
Wanix — Wasm-native Unix sandboxing for the web (wanix.dev)
Justif: Knuth-Plass justification and microtypography for the web (justif.lyall.co)
Are Emojis Allowed in XMPP Addresses? (op-co.de)
Pip 26.2: –only-deps solves 16 years of app deployment hacks (jamesoclaire.com)
What Rose Petals Teach Us about Induction (www.oranlooney.com)
Your analytics are lying to you (ankursethi.com)
Calm technologies that excite me (abhi.now)
Algebraic effects and handlers in portable C99 (github.com)
John C. Dvorak has died (oldvcr.blogspot.com)
I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)
Protecting our FLOSS commons from LLMs (blog.codeberg.org)
Frag Gap (CVE-2026-53362, CVE-2026-53366) (blog.qwerty.or.kr)
Taking OCaml and Eio for a spin (mattjhall.co.uk)
Why care about programming languages (ebellani.github.io)
RefluXFS: A Linux Kernel Local Privilege Escalation to Root in XFS (CVE-2026-64600) (blog.qualys.com)
Dark Elevator: Windows Install Service Local Privilege Escalation (CVE-2026-50343) (blog.calif.io)
Announcing Topcoat: a framework for building full-stack reactive web apps with Rust (tokio.rs)
Unicode Variation Selector-15 and some of my tears (benjaminwil.info)
dcmake: a new CMake debugger UI (nullprogram.com)
PyPI releases now reject new files after 14 days (blog.pypi.org)
Snake Temple for Oric Atmos, in 10 lines of BASIC (2022) (bunsen.itch.io)
Unranked, systemd, crawls (www.marginalia.nu)
Old PC emulators that run in the browser (www.pcjs.org)
SIMD for Collision (box2d.org)
log is non-monotonous in PHP and Lua (purplesyringa.moe)
Two years of vector search at Notion: 10x scale, 1/10th cost (www.notion.com)
So Reddit has decided that plain HTML is unsafe (www.cole-k.com)
libei integrations in the XDG RemoteDesktop and InputCapture portals (who-t.blogspot.com)
Rewriting the Futhark type checker (futhark-lang.org)
Slash Pages (slashpages.net)
Prefactoring: Clear the Way for Your New Feature (testing.googleblog.com)
An Engineer’s Guide to USB Type-C (www.ti.com)
ECC and DDR5 (etbe.coker.com.au)
LG to Ban Residential Proxies from Smart TV Apps (krebsonsecurity.com)
Some more things about Django I''ve been enjoying (jvns.ca)
Bringing the modern web to the original iPad mini (seg6.space)
Parallelizing Compilation: In-Process vs Multi-Process (lobste.rs)
Free Ink · An open ecosystem for e-readers (freeink.org)
OpenAI model breaks out of security sandbox, hacks Hugging Face for data to pass test (openai.com)
AP8L - apl (www.lexaloffle.com)
Your Agentic Workflow''s Cache Keepalive Costs 8x Too Much (blog.mempko.com)
COSMIC DE’s First Seven Months (system76.com)
Using Nagios for small business infrastructure monitoring (tech.chrishardie.com)
Claude Is Not a Compiler (blog.exe.dev)
“No AI” Statements Are Much More Than Mere Statements (journal.james-zhan.com)
Web-based Jujutsu revset explorer & debugger (juju.bi)
K2 Reference Manual (1998) (web.archive.org)
FPTalks 2026 — Thu Aug 6, free, online (fptalks.org)
Cron Jobs in C from Scratch (www.youtube.com)
Capture Clauses as Effects (blog.yoshuawuyts.com)
An open-source alternative to iCloud and Google Photos (github.com)
lazy-tmux: restore tmux sessions lazily, with scrollback (lazy-tmux.xyz)
Low- and Mid-Tier Mobile for the Real World (csswizardry.com)
Five moments in snapping history (unsung.aresluna.org)
Linux kernel will support ORIGIN, sort of (fzakaria.com)
git --end-of-options (nesbitt.io)
Thoughts On Integers (2023) (blog.xoria.org)
GitHub suddenly rejected my SSH key (the fix was a .pub file?!) (thorsell.io)
Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot (jointhefreeworld.org)
GGG – Declarative SVG badge generation using Guile Scheme and SXML (codeberg.org)
KDE for Enterprise Needs a Strong PIM Infrastructure (ervin.ipsquad.net)
Why l (new runtime for k and q) (lv1.sh)
30 to 70 PRs a Day: How We Managed to Not Wreck Our Systems (www.honeycomb.io)
Security incident disclosure — July 2026 (huggingface.co)
432 Linux kernel CVEs published in the last 24 hours (lore.kernel.org)
95 reasons for having your own website (bellkiosk.website)
Using a SSH bastion, but only when I''m touching grass (evertpot.com)
Secrets Don’t Belong in Config (secretspec.dev)
An informal tutorial on Joy (www.kevinalbrecht.com)
Opaque, Interoperable Passkey Records (words.filippo.io)
Human mathematicians are being outcounterexampled (xenaproject.wordpress.com)
How Gnutella Scaled to Handle Query Traffic (rickcarlino.com)
Postgres 19 Compression: from pglz to LZ4 (www.crunchydata.com)
SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts (www.aikido.dev)
Jacobian Conjecture from Wolfram MathWorld (mathworld.wolfram.com)
Personal Anthology of Goal Code (goalprogramming.info)
A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W (1day.dev)
Who needs a real-time database? (dataintellect.com)
Extending MVCC to be serializable, in TLA (2024) (surfingcomplexity.blog)
A deep dive into my Forgejo setup (a.l3x.in)
Type Safe Servant Auth Roles (blog.cofree.coffee)
InvisiCaps: The Fil-C Capability Model (fil-c.org)
The EU is about to sell our most sensitive data to the US for visa-free travel (edri.org)
7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors (www.pillar.security)
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (drops.dagstuhl.de)
Meta Garbage Collection: Using OCaml''s GC to GC Rust (soteria-tools.com)
Using LLM-based Verification to Eliminate Bugs in Linux''s Network Stack (www.basis.ai)
Gitolite (gitolite.com)
Building an AmigaOS Development Environment in 2026 (turtleware.eu)
JSON5E - JSON5 for Humans (github.com)
Minimal Git CI using hooks (mccd.space)
Claude found a counterexample to the Jacobian Conjecture (news.ycombinator.com)
Scanline edge-flag algorithm for antialiasing (mlab.taik.fi)
Fuzzing for fun - unauthenticated denial of service in snac2 (nullenvk.pl)
I wrote an API client for my water-cooled bed (tinkering.xyz)
email encryption (computer.rip)
Who’s responsible for bug reports on old software versions? (pointieststick.com)
Cagire - Forth-based live coding sequencer (cagire.raphaelforment.fr)
The Zen of Parallel Programming (smolnero.com)
Dependable C (dependablec.org)
Running microVMs in Proxmox VE, The Easy Way (taoofmac.com)
The notification that gave up after a minute (jva.lol)
Introduction to Formal Verification with Lean (Part 1) (hashcloak.com)
I Built an Even Better Ropebot Dog (www.youtube.com)
CodeSizer: Why is that binary so big? (github.com)
ZTA: Zero Token Architecture (www.youtube.com)
Git email patch review addon for Thunderbird (mccd.space)
Shake Blog (abhin4v.github.io)
What is your favorite blog to read recently? (lobste.rs)
Skred is now a MIDI aware synth and drum machine construction kit (lobste.rs)
Triton language for Alibaba SAIL (github.com)
The death and rebirth of my home server (sgt.hootr.club)
More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows (raymii.org)
Mathematicians still don’t know the fastest way to multiply numbers (www.scientificamerican.com)
The computer at the bottom of a canal (negroniventurestudios.com)
Hardcore IndieWeb: Run your own website 100% independently for only 0.01/day (www.neatnik.net)
Software and AI - Plotting vs. Pantsing (pyjarrett.github.io)
Dictionaries and Tables DefconQ (www.defconq.tech)
Studying Linux Schedulers, and Why Metrics Matter (pradyun.net)
Human-like Neural Nets by Catapulting (gwern.net)
Repeatable Read vs Snapshot Isolation (jaymcor.github.io)
Gleam has mirrored its source code on tangled (an AT-protocol based forge) (tangled.org)
OpenSSL HollowByte: A DoS Hiding in 11 Bytes (sec.okta.com)
"Half a Second" - a book on the XZ backdoor (www.half-second.com)
A better bitset for enum flags (www.elbeno.com)
Half-Edge Data Structure. Part2 (alexsyniakov.com)
wp2shell: Pre Authentication RCE in WordPress Core (wp2shell.com)
The essence of architectural work - Part 4 (www.ufried.com)
Reviewing AI Code Is Not A Viable Argument (softwaremaxims.com)
My Best Senior Engineer Quit Last Month (blog.stackademic.com)
APL Case Studies (www.dyalog.com)
Haunt 0.4.0 released (git.dthompson.us)
Goodbye, and thanks for all the Bikesheds (queue.acm.org)
Cache Directory Tagging Specification (bford.info)
The fediverse was right (blog.lvmbdv.dev)
NextBSD project revived: Apple''s FOSS user-space tools on the FreeBSD kernel (nextbsd.org)
PowerShell over SSH in 2026: OpenSSH on Windows, Key Auth, and PowerShell 7 Remoting (mattmichie.com)
neither gcc nor clang are compliant with standard c (sebsite.pw)
GitRoot (gitroot.dev)