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)
Performance Hints (abseil.io)
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)
Partial inlining (xania.org)
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)