Mostly Automated Proof Repair for Verified Libraries (kirancodes.me)
An initial analysis of the discovered Unix V4 tape (www.spinellis.gr)
sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM (github.com)
LAVD: Meta’s New Default Scheduler (lpc.events)
Unix "find" expressions compiled to bytecode (nullprogram.com)
Reproducing the NixOS 25.11 Minimal Installation ISO (arnout.engelen.eu)
The Linux kernel is just a program (serversfor.dev)
folder.zone: Share end-to-end encrypted folders live (folder.zone)
The wonder of MSBuild (mmagueta.capivaras.dev)
Logical gates on Floquet codes via folds and twists (arxiv.org)
Schrödinger’s test: The /dev/mem case (elisa.tech)
mquickjs: Micro QuickJS Javascript Engine (github.com)
dirlock (gitlab.steamos.cloud)
Vigil - A clean, fast build watcher for Zig (inspired by Bacon for Rust) (github.com)
Web engine CI on a shoestring budget (youtu.be)
Feature discussion: replying to multiple comments in story (lobste.rs)
This Meeting could have been an Email (substack.com)
Instant database clones with PostgreSQL 18 (boringsql.com)
Are we Loong yet? (areweloongyet.com)
Why Quantum Cryptanalysis is Bollocks (youtu.be)
The lightest notes app implementation in 111 loc (github.com)
%20copy.jpg)
NPM Package With 56K Downloads Caught Stealing WhatsApp Messages (www.koi.ai)
Memoization via Representables (2022) (iagoleal.com)
FreeBSD Closes the Laptop Gap: Year One Project Update (freebsdfoundation.org)
Introducing Open Forms (www.aryank.in)
I foretold that Mac app notarization is security theater (lapcatsoftware.com)
Lua 5.5 Released (www.lua.org)
Seven Coding Games to Help You Build Your Programming Chops (www.maketecheasier.com)
What''s "new" in Miri (and also, there''s a Miri paper!) (www.ralfj.de)
From Zero to QED: An informal introduction to formality in Lean 4 (sdiehl.github.io)
An uncomfortable but necessary discussion about the Debian bug tracker (nibblestew.blogspot.com)
Towards a secure peer-to-peer app platform for Clan (clan.lol)
Proposed Rust kernel extensions in place of eBPF (www.phoronix.com)
Email Simplicity vs Decentralized Chat (lobste.rs)
Nature Programming Language (nature-lang.org)
Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department (sine.foundation)
Simplistic Comptime Column Safety in SQLite Queries (kristoff.it)
Understanding your Linux graphics driver stack (timur.hu)
Flocking Quadtrees in Clojure (www.lbjgruppen.com)
I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants (josezarazua.com)
Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes (github.com)
When SIMD Fails: Floating Point Associativity (xania.org)
Installing Void Linux on ZFS with Hibernation Support (it-notes.dragas.net)
Tinyfront (tinyfront.mooo.com)
QBasic64 Phoenix 4.3.0 released (qb64phoenix.com)
typed-arrow: First-class compile‑time Arrow schemas for Rust (github.com)
Debian’s git transition (diziet.dreamwidth.org)
Qubes OS 4.3.0 has been released (www.qubes-os.org)
Logging Sucks - Your Logs Are Lying To You (loggingsucks.com)
I Program on the Subway (www.scd31.com)
The Cognitive Burden of Garbage Collection vs Move Semantics (2023) (insanitybit.github.io)
What’s new in Python 3.15 (docs.python.org)
Thirteen years of Rust and the birth of Rue (steveklabnik.com)
dumbphone journey -- eight month update (blog.frog.equipment)
Inverse parentheses (kellett.im)
ELF Crimes: Program Interpreter Fun (nytpu.com)
ARIN IPv4 misissue incident (www.arin.net)
Computational complexity of New York Times games (www.arxiv.org)
Exploring Speculative JIT Compilation for Emacs Lisp with Java (kyo.iroiro.party)
You Can''t Opt-Out of Accessibility (vale.rocks)
How I protect my forgejo instance from AI Web Crawlers (her.esy.fun)
The atomic time scale at NIST Boulder has failed (journa.host)
Web/HTML things to avoid (2017) (www.catb.org)
The Inner-Platform Effect (2006) (thedailywtf.com)
Mnemonics for hidden controls in Win32 (www.abareplace.com)
The "UNIX v4 tape" running in simh PDP11 emu on IRIX (oldbytes.space)
Tag proposal: decentralization (lobste.rs)
polyproto: A refreshingly simple decentralised, federated protocol (polyproto.org)
Task Injection – Exploiting agency of autonomous AI agents (bughunters.google.com)
Text similarity search via normalized compression distance (discourse.haskell.org)
An introduction to property-based testing with QuickCheck (2020) (jesper.sikanda.be)
Shooting myself in the foot with Git by accident (utcc.utoronto.ca)
The Texas Instruments CC-40 invades Gopherspace (plus TI-74 BASICALC) (oldvcr.blogspot.com)
romforth: Ultra Portable, Small, Baremetal Forth for various processors (github.com)
Faster practical modular inversion (purplesyringa.moe)
How capacity hints work in Go (www.grobinson.net)
Go feature: Modernized go fix (antonz.org)
I spent a WEEK without IPv4 to understand IPv6 transition mechanisms (www.apalrd.net)
Bedrock (2012) (infrequently.org)
Granule, a statically-typed linear functional language with graded modal types (github.com)
Backing up Spotify (annas-archive.li)
The Big Ideas in Relay (youtu.be)
Ruby''s website got an overhaul (www.ruby-lang.org)
.meow, the domain for the Queer Community, starts fundraising (www.kickstarter.com)
Automated Equality Checks in C with Reflection (C26) (lemire.me)
Updated LLM Benchmark (Gemini 3 Flash) (entropicthoughts.com)
Detecting goroutine leaks with synctest/pprof (antonz.org)
Targeting by Reference in the Shadow DOM (meyerweb.com)
Hash tables in Go and advantage of self-hosted compilers (rushter.com)
The Mysterious Forces Steering Views on Hacker News (xn--gckvb8fzb.com)
Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4 (abhamra.com)
UnifyBio: Power Tools for Translational Data Science - Benjamin Kamphaus (www.youtube.com)
Business SLOs (medium.com)
A Decade on Datomic - Davis Shepherd & Jonathan Indig (Netflix) (www.youtube.com)
Porting an HTML5 Parser to Swift (ikyle.me)
Understanding Dart Class Modifiers by Using Lattices (modulovalue.com)
Pedagogy Recommendations (parentheticallyspeaking.org)
Introducing CSS Grid Lanes (webkit.org)
Exposing game servers over Tailscale (chameth.com)
UNIX V4 tape from University of Utah (archive.org)
Unix v4 Tape (discuss.systems)
What do people love about Rust? (blog.rust-lang.org)
A List of Books to Learn Programming with Ruby and Rails (2023) (www.writesoftwarewell.com)
Rust’s Block Pattern (notgull.net)
The scariest boot loader code (miod.online.fr)
Pi 5 NAS With Custom Carbon Fibre Panels, Made on the Makera Z1 (www.the-diy-life.com)
Lite3, a JSON-Compatible Zero-Copy Serialization Format (github.com)
Help my website is too small (lukeplant.me.uk)
8-bit Boléro (the world’s most ambitious chiptune?) (linusakesson.net)
A love letter to Raycast (rmoff.net)
Hacker News: Honest Edition (dosaygo-studio.github.io)
Building a Transparent Keyserver (words.filippo.io)
map::operator[] should be nodiscard (quuxplusone.github.io)
Finite-state transducers for substitution tilings (arxiv.org)
WireGuard implementation written in Rust (mullvad.net)
LeaseGuard: Raft Leases Done Right (emptysqua.re)
When Scope Lies: The Wildcard Pattern Drop Footgun in Rust (obeli.sk)
Go ahead, self-host Postgres (pierce.dev)
generate and play music playlists on apple music (github.com)
Reinventing the dial-up modem (2019) (saket.me)
Booleans don''t exist in Ruby (2022) (thoughtbot.com)
A testing conundrum (nedbatchelder.com)
Prompt caching: 10x cheaper LLM tokens, but how? (ngrok.com)
LionsOS Design, Implementation and Performance (arxiv.org)
pg_textsearch: PostgreSQL extension for BM25 relevance-ranked full-text search (github.com)
My first win building with agents (olano.dev)
Please Just Fucking Try HTMX (pleasejusttryhtmx.com)
how to hack discord, vercel and more with one easy trick (kibty.town)
Stop Losing Intent: Absent, Null, and Value in Rust (minikin.me)
headson: head/tail for structured data - summarize/preview JSON/YAML and source code (github.com)
dogalog: Prolog-based livecoding music environment (github.com)
Making the Most of Bit Arrays (gearsco.de)
I got hacked, my server started mining Monero this morning (blog.jakesaunders.dev)
Hardware-Attested Nix Builds (garnix.io)
Tuitar – A portable guitar training tool and DIY kit (github.com)
Your job is to deliver code you have proven to work (simonwillison.net)
TOML 1.1.0 released (github.com)
Dear ACM, you''re doing AI wrong but you can still get it right (anil.recoil.org)
Remote code execution via ND6 Router Advertisements (www.freebsd.org)
OBS Studio Gets A New Renderer: How OBS Adopted Metal (obsproject.com)
NVME is not a hard disk (2021) (blog.koehntopp.info)
Microsoft quietly kills IntelliCode in favor of the paid Copilot (visualstudiomagazine.com)
lightning-extra: PyTorch Lightning plugins and utilities for cloud-native machine learning (github.com)
Interactive Fluid Typography (electricmagicfactory.com)
Ringspace: A Proposal for the Human Web (taggart-tech.com)
A Multimedia Sketchpad (beyondloom.com)
secure local configuration in kakoune (ficd.sh)
Introducing the Qt Task Tree Module, Part of Qt 6.11 (www.qt.io)
Genuary 2026: Prompts Released (genuary.art)
Inlining - the ultimate optimisation (xania.org)
Selective Applicative Functors (blog.veritates.love)
How do graphics drivers work? (timur.hu)
Linux Kernel Rust Code Sees Its First CVE Vulnerability (www.phoronix.com)
Asahi Linux Progress Report: Linux 6.18 (asahilinux.org)
What Does a Database for SSDs Look Like? (brooker.co.za)
loro-extended: A toolkit for building local-first applications and multi-agent systems with Loro (github.com)
Maintaining an open source software during Hacktoberfest (crocidb.com)
How did IRC ping timeouts end up in a lawsuit? (mjg59.dreamwidth.org)
Hacker News down for anyone else? (lobste.rs)
A Safer Container Ecosystem with Docker: Free Docker Hardened Images (www.docker.com)
The Wrong Question About Type Systems (furkan3ayraktar.github.io)
The original Mozilla "Dinosaur" logo artwork (www.jwz.org)
Yep, Passkeys Still Have Problems (fy.blackhats.net.au)
How Twitter is (probably) crawling the Internet for AI (kitsunemimi.pw)
Log level ''error'' should mean that something needs to be fixed (utcc.utoronto.ca)
Short-Circuiting Correlated Subqueries in SQLite (emschwartz.me)
A Survey of Dynamic Array Structures (azmr.uk)
Keeping secrets, or (less than two weeks ago) (kellett.im)
kris: Cross-compile Janet projects with Zig (github.com)
AI and GNOME Shell Extensions (blogs.gnome.org)
qjp - turn any json file into a quick TUI menu (github.com)
Opus 1.6 Released (opus-codec.org)
Calling all arguments (xania.org)
Minimum Viable Benchmark (for evaluating LLMs) (blog.nilenso.com)
Adventures in the land of Language Servers (speakerdeck.com)
FreeBSD adopting a port: maomao (evilham.eu)
How I Became a Spam Vector (idiallo.com)
vm.overcommit_memory2 is always the right setting (ariadne.space)
ty: An extremely fast Python type checker and language server (astral.sh)
IP.THC.ORG - Reverse-DNS, Subdomain and CNAME Lookups (ip.thc.org)
No Graphics API (www.sebastianaaltonen.com)
Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
Determinate Nix 3.0 (determinate.systems)
Pricing changes for GitHub Actions (resources.github.com)
File d''attente - file-based job queue (git.sr.ht)
gh-actions-lockfile: generate and verify lockfiles for GitHub Actions (gh-actions-lockfile.net)
The Future of [JetBrains] Fleet (blog.jetbrains.com)
Odin''s Most Misunderstood Feature: context - gingerBill (www.gingerbill.org)
Maybe consider putting cutlass in your CUDA/Triton kernels (maknee.github.io)
Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries (github.com)
The Illusion of Shared Understanding (highimpactengineering.substack.com)
Meet exe.dev, modern VMs (blog.exe.dev)
State of HTML 2025 results (2025.stateofhtml.com)
Announcing Vojtux - Accessible Linux distro which is almost pure Fedora (www.freelists.org)
Optimization Countermeasures (mcyoung.xyz)
normals_revisited: revisiting a known normal transformation in computer graphics (2019) (github.com)
Tool Safety: A Beautiful Soup zine (2017) (www.crummy.com)
Nemotron 3 Nano Technical Report (research.nvidia.com)
November in Servo: monthly releases, context menus, parallel CSS parsing, and more (servo.org)
global known_hosts for ssh services (knownhosts.net)
Single-Pass Huffman Coding (doisinkidney.com)
Torvalds On Linux Security Modules (www.phoronix.com)
Writing a blatant Telegram clone using Qt, QML and Rust. And C (kemble.net)
"Are you the one?" is free money (blog.owenlacey.dev)
i''m just having fun (jyn.dev)
Radicle: peer-to-peer collaboration with Git (lwn.net)
An expression language for Vixen (raku-advent.blog)
"Super secure" MAGA-themed messaging app leaks everyone''s phone number (ericdaigle.ca)
Liskell - Haskell Semantics with Lisp Syntax (clemens.endorphin.org)
TLA modeling tips (muratbuffalo.blogspot.com)
D-Bus is a disgrace to the Linux desktop (blog.vaxry.net)
Using E-Ink tablet as monitor for Linux (alavi.me)
Swift Configuration 1.0 released (swift.org)
IronFleet: Proving Practical Distributed Systems Correct (www.andrew.cmu.edu)
Will Turso Be The Better SQLite? (www.youtube.com)
Virtualizing NVidia HGX B200 GPUs with Open Source (www.ubicloud.com)
Hacking Endpoint to Identity: "ConsentFix" (www.youtube.com)
"Careless Whisper" side-channel attack affects WhatsApp and Signal (cybernews.com)
Announcing Key Transparency for the Fediverse (soatok.blog)
Identity-aware VPN and proxy for remote access (github.com)
Stopping systemd services under memory pressure (blog.cyplo.dev)
Top Gun''s Carrier Landing: Exposed (relaxing.run)
What are you doing this week? (lobste.rs)
Chafa: Terminal Graphics for the 21st Century (hpjansson.org)
30 Years of Tags (www.artmann.co)
Rust''s v0 mangling scheme in a nutshell (purplesyringa.moe)
The experimental Sokol Vulkan backend (floooh.github.io)
System Observability: Metrics, Sampling, and Tracing (entropicthoughts.com)
Jubilant: Python subprocess and Go codegen (benhoyt.com)
TOON: Token-Oriented Object Notation (toonformat.dev)
L5: A Processing Library in Lua for Interactive Artwork (l5lua.org)
Let''s write a toy UI library (nakst.gitlab.io)
The World Is Not A Desktop (1994) (dl.acm.org)
My gift to the rustdoc team (fasterthanli.me)
Advent of Swift (leahneukirchen.org)
The element should actually do something (nolanlawson.com)
Traceroute Tool from Scratch in Go (kmcd.dev)
Spectre/Meltdown Family Tree (2019) (transient.fail)
Postfix Macros and let place (nadrieril.github.io)
Baseline: Operation-Based Evolution and Versioning of Data (www.arxiv.org)
hyper-util Composable Pools (seanmonstar.com)
How I wrote JustHTML using coding agents (friendlybit.com)
A very basic implementation of a virtual continuum fingerboard (continuum.awalgarg.me)
Shai-Hulud: A complete post-mortem (trigger.dev)
Tier list of Linux security mechanisms (2024) (blog.ce9e.org)
Improved My Feedreader’s Writing to the Web (www.zylstra.org)
ACME Device Attestation Extension (datatracker.ietf.org)
A distraction-free writing environment (github.com)
Myna v2.0 Beta: supports bold, italic, contextual alternates, and even APL programming now (github.com)
Goodbye Microservices: From 100s of problem children to 1 superstar (www.twilio.com)
Meta replaces SELinux with eBPF (lpc.events)
From profiling to kernel patch: the journey to an eBPF performance fix (www.rovarma.com)
ClickHaskell 1.0.0 is out (github.com)
Stop writing if statements for your CLI flags (hackers.pub)
Build Systems A La Carte (www.microsoft.com)
Larval stage support engineering: great at what doesn’t scale (thundergolfer.com)
A very unscientific guide to the security of various PQC algorithms (keymaterial.net)
icl: Interactive Common Lisp: an enhanced REPL (github.com)
Myna v2.0: contextual variants, more weights (and even supports APL) (github.com)
Go is portable, until it isn''t (simpleobservability.com)
Faster double-to-string conversion (vitaut.net)
what is a build system, anyway? (jyn.dev)
Using nvi as a Minimal and Fast Text Editor (git.sr.ht)
Editors should have an opt-in for less assistance (2024) (www.da.vidbuchanan.co.uk)
I Tried Gleam for Advent of Code, and I Get the Hype (blog.tymscar.com)
Indexed Reverse Polish Notation, an Alternative to AST (burakemir.ch)
Rats Play Doom (ratsplaydoom.com)
Skills vs Dynamic MCP Loadouts (lucumr.pocoo.org)
The state of the kernel Rust experiment (lwn.net)
Trying manual memory management in Go (www.youtube.com)
Please stop using middleware to protect your routes (2024) (pilcrowonpaper.com)
Concrete syntax matters, actually (www.youtube.com)
The Typeframe PX-88 Portable Computing System (www.typeframe.net)
Rich Headers: leveraging this mysterious artifact of the PE format (www.virusbulletin.com)
Can I use HTTPS RRs? (www.netmeister.org)
What''s the point of lightweight code with modern computers? (liam-on-linux.dreamwidth.org)
20 Years of Digital Life, Gone in an Instant, thanks to Apple (hey.paris)
OSS Friday Update - Fibers are the Future of Ruby (noteflakes.com)
The (Mostly) Complete Unicode Spiral (2022) (shkspr.mobi)
Crypto, FIDO and Security Tokens (docs.google.com)
Cycle-accurate YM2149 PSG emulator (github.com)
Indices point between elements (2015) (blog.nelhage.com)
Color Spaces, Gamuts, and Transformations (ari-atori.dev)
The Coming Need for Formal Specification (benjamincongdon.me)
VACUUM Is a Lie: About Your Indexes (boringsql.com)
Post-Quantum Cryptography on CHERIoT (cheriot.org)
Pure vs. impure iterators in Go (jub0bs.com)
Security Issues with Electronic Invoices (invoice.secvuln.info)
My Python setup, December 2025 (chrisamico.com)
50 years of proof assistants (lawrencecpaulson.github.io)
CM0 - a new Raspberry Pi you can''t buy (www.jeffgeerling.com)
YOCaml a framework used to describe static site generator (yocaml.github.io)
Django: what’s new in 6.0 (adamj.eu)
async dns (flak.tedunangst.com)
A Code Centric Journey Into the Gleam Language (www.youtube.com)
I couldn''t find a logging library that worked for my library, so I made one (hackers.pub)
Building Trustworthy AI Agents (www.schneier.com)
4 billion if statements (andreasjhkarlsson.github.io)