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)
All our houses are built on sand now (po-ru.com)
When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan''s International Internet Disconnection (resilience.ocf.tw)
Software developers are not okay (www.baldurbjarnason.com)
On Git Refs (matklad.github.io)
Calling a function in C without naming it (wiro.world)
rat''s minimal register allocator (hexrat.cc)
Zeroization, part 1: Wiping can make things worse (00f.net)
Creating distro build tooling for a small community (chimera-linux.org)
Best Books/Courses/Channels to Leapfrog on AI/ML Material (lobste.rs)
Twenty-two pending curl vulnerabilities (daniel.haxx.se)
C for Rust Programmers (bd103.dev)
Chromium Hardening Guide (rknf404.github.io)
Unrolled code (noteflakes.com)
Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (www.danvk.org)
Anti-Patterns in Software Blogging (refactoringenglish.com)
The Data Race That Wasn''t a Bug (and the One That Was) (victoriametrics.com)
Escape Analysis in Go: Stack or Heap? - YouTube (www.youtube.com)
An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust (github.com)
How In-Game Overlays Work (2022) (fredemmott.com)
Shipping JPEG XL in Chrome (developer.chrome.com)
Inside the Mojo compiler (www.youtube.com)
Koreader reading statistics and highlights sync for spaced repetition (blog.zm.is)
Faster streaming HTML with batches and aggregates (andersmurphy.com)
Explaining the Magelight XP glitch in Skyrim (blog.alexbeals.com)
json2dir: Directory archives, made human-readable (github.com)
Headers Up! What''s New in httpd and relayd (rsadowski.de)
Reasons to dislike AI coding (www.sicpers.info)
How fast is Python 3.15? (blog.miguelgrinberg.com)
OpenAI shares mathematics research catalogue (github.com)
When random is not actually random enough (ersc.io)
Raspberry Pi Desktop now available for PC and Mac (www.raspberrypi.com)
Is COSMIC DE mogging KDE Plasma? (thelibre.news)
Burn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning (tracel.ai)
Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM (alexalejandre.com)
A Terminal Protocol for Program Status (OSC 7501) (mitchellh.com)
How to fix a bug in a fix (projectzero.google)
That Time I Worked With a Laptop Thief (blog.pipetogrep.org)
Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized (winware31.blogspot.com)
A sustainable web career, for when all this blows over (dbushell.com)
Pared - remove unwanted Apple Intelligence models without disabling SIP (github.com)
Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023) (www.usenix.org)
Why We Should Inject Dependencies (gist.github.com)
Chrome''s Response to Recent ccTLD Registry Hijacks (blog.google)
Last rites for Gentoo''s Chromium package (lwn.net)
Brut, the Brutal Router for Unix Tools (brut.sh)
kahawai - an open source, modular media system (github.com)
DOS: Determining system uptime (movq.de)
Thread Pool in Percona Server and MySQL (Part 1) (www.percona.com)
Release of Polars 2.0 (pola.rs)
What is Codemode (lucumr.pocoo.org)
Extend Lua with Zig 1: Hello World (www.robbielyman.com)
AI Just Became Humanity’s Biggest Threat (www.youtube.com)
Montray - a tray icon for systemd service health (github.com)
Email Self Hosters - what are you using? (lobste.rs)
Two arm64-specific miscompiles induce vulnerabilities in curl (mastodon.social)
Why Common Lisp Is Now the Best Programming Language (www.vivienhenz.com)
hutch: local code reviews in emacs for the mildly disenfranchised (kitallis.in)
Why Continuations are Coming to Java (2019) (www.infoq.com)
Unroll a loop, make shader 10x faster (aras-p.info)
Open Source as We Know It Is Dead (jross.me)
How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers (blog.cloudflare.com)
Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging (nivdayan.github.io)
Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers (git.sig-io.nl)
spoonful: static site generator written in Nix (tangled.org)
You don''t need an effect system (burningwitness.github.io)
Async Rust: Where does the scheduler live? (herecomesthemoon.net)
Gleam doesn''t compile to Erlang source anymore (gleam.run)
Mold 3.0.0 Released (github.com)
Making a GTK application in Haskell, part 1 (floreal.tech)
Nix on the Steam Frame (johns.codes)
Another step towards elm v1 (elm-lang.org)
Hooking into the Go Toolchain (internals-for-interns.com)
Factor Overview (re.factorcode.org)
Ephemeral testing (lemire.me)
Reverse Engineering Comanche Terrain Maps (pikuma.com)
We ported the original Doom to SQL (cedardb.com)
Friendship ended with Deno, now Node is my best friend (dbushell.com)
A new, bespoke static site generator to replace Jekyll (nullprogram.com)
Using docker-compose with Podman rootless (elou.world)
Flirt is now Open-Source (blog.buenzli.dev)
Tufte''s Razor: an interactive guide to the data-ink ratio (tuftesrazor.scienceux.org)
From: [email protected] - Spoofing Arbitrary Apple iCloud Identities (sec-consult.com)
You''re Leaving Compute on the Table (nishantjosh.dev)
RIP, vector database (turbopuffer.com)
Claude Says (ohhfishal.net)
Implementing Undo - Computerphile (www.youtube.com)
Broadcasting conglomerates are attempting a takeover of over-the-air television. We must defend it (place.reeseric.ci)
Jenesis (jenesis.build)
Building a RAG Pipeline for Semantic Code Search (blog.jetbrains.com)
Refinement E-Graphs (www.philipzucker.com)
Protocol-aware recovery for consensus-based storage (2018) (www.usenix.org)
ncdu: NCurses Disk Usage (an updated fork) (github.com)
Iroh global content discovery (www.iroh.computer)
Self-hosted HTTP tunnels with SSH and nginx (vincent.bernat.ch)
Hacking the Go compiler to efficiently map IPv4 to IPv6 (vincent.bernat.ch)
An animated, customizable Git cheat sheet drawn by git-sim (initialcommit.com)
Thoreau BASIC (thoreaubasic.com)
Flatpak from the CLI sucks (kowalski7cc.xyz)
Obelisk 0.42: Durable Agents, Layered Sandboxes (obeli.sk)
Improving and Stabilizing the racoon2 IKE Daemon in NetBSD (blog.netbsd.org)
The complement of true is true, except when it''s false (dryperspective.github.io)
A Mere Mortal''s Introduction to JIT Vulnerabilities in JavaScript Engines (trustfoundry.net)
grubby: static site generator for git repos written in Ruby (git.btxx.org)
Models ranked by normative score across twelve paradigms, once neutral and once human-primed (cognit.rajtilak.tech)
Our RISC-V emulator PasRISCV (againstallodds.games)
We’re going to need default hard budget caps on pretty much everything (simonwillison.net)
Kolibri: A Sovereign Open-Weight Model (aleph-alpha.com)
Rust''s derive often implies inline (yossarian.net)
Why I recommend Renovate over any other dependency update tools (2024) (www.jvt.me)
Why don’t more developers "use the platform"? (nolanlawson.com)
Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) (dl.acm.org)
System-level ad-blocking in Android (kevinboone.me)
Rust, In Sickness & In Health (www.youtube.com)
Deploy Ruby on Rails on a VPS (rubymadscience.com)
BSides Orlando 2026 Badge (github.com)
An Update on Orion for Linux and Windows (blog.kagi.com)
The Era of Software Quality, or the Era of Ostriches? (blogs.gnome.org)
Writing the Cyclone Scheme Compiler (2017) (justinethier.github.io)
Two-Stack Sliding-Window Aggregation (orlp.net)
Go JSON v2 Migration: What Breaks in Go 1.27 (importstatic.com)
How to Hack Time, With C2PA (www.da.vidbuchanan.co.uk)
Greg Kroah-Hartman - Security in the LLM Age (www.youtube.com)
Announcing Cloudflare OHTTP Gateway (blog.cloudflare.com)
Rust for CPython (Python Language Summit 2026) (blog.python.org)
Grow and control a swarm (nohope.io)
Problems and solutions to the modern desktop (Make tmux the OS) (matduggan.com)
Respecting your users'' dread of the clankers (thoughtbot.com)
The Era of Programming Languages Exploration is upon Us (kirancodes.me)
gVisor is being donated to CNCF (gvisor.dev)
Arch-specific SIMD in Go (go.dev)
Upstream Rust maintenance report (kobzol.github.io)
I got targeted: Trying to get your credentials via a git post-checkout hook (frankwiles.com)
Lobsters Interview with Sjamaan (alexalejandre.com)
Zig 0.17.0 Release Notes (ziglang.org)
Klassik Revives the KDE 3 Desktop on Modern Plasma 6 (linuxiac.com)
Keeping Futhark off the GPU (futhark-lang.org)
Updates to Full Disk Access in macOS (developer.apple.com)
Microsoft doubles down on Rust (www.infoworld.com)
Driving the GDEH0154D67 e-paper display with Rust (sgt.hootr.club)
The Four Horsemen of Agentic Coding (distantprovince.substack.com)
Pi Durable (earendil.com)
GitHub repository landing pages now show an accessibility tab, if provided (ericwbailey.website)
JetBrains Air: Building a System of Products for Agentic Software Development (blog.jetbrains.com)
SequenceHash: multihashing for the rest of us (blog.trailofbits.com)
Actual RFC1149 packet being auctioned (onlineonly.christies.com)
The forgetful CPU (Linux on M4) (yuka.dev)
Hanami, Why?: Bits & Bobs (aaronmallen.me)
Advice to a beginning software engineer (www.seangoedecke.com)
Debian 13 as a dual WAN router (www.tqdev.com)
GIMP - Interview with LiamQuin (www.gimp.org)
Claude-shaped science (www.anthropic.com)
Generic Const Args and You (blog.rust-lang.org)
The hidden design compromises of Docker layers (loige.co)
Readable Regular Expressions for JavaScript/TypeScript, Inspired by Emacs'' rx (rahuljuliato.com)
Thrust vs. Steer (or: Yet Another Anecdotal Case of the Dunning-Kruger Effect) (write.as)
sixteenth RacketCon this weekend (con.racket-lang.org)
@storyteller-platform/epub v1.0.0 release (storyteller-platform.dev)
Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures (arxiv.org)
Waterfox 6.7.5 Adds a Built-in Feed Reader (www.waterfox.com)
We Should be Able to Change our Languages (jimmyhmiller.com)
Git 3.0''s upcoming SHA-256 default will be a costly mistake (blog.gitbutler.com)
How to make a text box: A crash course in Unicode and OpenType - Jimmy Lefevre, BSC 2026 (www.youtube.com)
Lists that keep track of their reversal (grim.cargocut.org)
I built a small app that scours the internet to create a daily personolized news briefing (github.com)
The death of web development education (molily.de)
Pidgin 3.0 Alpha 3 2.97.0 has been released (discourse.imfreedom.org)