Software Understanding in the Sciences is Really Uneven (lobste.rs)
AI & The University (www.youtube.com)
A new model for source control by Alcides Fonseca (wiki.alcidesfonseca.com)
How a device finds encrypted DNS by itself (blog.dundns.eu)
John Henry in the age of AI (davepedu.com)
This Quarter in KDE Digital Sovereignty: Q2 2026 (blogs.kde.org)
From constraint models to playable puzzle games (zayenz.se)
Informing HTTP Extension Design with Data (mnot.net)
Notes Compound, Blogs Compile: When I Update a Note vs. Publish a Post (www.ssp.sh)
What is a product? (rogix.dev)
Some ways to navigate through ''git blame'' over time in GNU Emacs (utcc.utoronto.ca)
Introducing Kitesurf: The agent-first browser that runs in V8 isolates on Cloudflare Workers (blog.cloudflare.com)
Nix Evaluation Is a Scheduling Problem (notashelf.dev)
I''m leaving OpenAI to build Jurassic Park (taylor.town)
ropbot: Reimaging Code Reuse Attack Synthesis (kylebot.net)
A shell exclamation mark is not for yelling. Be lazy (refp.se)
AI-generated vulnerability patches require human review (1password.com)
I got a 1998 CD-ROM world atlas running on Windows 11 (trevmex.com)
Super Mario Derivations (fzakaria.com)
celld — Durable Objects, self-hosted (celld.dev)
the web server deployment model breaks at hobby scale (w.on-t.work)
Crubit, C/Rust Bidirectional Interop Tool (crubit.rs)
Zig''s Io.Threaded is Neat (matklad.github.io)
cl-forth: Forth 2012 Standard in CL (github.com)
Zapscape - Guest to host escape in KVM/x86 (github.com)
schrodingers-toctou: The binary you run is not the program you wrote (github.com)
Just One Function, 10x Faster? Reading a Rust Performance PR (greptime.com)
Taste Is All That''s Left (notashelf.dev)
How to Make a Nintendo 64 Game in 2026 (phoboslab.org)
a 3D SVG Renderer that projects textures without rasterization (seve.blog)
Setup a simple web server with bozohttpd on NetBSD (bozo.httpd.rocks)
The LuaJIT NYI That Silently Poisoned an Unrelated Hot Loop (streamhpc.com)
The following is a valid DOS COM executable (oldbytes.space)
tl;dv (Too Lazy; Didn''t Validate): 181,874 Meetings Left Wide Open (bobdahacker.com)
Anthropic AI created fake profiles to deceive people in attempted hack (www.bbc.co.uk)
jujutsu 0.44.0 (github.com)
Fiddler Web Debugger in 2026 (textslashplain.com)
i wonder if you could make a useful DOS executable with just emoji (oldbytes.space)
Finally adding recursive functions to Futhark (futhark-lang.org)
Shrinking Ruby Hashes (byroot.github.io)
On building scalable control planes (www.allthingsdistributed.com)
python string literals are kinda funny (sebsite.pw)
Comu Fits a 144MHz CH32V203 RISC-V Board Inside a USB-A Port (linuxgizmos.com)
mote command (pkg.go.dev)
GNU Hurd news 2026-q2 (www.gnu.org)
Symbolics OpenGenera to go free for non-commercial use (hachyderm.io)
AI models shock UK testers by using fake identities to try to trick developers (www.theguardian.com)
rezeptor: Install and run Windows software on Linux with tested Proton-GE recipes (github.com)
How to not write parsers (crtschin.com)
A Vision for Cargo (epage.github.io)
I Built a Blog and Forgot to Write (benjcal.space)
Proxmox officially supports Arm, with some caveats (www.jeffgeerling.com)
The "Disability Dongle": Why Silicon Valley Hates Me and you (sightlessscribbles.com)
Your Agentic Workflow''s Cache Keepalive Costs 8x Too Much (v2: the interval frontier) (blog.mempko.com)
C26: #embed (www.sandordargo.com)
How Compiler Explorer Runs on AWS in 2026 (xania.org)
How to Find Bugs in Systems That Don''t Exist (www.youtube.com)
Why the Legendary Erdős Problems Are Falling to AI (www.quantamagazine.org)
Stop Sending Me Your Errors (kramkow.ski)
Semantic field: one field for multimodal search in Elasticsearch (www.elastic.co)
Painting with Gaussians (yogthos.net)
Offensive Internet Posture (bruceediger.com)
Nix Overrides That Expire Themselves (jezenthomas.com)
"Five-Point Haskell": Unconditional Election via Parametricity (blog.jle.im)
Faster Than Ninja (build2.org)
Anti-fascist PieFed features (join.piefed.social)
Add html element to allowed comment syntax (lobste.rs)
rust-lang/rust is adopting an LLM policy (blog.rust-lang.org)
The Story of Mac: A Just-So Story (gigamonkeys.com)
Keyv and friends compromised in npm supply chain attack (www.aikido.dev)
Gödel, Escher, Elisp: The Beauty of Macros (www.chiply.dev)
Amélie (2023) (www.maxhaesslein.de)
Nehir: a tiling window manager for macOS (github.com)
we finally learned to center a div, then browsers added sidebars (seg6.space)
irken: A tiny hackable full-featured IRC client (codeberg.org)
Don''t stop early: Case-folding source code at memory speed (github.blog)
designing a query system (bal-e.org)
nixpkgs has a due-process problem (domenkozar.com)
Born Against, or why hobby programming communities are aggressively against LLM usage (blog.fogus.me)
Eco-friendly docs (starlight.astro.build)
Security is Hard, Y’all (textslashplain.com)
A Revised Haskell 2010 Language Report (blog.haskell.org)
Enabling the next iteration of the borrow checker on nightly (blog.rust-lang.org)
Liquid Glass effect for GNU/Emacs (github.com)
Taming the Steam arm64 client (on pmOS) (blog.drakulix.de)
Karpenter''s consolidation behaviour is counter-intuitive (blog.appliedcomputing.io)
The Lua community needs to learn to move on - hisham.hm (hisham.hm)
The Nix sandbox is a hidden input (fzakaria.com)
No Meat Proxy (nomeatproxy.com)
IntelliJ IDEA Goes LSP: Java and Kotlin Intelligence Comes to VS Code, Cursor, and Agentic Flows (blog.jetbrains.com)
Lisp in 99 Lines of C and How to Write One Yourself (github.com)
FFmpeg 9.0 (github.com)
Content Management for Halo 2 and Beyond(2005) (nikon.bungie.org)
Tests for a PDF · (blog.lvmbdv.dev)
BorrowSanitizer (borrowsanitizer.com)
harlan: language for GPU computing (github.com)
Bibliograph: A Prototypical AppView for Books (discourse.atmosphere.community)
A Versatile PDP-11/70 Emulator (hackaday.com)
ShieldFont (shieldfont.org)
Soppo - Go, with the features it''s missing (soppolang.dev)
Seekable OCI: Lazy-Loading Container Images via Range-Request Indexing (arxiv.org)
Devtools must be open source (blog.exe.dev)
Dabao Evaluation Board for Baochip-1x (www.crowdsupply.com)
LLMs reward expertise (www.seangoedecke.com)
Programmatically upload attachments to GitHub Issues, Pull Requests, and Comments (island94.org)
Windows XP 2002 for the Itanium: Unbridled rage (virtuallyfun.com)
Branchless Rust: Making a Filter 4x Faster by Removing an if (www.greyblake.com)
Asana’s fascinating Tab shortcuts (unsung.aresluna.org)
Imaging System Simulation (www.amarthchen.com)
Twenty Years of Pandoc (pandoc.org)
The Future of GNOME Boxes (blogs.gnome.org)
Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)
Reliability Lessons From SQLite (www.youtube.com)
Categorization with NLP (softwaremaniacs.org)
SQLite Critical CVEs or LLM Slop? (research.jfrog.com)
Projects I Wouldn''t Use Python For in 2026 (menno.io)
Wireguard For Plan 9 (shithub.us)
bonsai: A library for building dynamic webapps, using Js_of_ocaml (github.com)
help wanted (lake.computer)
Modelling Actors with Redex: Part I (eighty-twenty.org)
The Future Isn’t Evenly Distributed (perlhacks.com)
Kill the Cookie Banner (killthecookiebanner.eu)
Rust: Don''t Panic (www.youtube.com)
Going Backward (antonz.org)
Rust Project Goals: Immobile types and guaranteed destructors (github.com)
This Month in KDE Linux: July 2026 (blogs.kde.org)
Don''t Take the Black Pill (Text Adaptation) (andrewkelley.me)
KC3 v0.1.17 released (www.kmx.io)
Software for One (www.ajwaxman.com)
C to Rust Migration (blog.jetbrains.com)
Retries don''t fix eventual consistency (var0.xyz)
Gleam for Python Programmers (third-bit.com)
ICCF Holland Annual accounts 2024 (iccf-holland.org)
Don''t be a meat proxy (gruhn.me)
Practical Memory Safety (ohadravid.github.io)
9front "THIS WAS SUPPOSED TO BE FUN" Released (9front.org)
Your JSON Is Lying to You (blog.gaborkoos.com)
Anxiety (olivia.science)
EU rules on AI models become enforceable. What''s going to change? (www.euronews.com)
CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K (github.com)
Can you make a Wii U gamepad from a Raspberry Pi? (youtube.com)
Controlling Your Environment Makes You Happy (www.joelonsoftware.com)
SwiftUI After 7 Years: A Story of Mediocrity: Will it ever stop feeling like a beta? (ykvm.com)
23 languages, one I can check (jva.lol)
Faster floating point math with Rust’s new API (pythonspeed.com)
The rooting, firmware analysis and hardcoded, reset-persistent credentials of the TP-Link TL-841N (blog.juni-mp4.com)
Twenty years of RISC OS Open (www.riscosopen.org)
How fast is C26’s std::hive? (lemire.me)
NativeScope — Open Source local Studio for React Native debugging (www.nativescope.dev)
Getting Started with Google Wave [2010] (www.youtube.com)
I''m (mostly) picking models on speed now, not intelligence (martinalderson.com)
Guarded methods in OCaml (xvw.lol)
Where''s your website? (www.arscyni.cc)
Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
Mathematics Without Mathematicians (borretti.me)
EPIPE on write might mean you''re doing it wrong (rachelbythebay.com)
Ten advances in mathematics and theoretical computer science (openai.com)
Twenty Years of Bigtable (dl.acm.org)
sizeof is surprisingly difficult to parse in c (sebsite.pw)
Atom is better than RSS, in ways that matter (chrismorgan.info)
FlickBoard (natkr.com)
MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
The Fixi Project (fixiproject.org)
A week in Matrix (piegames.de)
European Search Perspective (www.eu-searchperspective.com)
Resigning from Arch Linux (linderud.dev)
Postmortem for Lean Kernel Soundness Bug #14576 (leodemoura.github.io)
LLMs won''t break symmetric crypto (www.bfswa.blog)
The First Idempotency Key (hatchet.run)
Apple Screen Sharing Pre-Auth RCE (warez.sl0p.foo)
But can your calculator run Linux? (raymii.org)
An old-new take on argument parsing in Rust (jmmv.dev)
What Naur got wrong from The concept of mind (tssm.neocities.org)
NetBSD 11.0 released (blog.netbsd.org)
Patch In, Exploit Out: How deepsec Reconstructed the Pwn2Own Microsoft Edge Sandbox Escape (www.darknavy.org)
The Session You Cannot Take With You (earendil.com)
wiff (wezfurlong.org)
Norway''s first adventure games (spillhistorie.no)
Test the Email Verification Protocol with an origin trial (developer.chrome.com)
Rewriting SupportMail''s sharding system (supportmail.dev)
We need more than a metaphor: here are testable diagnostics for comprehension debt (www.fightforthehuman.com)
AI: Considerations for people who make decisions (berthub.eu)
I Fired My AI Assitant (chreke.com)
The development pipeline is a production system (sundry.jerryorr.com)
Elevators (john.fun)
ST Rust drivers (blog.st.com)
marionette: deterministic simulation testing library (github.com)
Let''s make the worst htmx ever (zserge.com)
rustgrep - structural grep for Rust source (radicle.network)
Arch Linux disables AUR package adoption (lwn.net)
Interactive Raylib with Common Lisp (www.youtube.com)
DOOM, Emacs (github.com)
Accepting a messy git history (beza1e1.tuxen.de)
Guix shell now inside Emacs (tusharhero.codeberg.page)
The Wheels We Keep Reinventing (blainsmith.com)
June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)
The State of Chez Scheme in Debian (weinholt.se)
Energizing a vacuum-tube flip-flop module from a 1948 IBM system (www.righto.com)
Platform engineering still matters (evnm.substack.com)
Why we write our own C and C inference engines (localai.io)
Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)
Where .env Went Wrong (secretspec.dev)
Why I forked rand (casualhacks.net)
How We Built a Zero-Disk, S3-Tiered Storage Engine for SQLite (rivet.dev)
Post-Quantum Certificates (www.netmeister.org)
Ruby Central''s Destructive Legacy (andre.arko.net)
Methinks it is a weasel (diatone.net)
what the double-fork? (bower.sh)
Derivations to Deployments: Practical Nix in Production - John Murray (www.youtube.com)
Project-Specific clangd Configuration with a Temporary Shell (felix-knorr.net)
Go 1.27 interactive tour (victoriametrics.com)
Stripe Just Wants a Number (blog.exe.dev)
Full flattening of nested data parallelism (futhark-lang.org)
vLLM for Baidu Kunlun (github.com)
How to speed up the Rust compiler in July 2026 (nnethercote.github.io)
A question about a factorial operator (lobste.rs)
Private data in ATProto: Permissioned Data Proposal (github.com)
Correlated RNG (knivesforcats.online)
C64 Demo Effects Explained: Rodents In The Attic (youtu.be)
Code Review Responses: Add Context When It Counts (testing.googleblog.com)
New keyboard: Alicjav2 (marcin.juszkiewicz.com.pl)
You have been mislead about lightbulbs (maurycyz.com)
std.Io.Writer.Allocating ate all my memory (www.openmymind.net)
Progress toward compiling Linux with gccrs (lwn.net)
GCC steering committee announces AI policy (lwn.net)
Stacked pull requests are now in public preview - GitHub Changelog (github.blog)
The State of Post-Quantum Cryptography (www.feistyduck.com)
Scaling NumPy on Free-Threaded Python (labs.quansight.org)
Why every Wikimedian should be a toolmaker (www.haykranen.nl)
Saturation: How Your Software Will Fail at Scale (www.youtube.com)
KindaRails2Shell - Critical RCE in Rails via Active Storage (CVE-2026-66066) (ethiack.com)
The AI Aesthetic (blog.jim-nielsen.com)
A universal approach to mocking with continuations (crowdhailer.me)
Logic for Programmers (logicforprogrammers.com)
Building Progressively Enhanced Forms Using htmx (www.rafa.ee)
deskhop: Fast Desktop Switching Device (github.com)
Man and the Computer - John G. Kemeny (1972) (archive.org)
The Difference Between a Button and a Link (unplannedobsolescence.com)
C float-to-int conversion can be undefined behavior (kttnr.net)
What side projects have you enjoyed the most? (lobste.rs)
Sonic''s Physics Engine... Isn''t a Physics Engine? (www.youtube.com)
Lorenz and Little: How Much Does Your Tail Cost? (brooker.co.za)
The strain in your brain (anirudh.fi)
First CHERIoT Silicon (cheriot.org)
Flycheck 38: Might & Magic (emacsredux.com)
const_cast: A Necessary Evil (www.elbeno.com)
Setting timers in simple games (feat. the frame rule) (lynn.github.io)
basebrowserproject (mastodon.social)
xy is very fast and customizable charting library for Python (github.com)
Some notes about Anthropic’s new results (blog.cryptographyengineering.com)
A field day for Gleam’s language server Gleam v.1.18.0 release (gleam.run)
PostgreSQL MVCC: tradeoffs compared to other engines (boringsql.com)
Overengineered calculator: Zig QBE (tomekw.com)
It doesn’t matter whether “Matz is nice” (po-ru.com)
Hyperbole Implicit Buttons: Build your Hyperverse (www.chiply.dev)
The Dark Night of Mathematics (kirwinhampshire.substack.com)
Copilot will propagate a malicious worm from one Word document to another (enklypesalt.com)
AI Mania Is Eviscerating Global Decision-Making (hermit-tech.com)
Streaming the IETF MoQ sessions with MoQ… kinda (www.meetecho.com)
Sovereignty is a substrate (negroniventurestudios.com)
C26: Reducing undefined behaviour (www.sandordargo.com)
Safety in an unsafe world (joshlf.com)
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)