What I''ve Learned Writing Gleam (nohzafk.github.io)
7 Practical std::chrono Calendar Examples (C20) (www.cppstories.com)
runST does not prevent resources from escaping (welltypedwit.ch)
What are some interesting projects that you''ve done this year? (lobste.rs)
Simple Bidirectional Type Inference (ettolrach.com)
OpenSSL Performance Still Under Scrutiny (www.feistyduck.com)
Why we trust strangers’ open source more than our colleagues’ (00f.net)
Cross-site Scripting-benchmark of python sanitizers against real browsers (github.com)
Turning Dafny Sets into Sequences (youtu.be)
Desktop Classic System — Spacial computing hearkening back to classic Mac OS (mycophobia.org)
Conditions in the Intel 8087 floating-point chip''s microcode (www.righto.com)
Xous: A Pure-Rust Rethink of the Embedded Operating System (media.ccc.de)
Some flexibility with Go''s sumdb (blog.yossarian.net)
A vulnerability in libsodium (00f.net)
Escaping Containment: A Security Analysis of FreeBSD Jails (media.ccc.de)
Django On The Med: A Contributor Sprint Retrospective (www.paulox.net)
Memory Safety Is (matklad.github.io)
Building a React App with Formally Verified State (midspiral.com)
FediMeteo: How a Tiny 4 FreeBSD VPS Became a Global Weather Service for Thousands (it-notes.dragas.net)
Formally speaking, "Transpiler" is a useless word (people.csail.mit.edu)
What Does grantpt() Do? (blog.jchw.io)
Restarting systemd services on sustained CPU abuse (taoofmac.com)
Better Code: Concurrency (2017) (www.youtube.com)
Hacking washing machines (media.ccc.de)
Make-shift shebangs for Go (lorentz.app)
Finding a broken trace on my old Mac with the help of its ROM diagnostics (www.downtowndougbrown.com)
Charm Ruby - Glamorous Terminal Libraries for Ruby (charm-ruby.com)
NES Game Genie Technical Notes (2001) (tuxnes.sourceforge.net)
Glamorous Christmas: Bringing Charm to Ruby (marcoroth.dev)
Velox is a port of Tauri to Swift (github.com)
Introducing miniray — a WGSL minifier (hugodaniel.com)
xzone malloc: memory allocator for Apple OS platforms (github.com)
Curl removes all calls to strcpy (daniel.haxx.se)
Replacing python-dateutil to remove six (hugovk.dev)
Libgodc: Write Go Programs for Sega Dreamcast (github.com)
loss32: let''s build a Win32/Linux (loss32.org)
Can Bundler Be as Fast as uv? (tenderlovemaking.com)
How to Ruin All of Package Management (nesbitt.io)
1ML for non-specialists: introduction (pithlessly.github.io)
Mini Rack: the Homelab Rabbit Hole (gquetel.fr)
LLMs Are Not Fun (orib.dev)
The Silicon Valley Stack Doesn’t Work Here: Why Africa Will Lead the Post-Bloat Web (paulallies.medium.com)
HEXACON 2025 - Keynote by Ivan Krstić (www.youtube.com)
Developers remain willing but reluctant to use AI: The 2025 Developer Survey results are here (stackoverflow.blog)
Git''s HTTP server side design does not scale (xeiaso.net)
Clopus-Watcher: An autonomous monitoring agent (denislavgavrilov.com)
Static Allocation with Zig (nickmonad.blog)
GPS successor may be needed due to jamming vulnerability (undark.org)
Blocking Queues (arpitbhayani.me)
Clock Synchronization Is a Nightmare (arpitbhayani.me)
Garbage collection in Rust got a little better (claytonwramsey.com)
How To Dynamically Install Custom (HTML) Elements (heydonworks.com)
Why are we worried about memory access semantics? Full barriers should be enough for anybody (devblogs.microsoft.com)
The Second Great Error Model Convergence (matklad.github.io)
Trials and Visions of Internet Relay Chat (babbagefiles.xyz)
Shower thoughts (www.patreon.com)
Measuring out-of-sync clocks on the Internet (alexsci.com)
Kiorg v1.4.1 - A modern battery included file manager with vim inspired keybind (github.com)
My First Meshtastic Network (rickcarlino.com)
Huge binaries (fzakaria.com)
A Practical Introduction to Finger Trees (chrispenner.ca)
2D Distance Functions (iquilezles.org)
You can make up HTML tags (maurycyz.com)
Consider a Nix Flake for your windows-rs Project (lgug2z.com)
How We Optimize RocksDB in TiKV — Write Batch Optimization (medium.com)
What an unprocessed photo looks like (maurycyz.com)
Fast CVVDP implementation in C (github.com)
Slaughtering Competition Problems with Quantifier Elimination (grossack.site)
An experiment in vibe coding (nolanlawson.com)
MongoBleed explained simply (bigdata.2minutestreaming.com)
Parsing Advances (matklad.github.io)
Haskelling My Typst (unnamed.website)
Tiny, types-first schema validation for TypeScript (github.com)
Solve Hi-Q with AlphaZero and Curriculum Learning (www.robw.fyi)
I was wrong about typescript part 2 (chefama.blog)
I was wrong about typescript part 1 (chefama.blog)
Poor code examples cause LLM misalignment in unrelated domains (www.quantamagazine.org)
The dangers of SSL certificates (surfingcomplexity.blog)
A Modern Recommender Model Architecture (cprimozic.net)
Building a Multi-Site Kubernetes Cluster with BGP Anycast (kyriakos.papadopoulos.tech)
Replacing JS with just HTML (www.htmhell.dev)
The production bug that made me care about undefined behavior (gaultier.github.io)
Rust Errors Without Dependencies (vincents.dev)
Have you tried turning it off and on again? (eblog.fly.dev)
Petlibro: Your Pet Feeder Is Feeding Data To Anyone Who Asks (bobdahacker.com)
The PGP problem (www.latacora.com)
Release age v1.3.0: post-quantum (and more) (github.com)
Liberating Bluetooth on the ESP32 (exquisite.tube)
39C3: To sign or not to sign: Practical vulnerabilities in GPG & friends (media.ccc.de)
Server Radar - Track Hetzner Server Prices & Receive Email Alerts (radar.iodev.org)
Goodbye Sass (www.redblobgames.com)
On LLMs in programming (blog.danieljanus.pl)
Fastverse: A Suite of High-Performance and Low-Dependency R Packages (fastverse.org)
CVE-2025-14847: MongoBleed (cybersecuritynews.com)
Windows 2 for the Apricot PC/Xi (www.ninakalinina.com)
gpg.fail (gpg.fail)
This PNG will show different version if you open it in Chrome than in Safari (lr0.org)
The hidden brain power behind programming (web.eecs.umich.edu)
The TTY Layer: the Past, Present, and Future (www.youtube.com)
Why is calling my asm function from Rust slower than calling it from C? (ohadravid.github.io)
Commandry - A Command-Line Parser for Standard ML (github.com)
Easel Turns One! One year of building my own IDE in Clojure (blog.phronemophobic.com)
39C3: Power Cycles- media.ccc.de (media.ccc.de)
Getting started with Playdate on Ubuntu (sethmlarson.dev)
Linux kernel community discussion on ML/LLM tools in kernel development (lwn.net)
Meet Critic: Code Inspection System in Opera Software (2019?) (sudonull.com)
You can''t design software you don''t work on (seangoedecke.com)
Arcan 0.7.1 – Minutes To Midnight (arcan-fe.com)
QNX Self-Hosted Developer Desktop Brings QNX 8.0 To A Wayland Xfce Desktop (www.phoronix.com)
39C3: Power Cycles Streaming (streaming.media.ccc.de)
The Rime of the Ancient Maintainer (www.joanwestenberg.com)
pre-commit hooks are fundamentally broken (jyn.dev)
rapace - RPC over SHM / WS / TCP / MEM (rapace.bearcove.eu)
nix-prompt: a clean and modular bash prompt with just the right amount of customization options (github.com)
llm-grep: Match lines using both classic and semantic regular expressions (github.com)
"Enabling" C threads in a Python / Wasm environment (yosefk.com)
CONTRACT.md: The Naughty List for AI Coding Agents (www.discussdontcode.com)
How I think about Kubernetes (garnaudov.com)
Reimplementing FlashAttention for performance and giggles (aminediro.com)
From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
Simplifying the build process for vst3-rs (micahrj.github.io)
Show: Twine - A tool to dynamically trace calls in production Elixir systems (github.com)
How uv got so fast (nesbitt.io)
On Metastable Failures and Interactions Between Systems (charap.co)
Calibre adds AI ''discussion'' feature (lwn.net)
profiling.sampling: Statistical profiler (docs.python.org)
TIL: serde''s borrowing can be treacherous (yossarian.net)
Play the Monty Hall game (monty.donk.systems)
The Algebra of Loans in Rust (nadrieril.github.io)
Maestro - Desktop AI Agent Command Center (Free/OSS) (runmaestro.ai)
GNU Mes and the module system (ekaitz.elenq.tech)
I''m a laptop weirdo and that''s why I like my new Framework 13 (blog.matthewbrunelle.com)
Rob Pike Goes Nuclear over GenAI (imgur.com)
Beautiful reprs (pomponchik.org)
Sendspin: Music Experience Protocol (www.sendspin-audio.com)
Writing an NES emulator in Haskell (arthi-chaud.github.io)
Toward a policy for machine-learning tools in kernel development (lwn.net)
Ancient Greek geometry (sciencevsmagic.net)
Microarchitecture: What Happens Beneath (www.youtube.com)
Automating What Backblaze Lifecycle Rules Don''t Do Instantly (blog.tymscar.com)
When a driver challenges the kernel''s assumptions (miod.online.fr)
doubly dual shuffles (dotat.at)
Are Two Heads Better Than One? (eieio.games)
Released KC3 v0.1.16 (www.kmx.io)
The HTML Elements Time Forgot (htmhell.dev)
Timeless Games (cxong.github.io)
Microsoft Is Finally Killing RC4 (www.schneier.com)
Python 3.15’s interpreter for Windows x86-64 should hopefully be 15% faster (fidget-spinner.github.io)
One formula that demystifies 3D graphics (www.youtube.com)
Self-referencing Page Tables for the x86-Architecture (0l.de)
Gleam v1.14 - the happy holidays release 2025 (gleam.run)
ssh tiny.christmas (eieio.games)
Announcing rules_img: a faster path to container images in Bazel (tweag.io)
Mathematically extra-complicated Secretest Santa 2025 (youtube.com)
Fucking Approachable Swift Concurrency (fuckingapproachableswiftconcurrency.com)
Ruby 4.0.0 Released (www.ruby-lang.org)
Load and store forwarding in the Toy Optimizer (bernsteinbear.com)
Using Vectorize to build a search engine in 160 loc (blog.partykit.io)
phoenix - A modern X server written from scratch in Zig (git.dec05eba.com)
Package managers keep using git as a database, it never works out (nesbitt.io)
Advent of Code 2025: Haskell Solution Reflections for all 12 Days (blog.jle.im)
Newtype Index Pattern In Zig (matklad.github.io)
The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in mind (mirari.vitasys.nl)
QEMU version 10.2.0 released (www.qemu.org)
Advent of Code 2025: The AI LLM Edition (github.com)
Dedalus: Datalog in Time and Space (2009) (www.eecs.berkeley.edu)
Datafun - functional language that generalizes Datalog (www.rntz.net)
The 2025 Matrix Holiday Special (matrix.org)
How JPEG Screenshots Defeated Our Beautiful H.264 WebCodecs Pipeline (blog.helix.ml)
Nostr Compass #1 (yakihonne.com)
Querying and Ingest issues in EU (status.honeycomb.io)
Wayback 0.3 Released (wayback.freedesktop.org)
(My) Second Year of the Linux Desktop (For Gaming) (blog.matthewbrunelle.com)
A curl 2025 review (daniel.haxx.se)
cjanet (github.com)
ZipPop: a space conserving unzipping script (github.com)
Swanky Python: Interactive development for Python (emacsconf.org)
How and why I moved from Apple Services to my own server (bastiangruber.ca)
"AI" is bad UX (buttondown.com)
My 2026 Open Social Web Predictions (www.timothychambers.net)
Nix State of the SBOM (arnout.engelen.eu)
Just in time software (commaok.xyz)
I''m returning my Framework 16 (yorickpeterse.com)
tygor: Type-safe backend for Go TypeScript apps (github.com)
Avoid mini-frameworks (laike9m.com)
Implementation of optimized vector of strings in C in SumatraPDF (blog.kowalczyk.info)
FreeBSD: Installation on a ThinkPad X200 Tablet in 2025 (rtfm.co.ua)
What the Internet Was Like in 2003 (cybercultural.com)
A Couple 3D AABB Tricks (gpfault.net)
Interactively visualize GitHub Actions Matrix configurations (katexochen.github.io)
Custom Cross Compiler with Nix (www.hobson.space)
Meta Is Using The Linux Scheduler Designed For Valve''s Steam Deck On Its Servers - Phoronix (www.phoronix.com)
Attention From First Principles (metaworld.me)
They made me an offer I couldn''t refuse (1997) (jens.mooseyard.com)
We asked four AI coding agents to rebuild Minesweeper—the results were explosive (arstechnica.com)
Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates (www.a1k0n.net)
Your favorite pieces of technical writing? (lobste.rs)
cpu: cpu command in Go, inspired by the Plan 9 cpu command (github.com)
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)