1. Advent of Code in Coq (2021)

2. The good, the bad, and the ugly of managing Sphinx projects with Bazel

3. Sidekiq 8.0: Improvements to the Web UI

4. Roguetype: The first ever roguelike written in the OCaml type system

5. jj-fzf: Text UI for Jujutsu based on fzf

6. Numbers Go Brrrr

7. The Most Amusing Security Flaws I''ve Discovered

8. Stop syncing everything

9. new state of the art turing test: drawing a rubik''s cube

10. Streaming changes from Postgres: the architecture behind Sequin

11. anubis: Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers

12. Rockbox 4.0 released

13. Goodbye Offpunk, Welcome XKCDpunk

14. Intuiting TLS

15. Programming with an AI copilot: My perspective as a senior dev

16. CSS System colors

17. Why F#?

18. ALGOL-FOR-LINUX is Reimagining Memory Safety for Linux

19. Think I implemented a unique feature in my feed reader

20. Python Polars: The Definitive Guide

21. The April Fools joke that might have got me fired

22. My new Emacs (and Ruby) based Static Site Generator

23. A love letter to the CSV format

24. Linux 6.15 Perf Tooling Introduces New Support For Latency Profiling

25. 3110 Coq Tactics Cheatsheet

26. Who''s Hiring? Q2 2025

27. FSKit

28. 9front “THE FRONT END OF TOMORROW” released

29. Pidgin 3.0 Experimental 2 (2.91.0) has been released

30. Building Real-Time Video Transcription & Sentiment Analysis for Peer Support

31. Windows on ARM on a Smart Watch

32. Fast MQTT logger (to syslog)

33. What’s in a Nix store path

34. How I Spent Saturday Recovering A Passkey Or Why Open-Source Software Matters

35. AI/Math Puzzle

36. The element can now be customized with CSS

37. Ekapkgs, a poly-repo fork of Nixpkgs

38. Foundation Models and Unix

39. GNU Octave: Scientific Programming Language

40. The Evolution of HTTPS Adoption in Firefox

41. Empowering WebAssembly with Thin Kernel Interfaces

42. Warren''s Abstract Machine: A Tutorial Reconstruction (1999)

43. Shadowing in Python gave me an UnboundLocalError

44. Interaction nets

45. Building native packages is complicated

46. Framework 13 AMD Setup with FreeBSD

47. Giving up the dylib dream

48. Why Do I Run FreeBSD for My Home Servers

49. Create FreeBSD Docker Containers from Scratch

50. Hoster - Built Using FreeBSD/Bhyve/ZFS/PF/Go Makes VM/Jails Deployments Fast and Easy

51. Zephyr RTOS 4.1 Now Available: Performance Improvements, Support for IAR Toolchain, Rust, and More

52. There is no Vibe Engineering

53. Dipping my toes in OpenBSD, in Amsterdam

54. French antitrust watchdog fines Apple 150M for App Tracking Transparency implementation

55. Rust on the Ferris Sweep

56. Impromptu disaster recovery

57. How to borrow memory (2021)

58. Crate-training Tiamat, un-calling Cthulhu: Taming the UB monsters in C

59. An AlphaStation''s SROM

60. Fjall 2.8

61. SaaS Is Broken: Why Bring Your Own Cloud (BYOC) Is the Future

62. Cross Compiling Swift

63. CodeQLEAKED - Public Secrets Exposure Leads toSupply Chain Attack on GitHub CodeQL

64. Guidelines for Evaluating Differential Privacy Guarantees

65. Baseline implementations should be predictable

66. File Systems Unfit as Distributed Storage Backend (2019)

67. Actually drawing some ovals (that are not ellipses)

68. The Surprise of Multiple Dependency Graphs

69. Nix vanity store paths

70. TCRF has been getting DDoSed

71. Missile vs. Laser: The Game of Terminal Maneuvers

72. Why Is This Site Built With C

73. A brief history of compression on Macs

74. Labor of Division (2010)

75. Koto Programming Language

76. Towards fearless SIMD, 7 years later

77. Convert Linux to Windows

78. Rust Any part 3: Finally we have upcasts

79. .arpa, rDNS and a few magical ICMP hacks

80. syntax highlighting with tree-sitter

81. A Programmer''s Reading List: 100 Articles I Enjoyed (1-50)

82. Self-contained Python scripts with uv

83. A web framework for building products with Python · Plain

84. Thoughts on ECS

85. The Lighthill debate on Artificial Intelligence (1973)

86. Ente Photos v1

87. vramfs: VRAM based file system for Linux

88. Horseless intelligence

89. I made a little puzzle game about a rogue chess knight

90. How To Become A Hacker: A Step-By-Step Guide

91. where do the bytes go?

92. Paged out issue 06

93. Item Flow, Part 1: A new unified concept for layout

94. Pixelfed leaks private posts from other Fediverse instances

95. "Moonshots" Initiative to Secure the Future of RISC OS

96. On the Biology of a Large Language Model

97. Building a search engine from scratch, in Rust: part 1

98. Total functions and beyond

99. typed-japanese: Learn Japanese grammar with TypeScript

100. A Language Server for Postgres

101. The "broligarchs" don''t speak for me

102. Introducing git-revise (2019)

103. OpenWrt Two Approval

104. Condition system for Fennel language and Lua runtime

105. Learn CSS Layout The Pedantic Way

106. Could JavaScript have synchronous await?

107. Rust is indeed woke

108. Caelum, the hyper-functional programming language

109. The Colonel’s Bequest – Case Cracked

110. Introducing swiftly 1.0

111. Siri’s ‘Non-Existent’ AI Features Spark Apple Legal Battle

112. GitHub has gone - long live Forgejo

113. An Ode To The Game Boy Advance

114. The Right Kind of Stubborn

115. 2024''s hottest topics in databases (a bibliometric approach)

116. Can jank beat Clojure''s error reporting?

117. Terrible Horrible No Good Very Bad Python

118. Intro to Alpine.js: A JavaScript framework for minimalists

119. Handling form errors in htmx

120. The problem with OOL is not the OO (2009)

121. Building Statically Linked Go Executables with CGO and Zig

122. Compress Better, Compute Bigger

123. Data demand some damn respect

124. Benchmarking a distribution (and some -O3 results)

125. Calculate Throughput with LLVM''s Scheduling Model

126. Let''s Take a Look at... JEP 483: Ahead-of-Time Class Loading & Linking

127. Safeishly use non-reentrant libraries with POSIX threads

128. Apple Needs a Snow Sequoia

129. Xee: A Modern XPath and XSLT Engine in Rust

130. The way we''re thinking about breaking changes is really silly

131. milliForth for the 6502

132. SpecTec has been adopted

133. Operationalizing Macaroons

134. SJS: a static AOT compiler for a subset of JavaScript (2016)

135. Take this on-call rotation and shove it

136. A Shell for the Container Age: Introducing Dagger Shell - Dagger

137. A Roadmap for a modern Plasma Login Manager

138. Open Letter to Meta: Support True Messaging Interoperability with XMPP

139. oss-sec: Three bypasses of Ubuntu''s unprivileged user namespace restrictions

140. Ruby Central''s OSS Changelog: March 2025

141. Atom vs. RSS (2013)

142. Things that go wrong with disk IO

143. Sécurix, a NixOS-based secure operating system tailored for small to medium-sized teams

144. Oscura Vim Colorscheme – New Variant & Improvements

145. Tag Proposal: logicprogramming

146. Pile of Eternal Rejections: The Cost of Garbage Collection for State Machine Replication – Aleksey Charapko

147. Spade, a hardware description language inspired by modern software languages

148. “Normal” engineers are the key to great teams

149. Piranesi’s Perspective Trick

150. AI is the future of accessibility

151. Why Anthropic’s Claude still hasn’t beaten Pokémon

152. How to Write Blog Posts that Developers Read

153. Building Standardized AI Tools with the Model Context Protocol (MCP)

154. Elastic BBQ: Better Binary Quantization in Lucene & Elasticsearch

155. Writing Useful Documentation

156. prepare()-ing for execution: a new API for process creation

157. War story: the hardest bug I ever debugged

158. RealtimeKit and CPU Scheduling

159. Decent-Auth: backend auth library that works in several different languages via WASM

160. Oracle Breached

161. Reasoning by Analogy

162. Tunneling corporate firewalls for developers

163. Problems with the heap

164. Bevy Meetup - Intermediate Representations for Reactive Structures

165. Europen Union creates Fedora-based Linux distribution for the public sector

166. Matrix Profiles

167. Betteridge''s Law of Software Engineering Specialness

168. Google will now develop the Android OS in private

169. Hyperlight Wasm: Fast, secure, and OS-free

170. A Very (!) Early Play With Astral''s Red Knot Static Type Checker

171. A Daft proc-macro trick: How to Emit Partial-Code Errors

172. Reproducible builds

173. Blasting Past Webp

174. Revisiting CSS border-image

175. Servo vs Ladybird

176. Security on the path to AGI

177. You just can’t be Googling ‘Select’

178. Ferrous Systems Donates Ferrocene Language Specification to Rust Project

179. Good-bye core types; Hello Go as we know and love it

180. doccmd: Run commands (linters, formatters, etc.) against code blocks in documentation files

181. Up and Running with JAX - JIT Compilation, Vectorizing Transformations and autodiff

182. Pushing the opam-repository into a sustainable repository

183. PEG parsing series

184. What''s New in Neovim 0.11

185. Getting Started with TDD: A Practical Guide to Beginning a Lasting Practice

186. You should know this before choosing Next.js

187. Pi Pico Rx - A crystal radio for the digital age?

188. antirez wants to make Redis open source, again

189. Introduction to Monoio: A High-Performance Rust Runtime

190. Simplicity and Global Mutable Values

191. Kill Math (2011)

192. What is plus times plus?

193. Shrink your Go binaries with this one weird trick (2016)

194. You might want to stop running atop

195. Don''t bring slop to a slop fight

196. OpenSMTPD & Maildrop working in concert

197. Postel''s Law and the Three Ring Circus

198. Optimizing Django by not being silly

199. Mobile Cyberattacks Conducted by US Intelligence Agencies

200. Whose code am I running in GitHub Actions?

201. The role of developer skills in agentic coding

202. On the Ignorability of Attributes

203. The surreal joy of having an overprovisioned homelab

204. Are AI agents the future of observability?

205. Prospero challenge, now with more garbage collection

206. REST in Peace? Django''s Framework Problem

207. Land ahoy: leaving the Sea of Nodes

208. On Troubleshooting

209. Evolving Scala

210. ReactOS 0.4.15 released

211. Considering A W3C Standard For Stateful Serverless

212. spade - A work in progress HDL that doesn''t make you want to pull your hair out

213. Open-sourcing OpenPubkey SSH

214. Notes on MCP

215. The Practical Limitations of End-to-End Encryption

216. A Debugger is a REPL is a Debugger

217. Database Protocols Are Underwhelming

218. TrapC: Memory Safe C Programming with No UB

219. Entropy Attacks

220. Implementers, Solvers, and Finders

221. Better Shell History Search

222. Occlusion with Bells On

223. Beyond Traditional Pattern Matching in Lisp

224. Closing Keynote with Leslie Lamport at SCALE 22x: Coding isn''t programming

225. Closing the chapter on OpenH264

226. Next.js CVE-2025-29927

227. CDC attack mitigation in Plakar

228. Btrfs Adding Fast/Realtime Zstd Compression & Other Performance Optimizations

229. FFMPEG''s Assembly Language Lessons

230. autology: hot take on metaprogramming

231. Post Apocalyptic Computing

232. RCE Vulnerabilities in k8s Ingress NGINX (9.8 CVE for ingress-nginx)

233. Latest Setuptools broke a bunch of packages

234. The Prospero Challenge

235. Parser combinators under the hood: advanced example

236. The next generation of Bazel builds

237. Ledger Implementation in PostgreSQL

238. LLMs on a PowerPC Mac

239. Triforce: a microphone array beamformer for Apple Silicon laptops

240. Networking in Bevy with ECS Replication (using Rust)

241. A CSS-based NoJS Anti-BOT Web Application Firewall (Proof of Concept)

242. Holograms, light-leaks and how to build CSS-only shaders

243. Everyone quotes command line arguments the wrong way (on Windows)

244. Non-Obvious Haskell Idiom: Conditional For

245. Bringing Record and Replay everywhere

246. LLMs, But Only Because Your Tech SUCKS

247. argp: GNU command line argument parser

248. Nix derivations by hand

249. GPSTracker: A self-hosted FOSS alternative to Google Maps Timeline

250. RDNA 4''s "Out-of-Order" Memory Accesses

251. Notes on building an app that looks like an IKEA manual

252. Golang on the PlayStation 2

253. Fastrace: A Modern Approach to Distributed Tracing in Rust FastLabs / Blog

254. Basedpyright: pyright fork with various type checking improvements

255. Figma’s not a design tool — it’s a Rube Goldberg machine for avoiding code

256. My Ruby Debugging Tips in 2025

257. GitButler''s new patch based Code Review (Beta)

258. Exploring Ruby Ractors -- I paid for for 10 cores I''m gonna use 10 cores

259. c-ward: An implementation of libc written in Rust

260. The Heisenberg uncertainty principle for management''s opinion

261. CSS Animation with offset-path

262. Ultima III for the VIC-20

263. landrun: Run any Linux process in a secure, unprivileged sandbox using Landlock

264. Avoid building a security treadmill

265. A Cassette Audio Control for the Web

266. Notes on coreutils in Rust

267. Revenge of the junior developer Sourcegraph Blog

268. You are naming your tests wrong

269. Friends don''t let friends write production software in Python

270. Bridging the Efficiency Gap Between FromStr and String

271. Playing with HP PA-RISC

272. Back to Basics: Lifetime Management in Cpp

273. Scraping Websites with Racket

274. ClickHaskell-0.2: 2 Years Anniversary pre-stable releas

275. Why Choose to Use the BSDs in 2025

276. attention is logarithmic, actually

277. A USB interface to the "Mother of All Demos" keyset

278. A Brief Introduction to Esoteric Programming Languages [Video]

279. Deep vs Shallow Go interfaces

280. Technicalities of Homeworld 2 backgrounds

281. Mikrotik to Ubiquiti

282. AI is useless, but it is our best bet for the future

283. A decision maker''s guide to Typed Functional Languages by Evan Czaplicki

284. How to find Next.js on your network

285. Why did you need to change 8 files to add one checkbox?

286. Optimizing by 170,000% by not being silly

287. What influences developers'' trust in adopting AI-assisted coding tools?

288. Custom VC-Focused Emacs Functions to Enhance My Git Workflow

289. Powxy: anti-scraper reverse proxy

290. Enabling seamless interop between Rust and other languages

291. Use Long Options in Scripts

292. Why do people default to React and JavaScript for frontend and UIs?

293. Improved ways to operate a rude crawler

294. pussh: A simple SSH-based deployment tool written in Bash

295. KURLNavBar and me

296. Quitting an Intel x86 hypervisor

297. C3: Reading and writing files

298. Block-based UI Libraries for Data Flow?

299. Chunking Attacks on File Backup Services using Content-Defined Chunking

300. Authorization Bypass in Next.js Middleware