Why computational reproducibility matters (blog.khinsen.net)
Scaling our Observability platform beyond 100 Petabytes by embracing wide events and replacing OTel (clickhouse.com)
Open Dylan 2025.1 - Open Dylan Release (opendylan.org)
Unexpected security footguns in Go''s parsers (blog.trailofbits.com)
Hare 0.25.2 released (harelang.org)
Cosmoe: BeOS Class Library on top of Wayland (cosmoe.org)
Why Can''t We Break Cryptography? (blog.computationalcomplexity.org)
In Praise of “Normal” Engineers (charity.wtf)
The AGI economy is coming faster than you think (www.freethink.com)
Of Course ML Has Monads! (2011) (existentialtype.wordpress.com)
More Undervalued Hardware Companions (vermaden.wordpress.com)
YouTube’s new anti-adblock measures (iter.ca)
All roads lead to disaster (blog.jsbarretto.com)
Learn you Galois Fields for Great Good (xorvoid.com)
Running and storing 3 million LLM AI requests without spending 100,000 (boyter.org)
Mozilla is killing its Pocket and Fakespot services to focus on Firefox (arstechnica.com)
Avoid workspaces (2014) (blog.z3bra.org)
What are the Most Beautiful/Insightful Code Bases? (lobste.rs)
That Time I Tried Browsing the Web Without CSS (css-tricks.com)
The differences between OrioleDB and Neon (www.orioledb.com)
Dispelling myths and misinformation (matrix.org)
Breaking WebAuthn, FIDO2, and Forging Passkeys (www.nullpt.rs)
Deep Dive into SVT-AV1''s Evolution (Part 1) (wiki.x266.mov)
Rolling the ladder up behind us (xeiaso.net)
Pragtical - The practical and pragmatic code editor (pragtical.dev)
The OWASP top 10 top 10s (github.com)
So you want to serialize some DER? (alexgaynor.net)
Improvements to the UDP Hole Punching (github.com)
Ruby Schema, a collection of JSON schemas for YAML/JSON config files in the Ruby ecosystem (github.com)
Phoenix.new – The Remote AI Runtime for Phoenix (fly.io)
Hail the Maintainers (2016) (aeon.co)
Gulaschprogrammiernacht 23 (media.ccc.de)
Finding Peter Putnam (nautil.us)
Reworking Memory Management in CRuby: A Practitioner Report (blog.peterzhu.ca)
Adapting nnue-pytorch''s binary position format for Lichess (lichess.org)
Let’s All Write Good Software (youtu.be)
My A11y Journey (mjg59.dreamwidth.org)
Infinite Mac OS X (blog.persistent.info)
pipelined state machine corruption (flak.tedunangst.com)
JavaScript broke the web (and called it progress) (www.jonoalderson.com)
Achieving Excellence in Open Source Software Design (www.youtube.com)
Zig And Rust (matklad.github.io)
Feeling Blue(Noroff): Inside a Sophisticated DPRK Web3 Intrusion (www.huntress.com)
Revisiting Knuth’s “Premature Optimization” Paper (probablydance.com)
Metaobject Protocols: Why we want them and what else they can do (cseweb.ucsd.edu)
The Less Humble Programmer (2023) (digitalhumanities.org)
Bibliography of Scheme-related Research (2012) (web.archive.org)
I Want to Love Linux. It Doesn’t Love Me Back: Post 4 – Wayland Is Growing Up. And Now We Don’t Have a Choice — fireborn (fireborn.mataroa.blog)
Homegrown closures for Uxn (krzysckh.org)
GUI-Actor: GUI-Actor: Coordinate-Free Visual Grounding for GUI Agents (github.com)
2048 with only 64 bits of state (github.com)
The 16-billion-record data breach that no one’s ever heard of (cybernews.com)
Programming Considered Harmful (flownet.com)
Introduction to competitive programming in Haskell (byorgey.github.io)
A Dynamic Graph Approach to Immediate Cycle Collection (dl.acm.org)
posit: thin triangle and other tricks (2019!) (marc-b-reynolds.github.io)
Software Is Changing (Again) (www.youtube.com)
Tag proposal: jargon (lobste.rs)
What Would a Kubernetes 2.0 Look Like (matduggan.com)
Liberux Nexx: An interview with Liberux about their made-in-EU OSHW Linux Phone (linmob.net)
2025 Stack Overflow Developer Survey (stackoverflow.az1.qualtrics.com)
Rewriting Kafka in Rust Async: Insights and Lessons Learned in Rust (wangjunfei.com)
Elliptic curves as art (elliptic-curves.art)
I feel open source has turned into two worlds (utcc.utoronto.ca)
files: In-repository file generation flake-parts module (github.com)
More Frontend Web Tricks (kaiwenwang.com)
Agentic Engineering in Action with Mitchell Hashimoto (www.youtube.com)
Now might be the best time to learn software development (substack.com)
charmbracelet/fang: The CLI starter kit (github.com)
New Linux Flaws Enable Full Root Access via PAM and Udisks Across Major Distributions (thehackernews.com)
Should we design for iffy internet? (bytes.zone)
MCP Specification - 2025-06-18 (modelcontextprotocol.io)
Accessibility Programming Doesn''t Feel Accessible (acidiclight.dev)
s7 scheme (ccrma.stanford.edu)
It’s True, “We” Don’t Care About Accessibility on Linux (tesk.page)
Quick notes on a brief agentic coding experience (olano.dev)
Lisp: Icing or Cake? (dthompson.us)
GCC, glibc, stack unwinding and relocations – A war story (blog.sergiodj.net)
A deep-dive explainer on Ink and Switch''s BeeKEM protocol (meri.garden)
The Zed Debugger is Here (zed.dev)
Analysing Rust crates for weekend (hobbyist) vs weekday (working-dev) downloads (boydkane.com)
The Brute Squad (sourcegraph.com)
The Unreasonable Effectiveness of Fuzzing for Porting Programs (rjp.io)
LLM Agents Are Breaking Your Platform, Not Your Architecture (www.junctionlabs.io)
Cock.li email provider data leak from roundcube (mail.cock.li)
Moving on from Nix (carlosbecker.com)
Getting Lustre upstream (lwn.net)
Notes on retries (justinblank.com)
The Server Doesn''t Render Anything (unplannedobsolescence.com)
The plight of the misunderstood memory ordering (www.grayolson.me)
Shadow: A browser engine from scratch in Javascript (shadow.goose.icu)
Is there a Half-Life for the Success Rates of AI Agents? (www.tobyord.com)
hammurabi: A Rust recreation of the classic 1968 BASIC game (github.com)
Programming Language Design in the Era of LLMs: A Return to Mediocrity? (kirancodes.me)
Your Brain on ChatGPT (www.media.mit.edu)
Query Your Postgres Database Using Plain English (medium.com)
Using Microsoft''s New CLI Text Editor on Ubuntu (www.omgubuntu.co.uk)
Why I Won''t Use AI (agentultra.com)
IndexedDB is Weird (qsantos.fr)
I wrote a compiler (blog.singleton.io)
OpenTelemetry for Go: measuring the overhead (coroot.com)
Building JSON on the Command Line is Obnoxious (blog.stulta.dev)
Monads are not like burritos (byorgey.github.io)
Barry Vercoe, who made coding sound accessible to all, has died (cdm.link)
From SDR to ‘Fake HDR’: Mario Kart World on Switch 2 Undermines Modern Display Potential (www.alexandermejia.com)
KiCad and Wayland Support (www.kicad.org)
Resurrecting a dead torrent tracker and finding 3 million peers (kianbradley.com)
bzip2 crate switches from C to 100% rust (trifectatech.org)
Creating QMI traces from Android phones with Frida to reverse engineer Voice over LTE (postmarketos.org)
What Google Translate Can Tell Us About Vibecoding (ingrids.space)
Double-Entry Ledgers: The Missing Primitive in Modern Software (www.pgrs.net)
KDE Plasma 6.4 released (kde.org)
Managing split DNS in a multi-tenant Kubernetes setup (medium.com)
What I Wish Someone Told Me When I Was Getting Into ARIA (www.smashingmagazine.com)
zb beta released (www.zombiezen.com)
is it really FOSS? (isitreallyfoss.com)
Locally hosting an internet-connected server (mjg59.dreamwidth.org)
Is Documentation Like Pineapple on Pizza? (l.idaszak.com)
XenevaOS - Modern Computing Reimagined (www.getxeneva.com)
Known pitfalls in C26 contracts (www.youtube.com)
Type Inference Zoo (zoo.cuichen.cc)
Anime.js v4 is a lightweight JavaScript animation library with a simple, yet powerful API (animejs.com)
Why Claude Code feels like magic? (omarabid.com)
NexusMods Changes Hands (www.nexusmods.com)
End-to-End Encryption: Architecturally Necessary (labs.ripe.net)
Slint 1.12 Released with WGPU Support, iOS Port, and Figma Variables Integration (slint.dev)
The Nuanced Reality of Throttling: It''s Not Just About Preventing Abuse (blog.joemag.dev)
Why Generative AI Coding Tools and Agents Do Not Work For Me (blog.miguelgrinberg.com)
TIL:AI. Thoughts on AI (cocoaphony.micro.blog)
phkmalloc (phk.freebsd.dk)
Comment on The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity (arxiv.org)
Triaging security issues reported by third parties (#913) · Issues · GNOME / libxml2 · (gitlab.gnome.org)
Xmake v3.0 released, Improve c modules and jobgraph support (github.com)
Suppressions of Suppressions (overreacted.io)
retrobootstrapping rust for some reason (graydon2.dreamwidth.org)
The Promised LAN (notes.pault.ag)
A Brief, Incomplete, and Mostly Wrong History of Robotics (generalrobots.substack.com)
Goodbye Dark Inc. - Hello Darklang Inc (blog.darklang.com)
Selfish reasons for building accessible UIs (nolanlawson.com)
What happened to the lobste.rs top rss feed? (lobste.rs)
The lethal trifecta for AI agents: private data, untrusted content, and external communication (simonwillison.net)
Working on databases from prison: How I got here, part 2 (turso.tech)
Mathematical Illustrations: A Manual of Geometry and PostScript (personal.math.ubc.ca)
Changes to Kubernetes Slack (www.kubernetes.dev)
rgSQL: A test suite to help you build your own database engine (technicaldeft.com)
Debugging tricks for IntelliJ (andreabergia.com)
Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task (arxiv.org)
An Architectural Approach to Decentralization (www.infocentral.org)
CSS Classes considered harmful (www.keithcirkel.co.uk)
Start your own Internet Resiliency Club (bowshock.nl)
DevTUI - A Swiss-army app for developers (devtui.com)
Jokes and Humour in the public Android API (voxelmanip.se)
Building software on top of Large Language Models (simonwillison.net)
Datalog in Minikanren (deosjr.github.io)
How fast can the RPython GC allocate? (pypy.org)
Breaking down ‘EchoLeak’, the First Zero-Click AI Vulnerability Enabling Data Exfiltration from Microsoft 365 Copilot (www.aim.security)
Quick takes on the GCP public incident write-up (surfingcomplexity.blog)
Writing Toy Software Is A Joy (www.jsbarretto.com)
The Elixir Pipe Operator (dev.to)
Modifying an HDMI dummy plug’s EDID using a Raspberry Pi (www.downtowndougbrown.com)
Simplest C callback, from SumatraPDF (blog.kowalczyk.info)
1x Forth (1999) (www.ultratechnology.com)
A SQLite VFS for remote SQLite databases via gRPC (github.com)
Optimizing for Longevity (ente.io)
Why SSL was renamed to TLS in late 90s (2014) (tim.dierks.org)
Breaking my Security Assignments (www.akpain.net)
The Art of Lisp & Writing (www.dreamsongs.com)
Modular: What about the MLIR compiler infrastructure? (Democratizing AI Compute, Part 8) (www.modular.com)
Inside the Apollo "8-Ball" FDAI (Flight Director / Attitude Indicator) (www.righto.com)
How the Final Cartridge III Freezer works (www.pagetable.com)
Mosh: the mobile shell (mosh.org)
Self-referential abstractions: A quick look at the wacky epistemology of analog circuitry (lcamtuf.coredump.cx)
todo.txt tasks in my TRMNL (akselmo.dev)
A meta-analysis of three different notions of software complexity (typesanitizer.com)
"Exploring the Amiga" blog series (2018) (www.thedigitalcatonline.com)
Adding public transport data to Transitous (www.volkerkrause.eu)
Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (netflixtechblog.com)
HTML spec change: escaping in attributes (developer.chrome.com)
Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming (contextgeneric.dev)
Datalog in Rust (github.com)
Implementing Logic Programming (btmc.substack.com)
Resa: Transparent Reasoning Models via SAEs (arxiv.org)
Builder.ai did not “fake AI with 700 engineers” (blog.pragmaticengineer.com)
APL Style: Patterns/Anti-patterns (sway.cloud.microsoft)
filedb: Disk Based Key-Value Store Inspired by Bitcask (github.com)
C2y: Hitting the Ground Running (thephd.dev)
Solving LinkedIn Queens with APL (pitr.ca)
We Live In a Golden Age of Interoperability (borretti.me)
User-space interrupts (2021) (lwn.net)
The fastest way to detect a vowel in a string (austinhenley.com)
strace tips for better debugging (rrampage.github.io)
StarMalloc: verified memory allocator (dl.acm.org)
Modularizing George Cave''s eInk Energy Dashboard (slipway.co)
HTML WARDen (an HTML-based wiki) (ratfactor.com)
The Hat, the Spectre and SAT solvers (www.nhatcher.com)
Introducing the twom database format (www.fastmail.com)
100 years of Zermelo’s axiom of choice: What was the problem with it? (research.mietek.io)
OxCaml, Jane Street''s extension of OCaml is now open-source (oxcaml.org)
Tattoy: a text-based terminal compositor (tattoy.sh)
Design Patterns for Securing LLM Agents against Prompt Injections (simonwillison.net)
Radicle Desktop: a graphical user interface for the Radicle peer-to-peer code forge (radicle.xyz)
If the Moon Were Only 1 Pixel - A tediously accurate map of the solar system (joshworth.com)
Quantum Computing without the Linear Algebra (eprint.iacr.org)
Rendering crispy text on the GPU (osor.io)
Asterinas: A Linux ABI-compatible, Rust-based framekernel OS (asterinas.github.io)
macOS Tahoe brings a new disk image format (eclecticlight.co)
Three Algorithms for YSH Syntax Highlighting (codeberg.org)
What I talk about when I talk about IRs (bernsteinbear.com)
jemalloc Postmortem (jasone.github.io)
The Case for Software Craftsmanship in the Era of Vibes (zed.dev)
Cursor YOLO deleted everything in my computer (forum.cursor.com)
Frequent reauth doesn''t make you more secure (tailscale.com)
Architecture Decision Records (www.beflagrant.com)
Use-after-free in CAN BCM subsystem leading to information disclosure (CVE-2023-52922) (allelesecurity.com)
diceomatic: a DSL for making children''s dice games (robertheaton.com)
Solving LinkedIn Queens with SMT (buttondown.com)
Reflections on Sudoku, Or the Impossibility of Systematizing Thought (rjp.io)
The Python Language Summit 2025 (pyfound.blogspot.com)
CP/M 2.2, CP/M 3.0, CP/M-86, Concurrent CP/M-86 listings by Digital Research (www.bitsavers.org)
Rumour: Google intends to discontinue the Android Open Source Project (www.osnews.com)
Analysing FIT data with Perl: producing PNG plots (peateasea.de)
Distributed Data Protocol (DDP) specification - by Meteorjs (github.com)
Next.js 15.1 is unusable outside of Vercel (omarabid.com)
Agentic Coding Recommendations (lucumr.pocoo.org)
AOSP project is coming to an end (old.reddit.com)
A Lightweight Merge Queue using GitHub Actions (sketch.dev)
Ruby on Rails Audit Complete (ostif.org)
In case of emergency, break glass (morrick.me)
How much EU is in DNS4EU? (techlog.jenslink.net)
Type-based vs Value-based Reflection (brevzin.github.io)
Could an LLM create a full Domain-Specific Language? (modeling-languages.com)
AI Boom Drives 150% Surge in Indirect Emissions at Major Tech Firms, UN Warns (esgnews.com)
Linus Torvalds Rejects The Idea Of Enabling DAMON By Default In The Linux Kernel (www.phoronix.com)
EU launches EU-based, privacy-focused DNS resolution service (www.helpnetsecurity.com)
WebRTC One-time permissions are here to stay (blog.mozilla.org)
A new way to style gaps in CSS (developer.chrome.com)
Patterns for Modeling Overlapping Variant Data in Rust (mcmah309.github.io)
Writing a Verified Postfix Calculator in Ada/SPARK (pyjarrett.github.io)
Pocoo (www.pocoo.org)
Bypassing GitHub Actions policies in the dumbest way possible (blog.yossarian.net)
Raku''s "core" (gist.github.com)
From zero to demo: a newcomer''s experience learning Bevy (www.youtube.com)
Finite Atari Machine (bbenchoff.github.io)
Reflections on a Year of Sunlight (letsencrypt.org)
Whatever happened to sandboxfs? (blogsystem5.substack.com)
Compiler Explorer Cost Transparency (xania.org)
The Hashtable Packing Problem (backscattering.de)
Proving completeness of an eventually perfect failure detector in Lean4 (protocols-made-fun.com)
Source code sandboxing (kristaps.bsd.lv)
Verse Language (dev.epicgames.com)
How we tried to book a train ticket and ended up with a databreach with 245,000 records (2023) (zerforschung.org)
hare-update assists in addressing breaking changes in your code (harelang.org)
A bit more on Twitter/X’s new encrypted messaging (blog.cryptographyengineering.com)
“Localhost tracking” explained. It could cost Meta 32b (www.zeropartydata.es)
Demystifying Debuggers (www.rfleury.com)
Avoiding generative models is the rational and responsible thing to do (www.baldurbjarnason.com)
Firefox OS''s story from a mozilla insider not working on the project (ludovic.hirlimann.net)
Patterns for failure-free, bounded-space, and bounded-time programming (dercuano.github.io)
Hydroph0bia (CVE-2025-4275) - a trivial SecureBoot bypass for UEFI-compatible firmware based on Insyde H2O, part 1 (coderush.me)
Red Hat and FreeDesktop Go into Mass Censorship over Xorg Fork (youtube.com)
Ratatui - Are We Embedded Yet? (#2) (jslazak.com)
Lisp in a Shell (www.youtube.com)
GNOME introducing stronger dependencies on systemd (blogs.gnome.org)
Mixed Boolean-Arithmetic (part 1): Introduction (plzin.github.io)
Embracing Swift concurrency (developer.apple.com)
Quaternions (www.youtube.com)
Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library (www.microsoft.com)
Multi-player, serverless, durable terminals (s2.dev)
R9: Plan 9 in Rust (github.com)
Daily Workflow (The Cuis-Smalltalk Book) (drcuis.github.io)
Why Doctors Hate Their Computers (2018) (web.archive.org)
FreeBSD 14.3-RELEASE Announcement (freebsd.org)
Partial Keyframes (www.joshwcomeau.com)
Android 16 is here (blog.google)
My Unfiltered Take on the AI Coding Agent Landscape (xxchan.me)
Announcing Multigres: Vitess for Postgres (supabase.com)
Building a Debugger: Write a Native x64 Debugger From Scratch (nostarch.com)
Zig-style generics are not well-suited for most languages (2022) (typesanitizer.com)
Handles are the better pointers (2018) (floooh.github.io)
Why We’re Moving on From Nix (blog.railway.com)
CVE-2025-47934 - Spoofing OpenPGP.js signature verification (codeanlabs.com)
Passing of Jean-Raymond Abrial (en.wikipedia.org)
Malleable software: Restoring user agency in a world of locked-down apps (www.inkandswitch.com)
A tale of two Claudes (steveklabnik.com)
Auto-Pentest-GPT-AI: LLM Powered Pentesting for your software (github.com)
Droneboy: Drone music application for Gameboy (github.com)
News from WWDC25: WebKit in Safari 26 beta (webkit.org)
A history of the Internet, part 2: The high-tech gold rush begins (arstechnica.com)
IBM is now detailing what its first quantum compute system will look like (arstechnica.com)
Quarkdown - Markdown with superpowers (quarkdown.com)
AI-assisted coding for teams that can''t get away with vibes (blog.nilenso.com)
Why agents are bad pair programmers (justin.searls.co)
Implementing DOES in Forth, the entire reason I started this mess (boston.conman.org)
12 Development Tools (dev.to)
The Gap Through Which We Praise the Machine (ferd.ca)
container: tool for creating and running Linux containers using lightweight virtual machines on a Mac (github.com)
Push Science (paulrcohen.github.io)
Munal OS: A graphical experimental OS with WASM sandboxing (github.com)