Timestral: Mistral''s time-series foundation models (mistral.ai)
Tor VPN Beta: What we''ve learned building our own VPN for Android from scratch (blog.torproject.org)
The 7.3 kernel has been released (lwn.net)
Beginning of the Ende (a community Deno fork) (blog.webb.page)
A Bazel Bard (sluongng.substack.com)
The Most Forbidden Technique (thezvi.substack.com)
Crawlers, floods and fleets: a year of keeping our digital collections open (stacks.wellcomecollection.org)
Programming Language Fundamentals in Agda (plfa.github.io)
Composite objects and C26 the std::polymorphic type (mariusbancila.ro)
Why is GitOps so good? (thorsell.io)
Efficient Extraction for Effectful E-graphs (ztatlock.net)
A response to claims about flatpak being insecure (oro.gay)
What the heck is /pkg? (anderegg.ca)
What requirements don''t you have? (www.seangoedecke.com)
Updates to site guidelines and AI/LLM tags (lobste.rs)
BBC Master Pi 1MHz Domesday (youtu.be)
Inline rendering with document.currentScript (leanrada.com)
Speeding up code review with small-change (lethain.com)
Dynamic Packages (www.getlazarus.org)
Superoptimizing an FPU emulator (purplesyringa.moe)
August in Servo: CSS Grid, text selection, and more (servo.org)
How Discover-Tech turned targeted ads into a pipeline for zero-click spywares (citizenlab.ca)
Real-time Software On Linux: How Hard Can It Be? (www.youtube.com)
QML for C & Zig (gist.github.com)
Outside the Scope of Our Support (fireborn.mataroa.blog)
Men in tech #YesAllMen (www.youtube.com)
Inside the Intel 8087 chip: floating-point addition and subtraction (www.righto.com)
Ghidra CBMC Assembly Model Checker (www.philipzucker.com)
My obituary for programming (dumbmatter.com)
The Problem with C Safety: Why “It Works” Isn’t Good Enough (www.modernescpp.com)
Using timers to perform weekly tasks (mbork.pl)
High performance policy routed IPsec mesh SD-WAN (ranet3.com)
A New Way to Think About Borrow Checking (In Reverse) (verdagon.dev)
ARP! Tell your network to explain itself (benjcal.space)
Algorithmic Sound Design with L-Systems and Granular Synthesis (nathanho.me)
It''s enough - vibecoding tag crossed from useless to harmful (lobste.rs)
Un-hanging the HP Envy 17-DA0013dx for OpenBSD (darwinsys.com)
Making Hybrid Images (2014) (www.jeremykun.com)
The Brain Sandwich (terriblesoftware.org)
It''s time to talk about TEEs (alinush.github.io)
AI-First, Git-Compatible Source Control (strata.madskristiansen.com)
Abolish AI! Manifesto (abolish-ai.net)
PwnEscape: Guest-to-Host KVM Escape (CVE-2026-99999) (pwn.ai)
Principles of Anchor Engineering (nappingtoheavymetal.com)
It took me nine years to hack my Xbox 360 (kennedn.com)
Future of Programming (www.youtube.com)
Claude reveals ECDSA curve origins (www.anthropic.com)
Ship Your Interpreter (www.basis.ai)
Intuitive concurrent programming in any language Lingua Franca (www.lf-lang.org)
I built the RealWorld app in Lean 4 (leangineer.com)
Developing for Debugging (2025) (www.davepacheco.net)
Some quick thoughts on Unit Testing ActivityPub (shkspr.mobi)
STAC-M3 Benchmark: L tick database 1.0 on Oxide OxVM w/ 128 vCPUs & 1.25 TiB of RAM (docs.stacresearch.com)
orib: Bringing back the old Reddit interface, with a few new enhancements (github.com)
Neural Networks Are Already Clean (already-clean.goodfire.com)
Plots of deltas between time scales (www.ucolick.org)
CLP: Efficient and Scalable Search on Compressed Text Logs (2021) (www.usenix.org)
GitHub Actions workflow lockfiles in public preview (github.blog)
prjcombine - An FPGA reverse engineering project (codeberg.org)
Abstraction, intuition, and the “monad tutorial fallacy”(2009) (byorgey.wordpress.com)
Interactive refactoring in gopls (go.dev)
Do you let LLMs write both your tests and your code? (lobste.rs)
Someone on Torrent Sites Kept Fucking With My Sonarr (thereallo.dev)
C26: the new debugging header (www.sandordargo.com)
There''s never been a better time to go into math (www.youtube.com)
Ubuntu 26.10 (Stonking Stingray) released (lists.ubuntu.com)
The NIST Elliptic Curves Seeds Bounty Has Been Claimed (words.filippo.io)
Getting Canceled (www.youtube.com)
Introducing GNOME OS Preview (blogs.gnome.org)
We''re sunsetting Codeberg Pages v2 (blog.codeberg.org)
Thirty Years of KDE (blog.cornelius-schumacher.de)
The Decoherence Trap: When AI slop drowns out the signal in an endless sea of noise (maevyn.codes)
Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD (calif.io)
Mull: note-taking with a language server / vscode extension (github.com)
Lessons learned building Fronteira, an MCP proxy with behavioral guardrails (wiki.alcidesfonseca.com)
The road to iroh 1.0 (www.iroh.computer)
Making a 88x31 button book using ImageMagick (k.sosnierz.me)
What agents mean for Rust (and vice versa) (smallcultfollowing.com)
coopiano: A physically modelled piano synthesizer in C17 (github.com)
Matt Mullenweg Orders Accessibility Revert (www.therepository.email)
Why are we even doing all this? (terrytao.wordpress.com)
Writing stateful effect handlers in EYG (eyg.run)
Folders Esoteric Language (danieltemkin.com)
My self-hosted infrastructure with Incus OS (dataswamp.org)
Linus Torvalds on AI-assisted kernel contributions (lore.kernel.org)
Where did WIN32_LEAN_AND_MEAN come from? (2009) (devblogs.microsoft.com)
Epic''s EAC2 v2 seems fairly easily bypassable (codon.org.uk)
Announcing Rust 1.99.1 (blog.rust-lang.org)
rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) (henniger.dev)
Forgejo v17.0 is available (forgejo.org)
About time (www.bipm.org)
Gleam case exhaustiveness, as a fan (oyster.pckt.blog)
Religious Studies In Software Engineering (tombh.co.uk)
My C23 Conventions (abner.page)
End-to-end encrypted relays for OCapN (spritely.institute)
JPEG XL vs AVIF for web use-cases (jakearchibald.com)
Remote Attestation Should Not Be Tolerated (lumi.codeberg.page)
Libreboot 26.10 “Ominous Olive” released with full UEFI support (libreboot.org)
Sunsetting decomp.dev (decomp.dev)
sslx: A fast, modern alternative to OpenSSL''s CLI (github.com)
This Month in Ladybird - September 2026 (ladybird.org)
The Costa GUI (costa.jacobpalm.dk)
HOL Light Tutorial (hol-light.github.io)
Everyone is doing Git on S3 wrong (enroute.sh)
The geometric model of maintenance (entropicthoughts.com)
Microsoft Defender for Linux (techcommunity.microsoft.com)
ArenaAllocators don''t play nicely with ArrayLists (www.openmymind.net)
Haxy.net is live! — HAXY (git forge) devlog (youtu.be)
The Ferranti files: 40 years of Sinclair secrets unearthed (youtu.be)
Haxy on Haxy (try.haxy.net)
Furifont: furigana built into the font (furifont.antfu.me)
An Emulator Writer''s HOWTO for Static Binary Translation (www.gtoal.com)
We found a Chinese fleet (swarmcha.se)
ito - build terminal ui in lua (uji.sh)
Fixing C Strings With String Views (eliasebner.com)
Anthropic''s Scion is heavily inspired by Mononoke · sunshowers (sunshowers.io)
Root DNSSEC trust anchors (jpmens.net)
Better HTTP/1 connection reuse (go.dev)
The DelightQL Query Language (delightql.org)
How the L0pht (probably) optimized attack against the LanMan hash (modexp.wordpress.com)
Package managers have an integrity problem (blog.trailofbits.com)
What I Self-Host Aspirational Self Hosting Guide (viceconsole.fyi)
GitLab warns of max severity code execution vulnerability (www.bleepingcomputer.com)
Awesome Gaming on Linux Without Cheating (onlineservices.epicgames.com)
BotStopper from Techaro (botstopper.net)
ZXC: Lossless compression built for ultra-fast decode (libzxc.org)
Building a Linearizable Log on READ COMMITTED Isolation (materialize.com)
OpenFatigue — Open is the new closed (openfatigue.ai)
Factor 0.102 now available (re.factorcode.org)
Lockstep to pipeline in almost one line (andersmurphy.com)
Plasma 6.8 released (KDE''s 30th birthday) (kde.org)
yet another place where a linux man page is inaccurate (sebsite.pw)
Introducing Firefox Enterprise (blog.mozilla.org)
My Game''s Procedural Dialogue System (www.youtube.com)
Pulsar at ESUG 2026 (new Smalltalk IDE) (blog.lorenzano.eu)
A UAF turned RCE (daniel.haxx.se)
Linux Lockdown and Hibernation (again) (codon.org.uk)
AIR-LLM: Broadcasting AI Weights over Radio for Memory-Free Edge LLM Inference via RF Computing (arxiv.org)
Ledger confirms spy chip implant behind wallet crypto thefts (www.bleepingcomputer.com)
Fancy Curl Sites (nytpu.com)
AI models may be capable of self-replicating without access to a datacenter (www.anthropic.com)
Compiler bootstrapping depends on more than you might think (utcc.utoronto.ca)
Apple: Switch to Safari (from Chrome) (www.apple.com)
Bru: Send and read SMS from the browser (sverre.me)
The 2026 Maintainers Summit (lwn.net)
Please stop hashing the public key first (or: ML-DSA''s µ annoys me) (blog.erincandescent.net)
Redesigning source control at Anthropic (www.anthropic.com)
Announcing Lix 2.96 “Bingsu” (lix.systems)
Accelerating the Zig Tokenizer (with AVX-512) (www.youtube.com)
Nixpkgs for the frontend impaired (fzakaria.com)
Data-oriented Design for Mortals (www.youtube.com)
Running RAG with a (small) language model in the browser (bart.degoe.de)
Did Ente Locker copy my code without attribution? (fairscan.org)
A plea not to use uv-build (blogs.gentoo.org)
2026 in LLMs (so far) (www.wearedevelopers.com)
Can Ease of Creation Lead to Decrease in Quality & Value? (pikuma.com)
Easylang: A Simple, Browser-Based Programming Language in the Spirit of the Old Home Computer BASIC (easylang.online)
Model backdoors are easy to create and hard to reliably remove (equistamp.substack.com)
DataCube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals (1997) (arxiv.org)
The web needs interactive lists (sarahmhigley.com)
The reverts will continue until morale improves (peter.eisentraut.org)
Lotus Improv on the NeXT (stonetools.ghost.io)
Faster Fourier Transforms (www.argmin.net)
What Happened to the Desktop Metaphor? (deadparrotbbs.com)
Chasing a -O2 pessimization in antcc (386s.org)
Where is all the new, good software? (www.natemeyvis.com)
Creusot 0.14.0 release - Contracts for Rust, formally proved (devlog.creusot.rs)
Freeze the Controller, Defrost the Food: Uncovering Vulnerabilities in Danfoss Refrigeration Controllers (claroty.com)
500 Billion Tokens Later: Letting AI Agents Decompile A First-Person Shooter (momo5502.com)
A slightly faster slimmer curl (daniel.haxx.se)
Who is vfmaddrnd231pd?? (purplesyringa.moe)
Vi Hart''s Big Navier-Stokes Post (www.patreon.com)
Speeding up the Unreal editor by… not using unnecessarily secure hash methods (larstofus.com)
ESP32 As Your Raspberry Pi’s Linux Wireless Co-processor (hackaday.com)
A modern web app in c (prophitt.me)
512 bytes at a time: reconstructing IBM i save-file checksums (blog.silentsignal.eu)
your c is not standard c (sebsite.pw)
What I''ve been seeing lately (in software) (mei.puppycat.house)
nobloat/poll - designing a minimal poll tool (nobloat.org)
Parsing JSON at tens of gigabytes per second… in Python (lemire.me)
Finding a 90,000 Remote Code Execution Vulnerability in Google (simonkoeck.com)
(Post-Quantum) Cryptographic Right Answers (words.filippo.io)
French supermarket chains say cyberattack forced refrigerator shutdown (www.afp.com)
How to effectively debug when you no longer understand the code (copyconstruct.medium.com)
Living in the Weimar era of Ruby (blog.julik.nl)
Type-safe HTML templating in Zig (lalinsky.com)
Linus Torvalds Working On A Hefty Linux Kernel Improvement With Claude Code (www.phoronix.com)
Fingerprints are the new cookies (royfish.dev)
Linux boots on iPhone 11 (www.patreon.com)
PK-88 TNC Hardware Modifications (blog.thelifeofkenneth.com)
Writing a Demoscene Intro for the ZX Spectrum (www.markround.com)
Implementing kubernetes node bin packing (blog.costgraph.ai)
We Put Fighting Game Netcode in Brood War (www.youtube.com)
3-2-1 Backup Strategy with restic and Backblaze B2 (chuck.is)
When LLM Decompilers Recompile More and Preserve Less (arxiv.org)
Refurb weekend II: Alpha Micro Eagle 300 and friends (oldvcr.blogspot.com)
CSS for underlines (www.rubenerd.au)
''AI'' is Not a Tool (www.linkedin.com)
Highlights from "I spent 6 years developing a game in Rust and it just shipped, AMA" (2024) (gamesbymason.com)
Tello''s GameSir T1d controller as a Linux Xbox controller (blog.jacq.cc)
D-Bus Hell (dbushell.com)
The next-gen borrow checker, a drop-in replacement for Rust borrow checking (gist.github.com)
Making React Context Cheap with React Compiler (jjenzz.com)
I''m sorry, but you still have to think (itsallaboutthebit.com)
The wild west of polyglot docs sites (technicalwriting.dev)
Arena Allocators in C (eliasebner.com)
What we ended up doing about alias propagation (futhark-lang.org)
I''m still around.. I''m just not writing here (rachelbythebay.com)
Quaesito: a self-hosted app for quiz nights with friends (github.com)
Valen''s Memory Safety: A New Kind of Borrow Checking (verdagon.dev)
Hacking the Eufy Doorbell and Base Station (adepts.of0x.cc)
What''s Wrong with GitHub (www.gnu.org)
How big is a Git commit? - ratfactor (ratfactor.com)
JSON Tiles: Fast Analytics on Semi-Structured Data (2021) (db.cit.tum.de)
LineageOS 24.0 released (lineageos.org)
How shredding JSON is giving Logfire 1000x query speedups (pydantic.dev)
Consistency is not a localized property (n-the-loop.com)
Making np.searchsorted up to 25 Faster in NumPy 2.5 (blog.scientific-python.org)
Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation (arxiv.org)
Inside a 1980s filter chip that uses switched capacitors (www.righto.com)
The 2D physics prototype behind GTA’s vehicles (patkerr.co.uk)
Kiesel Devlog #15: Release 0.4.0 (linus.dev)
SNTPings, draw on a canvas using ICMPv6 (pings.utwente.io)
Why ''externalized'' proofs of cyclic trait impls does not work (smallcultfollowing.com)
Reporting vulnerabilities to Estonian companies (www.youtube.com)
culpert - rust heap profiling with span awareness and regression tooling (github.com)
dasSDL3: Idiomatic SDL3 bindings for daslang (spiiin.github.io)
Iframes that finally fit their content (alfy.blog)
Mars Pathfinder Priority Inversion Bug: What Really Happened (nerdyelectronics.com)
The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors (lightbulbcomputer.com)
There''s little that''s "inevitable" about AI (deadsimpletech.com)
Voxlocal: a minimal voice agent written in Rust (samkhawase.com)
1-click MMI execution in Android (karansaini.com)
oh, apparently it''s not possible to portably check for string-to-float conversion errors in standard c (sebsite.pw)
Adding Go''s defer to the TypeScript Compiler (healeycodes.com)
Patches Updated To Begin Removing The Linux x32 ABI (www.phoronix.com)
No Man Is an Island (borretti.me)
A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (blog.scrt.ch)
The importance of communities around software (lumi.codeberg.page)
Cloudflare shutting down Deno is news, not just PR (lobste.rs)
Equality Saturation: An “Incomplete” Project (blog.sigplan.org)
Lifeguard: A static analyzer for Python lazy imports compatibility (github.com)
How To Write Shared Libraries (2011) (www.cs.dartmouth.edu)
Branches in branch-free code (00f.net)
Vectorized CLZ and CTZ (purplesyringa.moe)
Two Futures for LLMs in Mathematics (wiredream.com)
Python 3.15.0 (www.python.org)
Unison Cloud is now open source (www.unison-lang.org)
"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot (robotgirlgang.com)
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)
Why Are Coding Agents So Dumb? (mtlynch.io)
Spinlocks Considered Harmful (2020) (matklad.github.io)
Deepthi Sigireddi from Supabase (theconsensus.dev)
Deno is joining Cloudflare (deno.com)
HIP and ROCm as first-class citizens in Guix (hpc.guix.info)
On modern hardware, who handles what bit of hardware state can be unclear (utcc.utoronto.ca)
A minimal kernel in Swift, running in QEMU (carette.xyz)
There are many themes, but this one is yours (earendil.com)
Reverse Engineer Anything (github.com)
The making of a very fast SPI flasher (localcc.cc)
Telegram Desktop: one-click account takeover via IPC injection (beaksec.github.io)
Programming Isn’t Special (blog.glyph.im)
Reducing undefined behavior in the C language (lwn.net)
en-html.org is a Scam Site (etbe.coker.com.au)
Deeper dive: Keyboard differences between Windows and Macs (unsung.aresluna.org)
Demoting i686 Windows targets to std-only (blog.rust-lang.org)
B-Trees Are Back: Engineering Fast and Pageable Node Layouts (www.cs.cit.tum.de)
The Goose Programming Language (github.com)
Bevy 0.20 (bevy.org)
Rolling the Root Key (Update) (ispcol.potaroo.net)
64-Day Certificate Lifetimes Coming Feb 2027 (letsencrypt.org)
Beauty in DVD Menus (vale.rocks)
Composition over Inheritance Explained using Retro Games (www.youtube.com)
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)
The history of the Hetzner Cloud network stack (www.hetzner.com)
The Missing Piece in Rust Error Handling (mcmah309.github.io)
Ending the Casuarina Linux Experiment (casuarina.org)
The Performance Cost of RwLock in Our Read-Heavy Workload (pranitha.dev)
Extending Guix (guix.gnu.org)
Thinking will become a hobby (www.spinellis.gr)
specialArgs considered harmful (ysun.co)
Beyond the & (lwn.net)
Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)
SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (zweiundeins.gmbh)
Gentoo infrastructure sponsors wanted (www.gentoo.org)
Migrating Git repos to SHA-256 (exa.y2k.diy)
jujutsu (jj) 0.46.0 (github.com)
Clojure in the Age of Language Models (yogthos.net)
Property Testing with Agent Swarms (recursion.wtf)
The people holding up the internet (sheets.works)
How can undefined opcodes ud0 and ud1 have parameters? (devblogs.microsoft.com)
I''ve Been Deindexed by Google (kennyqin.com)
New gTLD Program: 2026 Round applications (newgtldprogram-aps.icann.org)
A rant about APIs (dev.clintonblackburn.com)
Monte-Carlo simulations (eli.thegreenplace.net)
On using AI as a writing assistant (ninashamsi.com)
The Mathocalypse (scottaaronson.blog)
Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 (news.mit.edu)