1. nix-prompt: a clean and modular bash prompt with just the right amount of customization options

2. llm-grep: Match lines using both classic and semantic regular expressions

3. "Enabling" C threads in a Python / Wasm environment

4. CONTRACT.md: The Naughty List for AI Coding Agents

5. How I think about Kubernetes

6. Reimplementing FlashAttention for performance and giggles

7. From Intent to Proof: Dafny Verification for Web Apps

8. Simplifying the build process for vst3-rs

9. Show: Twine - A tool to dynamically trace calls in production Elixir systems

10. How uv got so fast

11. On Metastable Failures and Interactions Between Systems

12. Calibre adds AI ''discussion'' feature

13. profiling.sampling: Statistical profiler

14. TIL: serde''s borrowing can be treacherous

15. Play the Monty Hall game

16. The Algebra of Loans in Rust

17. Maestro - Desktop AI Agent Command Center (Free/OSS)

18. GNU Mes and the module system

19. I''m a laptop weirdo and that''s why I like my new Framework 13

20. Rob Pike Goes Nuclear over GenAI

21. Beautiful reprs

22. Sendspin: Music Experience Protocol

23. Writing an NES emulator in Haskell

24. Toward a policy for machine-learning tools in kernel development

25. Ancient Greek geometry

26. Microarchitecture: What Happens Beneath

27. Automating What Backblaze Lifecycle Rules Don''t Do Instantly

28. When a driver challenges the kernel''s assumptions

29. doubly dual shuffles

30. Are Two Heads Better Than One?

31. Released KC3 v0.1.16

32. The HTML Elements Time Forgot

33. Timeless Games

34. Microsoft Is Finally Killing RC4

35. Python 3.15’s interpreter for Windows x86-64 should hopefully be 15% faster

36. One formula that demystifies 3D graphics

37. Self-referencing Page Tables for the x86-Architecture

38. Gleam v1.14 - the happy holidays release 2025

39. ssh tiny.christmas

40. Announcing rules_img: a faster path to container images in Bazel

41. Mathematically extra-complicated Secretest Santa 2025

42. Fucking Approachable Swift Concurrency

43. Ruby 4.0.0 Released

44. Load and store forwarding in the Toy Optimizer

45. Using Vectorize to build a search engine in 160 loc

46. phoenix - A modern X server written from scratch in Zig

47. Package managers keep using git as a database, it never works out

48. Advent of Code 2025: Haskell Solution Reflections for all 12 Days

49. Newtype Index Pattern In Zig

50. The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in mind

51. QEMU version 10.2.0 released

52. Advent of Code 2025: The AI LLM Edition

53. Dedalus: Datalog in Time and Space (2009)

54. Datafun - functional language that generalizes Datalog

55. The 2025 Matrix Holiday Special

56. How JPEG Screenshots Defeated Our Beautiful H.264 WebCodecs Pipeline

57. Nostr Compass #1

58. Querying and Ingest issues in EU

59. Wayback 0.3 Released

60. (My) Second Year of the Linux Desktop (For Gaming)

61. A curl 2025 review

62. cjanet

63. ZipPop: a space conserving unzipping script

64. Swanky Python: Interactive development for Python

65. How and why I moved from Apple Services to my own server

66. "AI" is bad UX

67. My 2026 Open Social Web Predictions

68. Nix State of the SBOM

69. Just in time software

70. I''m returning my Framework 16

71. tygor: Type-safe backend for Go TypeScript apps

72. Avoid mini-frameworks

73. Implementation of optimized vector of strings in C in SumatraPDF

74. FreeBSD: Installation on a ThinkPad X200 Tablet in 2025

75. What the Internet Was Like in 2003

76. A Couple 3D AABB Tricks

77. Interactively visualize GitHub Actions Matrix configurations

78. Custom Cross Compiler with Nix

79. Meta Is Using The Linux Scheduler Designed For Valve''s Steam Deck On Its Servers - Phoronix

80. Attention From First Principles

81. They made me an offer I couldn''t refuse (1997)

82. We asked four AI coding agents to rebuild Minesweeper—the results were explosive

83. Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates

84. Your favorite pieces of technical writing?

85. cpu: cpu command in Go, inspired by the Plan 9 cpu command

86. Mostly Automated Proof Repair for Verified Libraries

87. An initial analysis of the discovered Unix V4 tape

88. sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM

89. LAVD: Meta’s New Default Scheduler

90. Unix "find" expressions compiled to bytecode

91. Reproducing the NixOS 25.11 Minimal Installation ISO

92. The Linux kernel is just a program

93. folder.zone: Share end-to-end encrypted folders live

94. The wonder of MSBuild

95. Logical gates on Floquet codes via folds and twists

96. Schrödinger’s test: The /dev/mem case

97. mquickjs: Micro QuickJS Javascript Engine

98. dirlock

99. Vigil - A clean, fast build watcher for Zig (inspired by Bacon for Rust)

100. Web engine CI on a shoestring budget

101. Feature discussion: replying to multiple comments in story

102. This Meeting could have been an Email

103. Instant database clones with PostgreSQL 18

104. Are we Loong yet?

105. Why Quantum Cryptanalysis is Bollocks

106. The lightest notes app implementation in 111 loc

107. NPM Package With 56K Downloads Caught Stealing WhatsApp Messages

108. Memoization via Representables (2022)

109. FreeBSD Closes the Laptop Gap: Year One Project Update

110. Introducing Open Forms

111. I foretold that Mac app notarization is security theater

112. Lua 5.5 Released

113. Seven Coding Games to Help You Build Your Programming Chops

114. What''s "new" in Miri (and also, there''s a Miri paper!)

115. From Zero to QED: An informal introduction to formality in Lean 4

116. An uncomfortable but necessary discussion about the Debian bug tracker

117. Towards a secure peer-to-peer app platform for Clan

118. Proposed Rust kernel extensions in place of eBPF

119. Email Simplicity vs Decentralized Chat

120. Nature Programming Language

121. Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department

122. Simplistic Comptime Column Safety in SQLite Queries

123. Understanding your Linux graphics driver stack

124. Flocking Quadtrees in Clojure

125. I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants

126. Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes

127. When SIMD Fails: Floating Point Associativity

128. Installing Void Linux on ZFS with Hibernation Support

129. Tinyfront

130. QBasic64 Phoenix 4.3.0 released

131. typed-arrow: First-class compile‑time Arrow schemas for Rust

132. Debian’s git transition

133. Qubes OS 4.3.0 has been released

134. Logging Sucks - Your Logs Are Lying To You

135. I Program on the Subway

136. The Cognitive Burden of Garbage Collection vs Move Semantics (2023)

137. What’s new in Python 3.15

138. Thirteen years of Rust and the birth of Rue

139. dumbphone journey -- eight month update

140. Inverse parentheses

141. ELF Crimes: Program Interpreter Fun

142. ARIN IPv4 misissue incident

143. Computational complexity of New York Times games

144. Exploring Speculative JIT Compilation for Emacs Lisp with Java

145. You Can''t Opt-Out of Accessibility

146. How I protect my forgejo instance from AI Web Crawlers

147. The atomic time scale at NIST Boulder has failed

148. Web/HTML things to avoid (2017)

149. The Inner-Platform Effect (2006)

150. Mnemonics for hidden controls in Win32

151. The "UNIX v4 tape" running in simh PDP11 emu on IRIX

152. Tag proposal: decentralization

153. polyproto: A refreshingly simple decentralised, federated protocol

154. Task Injection – Exploiting agency of autonomous AI agents

155. Text similarity search via normalized compression distance

156. An introduction to property-based testing with QuickCheck (2020)

157. Shooting myself in the foot with Git by accident

158. The Texas Instruments CC-40 invades Gopherspace (plus TI-74 BASICALC)

159. romforth: Ultra Portable, Small, Baremetal Forth for various processors

160. Faster practical modular inversion

161. How capacity hints work in Go

162. Go feature: Modernized go fix

163. I spent a WEEK without IPv4 to understand IPv6 transition mechanisms

164. Bedrock (2012)

165. Granule, a statically-typed linear functional language with graded modal types

166. Backing up Spotify

167. The Big Ideas in Relay

168. Ruby''s website got an overhaul

169. .meow, the domain for the Queer Community, starts fundraising

170. Automated Equality Checks in C with Reflection (C26)

171. Updated LLM Benchmark (Gemini 3 Flash)

172. Detecting goroutine leaks with synctest/pprof

173. Targeting by Reference in the Shadow DOM

174. Hash tables in Go and advantage of self-hosted compilers

175. The Mysterious Forces Steering Views on Hacker News

176. Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4

177. UnifyBio: Power Tools for Translational Data Science - Benjamin Kamphaus

178. Business SLOs

179. A Decade on Datomic - Davis Shepherd & Jonathan Indig (Netflix)

180. Porting an HTML5 Parser to Swift

181. Understanding Dart Class Modifiers by Using Lattices

182. Pedagogy Recommendations

183. Introducing CSS Grid Lanes

184. Performance Hints

185. Exposing game servers over Tailscale

186. UNIX V4 tape from University of Utah

187. Unix v4 Tape

188. What do people love about Rust?

189. A List of Books to Learn Programming with Ruby and Rails (2023)

190. Rust’s Block Pattern

191. The scariest boot loader code

192. Pi 5 NAS With Custom Carbon Fibre Panels, Made on the Makera Z1

193. Lite3, a JSON-Compatible Zero-Copy Serialization Format

194. Help my website is too small

195. 8-bit Boléro (the world’s most ambitious chiptune?)

196. A love letter to Raycast

197. Hacker News: Honest Edition

198. Building a Transparent Keyserver

199. map::operator[] should be nodiscard

200. Finite-state transducers for substitution tilings

201. WireGuard implementation written in Rust

202. LeaseGuard: Raft Leases Done Right

203. When Scope Lies: The Wildcard Pattern Drop Footgun in Rust

204. Go ahead, self-host Postgres

205. generate and play music playlists on apple music

206. Reinventing the dial-up modem (2019)

207. Booleans don''t exist in Ruby (2022)

208. A testing conundrum

209. Prompt caching: 10x cheaper LLM tokens, but how?

210. LionsOS Design, Implementation and Performance

211. pg_textsearch: PostgreSQL extension for BM25 relevance-ranked full-text search

212. My first win building with agents

213. Please Just Fucking Try HTMX

214. how to hack discord, vercel and more with one easy trick

215. Stop Losing Intent: Absent, Null, and Value in Rust

216. headson: head/tail for structured data - summarize/preview JSON/YAML and source code

217. dogalog: Prolog-based livecoding music environment

218. Making the Most of Bit Arrays

219. I got hacked, my server started mining Monero this morning

220. Hardware-Attested Nix Builds

221. Tuitar – A portable guitar training tool and DIY kit

222. Your job is to deliver code you have proven to work

223. Partial inlining

224. TOML 1.1.0 released

225. Dear ACM, you''re doing AI wrong but you can still get it right

226. Remote code execution via ND6 Router Advertisements

227. OBS Studio Gets A New Renderer: How OBS Adopted Metal

228. NVME is not a hard disk (2021)

229. Microsoft quietly kills IntelliCode in favor of the paid Copilot

230. lightning-extra: PyTorch Lightning plugins and utilities for cloud-native machine learning

231. Interactive Fluid Typography

232. Ringspace: A Proposal for the Human Web

233. A Multimedia Sketchpad

234. secure local configuration in kakoune

235. Introducing the Qt Task Tree Module, Part of Qt 6.11

236. Genuary 2026: Prompts Released

237. Inlining - the ultimate optimisation

238. Selective Applicative Functors

239. How do graphics drivers work?

240. Linux Kernel Rust Code Sees Its First CVE Vulnerability

241. Asahi Linux Progress Report: Linux 6.18

242. What Does a Database for SSDs Look Like?

243. loro-extended: A toolkit for building local-first applications and multi-agent systems with Loro

244. Maintaining an open source software during Hacktoberfest

245. How did IRC ping timeouts end up in a lawsuit?

246. Hacker News down for anyone else?

247. A Safer Container Ecosystem with Docker: Free Docker Hardened Images

248. The Wrong Question About Type Systems

249. The original Mozilla "Dinosaur" logo artwork

250. Yep, Passkeys Still Have Problems

251. How Twitter is (probably) crawling the Internet for AI

252. Log level ''error'' should mean that something needs to be fixed

253. Short-Circuiting Correlated Subqueries in SQLite

254. A Survey of Dynamic Array Structures

255. Keeping secrets, or (less than two weeks ago)

256. kris: Cross-compile Janet projects with Zig

257. AI and GNOME Shell Extensions

258. qjp - turn any json file into a quick TUI menu

259. Opus 1.6 Released

260. Calling all arguments

261. Minimum Viable Benchmark (for evaluating LLMs)

262. Adventures in the land of Language Servers

263. FreeBSD adopting a port: maomao

264. How I Became a Spam Vector

265. vm.overcommit_memory2 is always the right setting

266. ty: An extremely fast Python type checker and language server

267. IP.THC.ORG - Reverse-DNS, Subdomain and CNAME Lookups

268. No Graphics API

269. Rust GCC backend: Why and how

270. Determinate Nix 3.0

271. Pricing changes for GitHub Actions

272. File d''attente - file-based job queue

273. gh-actions-lockfile: generate and verify lockfiles for GitHub Actions

274. The Future of [JetBrains] Fleet

275. Odin''s Most Misunderstood Feature: context - gingerBill

276. Maybe consider putting cutlass in your CUDA/Triton kernels

277. Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries

278. The Illusion of Shared Understanding

279. Meet exe.dev, modern VMs

280. State of HTML 2025 results

281. Announcing Vojtux - Accessible Linux distro which is almost pure Fedora

282. Optimization Countermeasures

283. normals_revisited: revisiting a known normal transformation in computer graphics (2019)

284. Tool Safety: A Beautiful Soup zine (2017)

285. Nemotron 3 Nano Technical Report

286. November in Servo: monthly releases, context menus, parallel CSS parsing, and more

287. global known_hosts for ssh services

288. Single-Pass Huffman Coding

289. Torvalds On Linux Security Modules

290. Writing a blatant Telegram clone using Qt, QML and Rust. And C

291. "Are you the one?" is free money

292. i''m just having fun

293. Radicle: peer-to-peer collaboration with Git

294. An expression language for Vixen

295. "Super secure" MAGA-themed messaging app leaks everyone''s phone number

296. Liskell - Haskell Semantics with Lisp Syntax

297. TLA modeling tips

298. D-Bus is a disgrace to the Linux desktop

299. Using E-Ink tablet as monitor for Linux

300. Swift Configuration 1.0 released