1. Broken Proofs and Broken Provers

2. Brazilian Micro-SaaS Map

3. The 10 Mirror: Why Enterprise Security Looks Like a Kid''s Toy

4. Goblins: Distributed, Transactional Programming with Racket and Guile

5. "time to GPT-2", down to 2.91 hours

6. Show HN: BPU – An embedded scheduler for stable UART pipelines

7. The Mathematics of Tuning Systems

8. Show HN: Ghidra MCP Server – 110 tools for AI-assisted reverse engineering

9. How watercolor brushes are made

10. The world is more equal than you think

11. Microsoft Has Killed Widgets Six Times. Here''s Why They Keep Coming Back

12. High-Altitude Adventure with a DIY Pico Balloon

13. Exploring Different Keyboard Sensing Technologies

14. Petition for Recognition of Work on Open-Source as Volunteering in Germany

15. Reimplementing Tor from Scratch for a Single-Hop Proxy

16. I miss thinking hard

17. Machinery and English Style (1904)

18. The Largest Zip Tie Is Nearly 4 Feet Long and 75

19. Why poor countries stopped catching up

20. Reference Target: having your encapsulation and eating it too

21. GPT-5.2 and GPT-5.2-Codex are now 40% faster

22. Decompiling and rewriting a 2003 game from its binary in two weeks

23. Illinois joins WHO global outbreak network after U.S. withdraws

24. TikTok System Design:(Step-by-Step Guide)

25. Show HN: Craftplan – I built my wife a production management tool for her bakery

26. Notepad supply chain attack breakdown

27. 1,400-year-old tomb featuring giant owl sculpture discovered in Mexico

28. FlashAttention-T: Towards Tensorized Attention

29. Data centers in space makes no sense

30. Lessons Learned Shipping 500 Units of My First Hardware Product

31. Bruce Schneier: AI and the scaling of betrayal

32. OpenClaw (a.k.a. Moltbot) Is Everywhere All at Once, and a Disaster

33. I became a maintainer and all I got was a lousy perspective on librarianship

34. Anthropic AI Tool Sparks Selloff from Software to Broader Market

35. How Vibe Coding Is Killing Open Source

36. When rust performance. a lesson in developer experience

37. China Moon Mission: Aiming for 2030 Lunar Landing

38. Another London: Excavating the disenchanted city

39. Sandboxing AI Agents in Linux

40. Young adults report lower life satisfaction in Sweden

41. AliSQL: Alibaba''s open-source MySQL with vector and DuckDB engines

42. Y Combinator will let founders receive funds in stablecoins

43. Show HN: I built "AI Wattpad" to eval LLMs on fiction

44. Show HN: PII-Shield – Log Sanitization Sidecar with JSON Integrity (Go, Entropy)

45. Puget Systems Most Reliable Hardware of 2025

46. Xcode 26.3 unlocks the power of agentic coding

47. I made 20 GDPR deletion requests. 12 were ignored

48. Deno Sandbox

49. Migrate Wizard – IMAP Based Email Migration Tool

50. 221 Cannon Road Is Not for Sale

51. X offices raided. French prosecutors investigate child abuse images & deepfakes

52. Visual Family Cosmos

53. Defining Safe Hardware Design [pdf]

54. Show HN: Octosphere, a tool to decentralise scientific publishing

55. Kilobyte is precisely 1000 bytes

56. France dumps Zoom and Teams as Europe seeks digital autonomy from the US

57. Tadpole – A modular and extensible DSL built for web scraping

58. Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy

59. AI Didn''t Break Copyright Law, It Just Exposed How Broken It Was

60. The next steps for Airbus'' big bet on open rotor engines

61. Prek: A better, faster, drop-in pre-commit replacement, engineered in Rust

62. Athena Parthenos: A Reconstruction (2000)

63. Launch HN: Modelence (YC S25) – App Builder with TypeScript / MongoDB Framework

64. Qwen3-Coder-Next

65. New York Wants to CtrlAltDelete Your 3D Printer

66. The Everdeck: A Universal Card System (2019)

67. Anthropic Is Down

68. Data Brokers Can Fuel Violence Against Public Servants

69. A WhatsApp bug lets malicious media files spread through group chats

70. GitHub Browser Plugin for AI Contribution Blame in Pull Requests

71. Show HN: Sandboxing untrusted code using WebAssembly

72. Show HN: Inverting Agent Model (App as Clients, Chat as Server and Reflection)

73. Show HN: difi – A Git diff TUI with Neovim integration (written in Go)

74. Bunny Database

75. Heritability of intrinsic human life span is about 50%

76. Ask HN: Is there anyone here who still uses slide rules?

77. Agent Skills

78. Decentralizing My Smartphone with Single Purpose Devices

79. KDE Plasma Login Manager Won''t Support systemd-Free Linux or BSD Systems

80. Lead in archived hair documents a decline in lead exposure to humans after EPA

81. Is a RAM-only PWA "Secure Camera" safe for journalists?

82. Paris prosecutors raid France offices of Elon Musk''s X

83. Emerge Career (YC S22) Is Hiring a Founding Product Designer

84. SVGs are uniquely legible to LLMs

85. Spain to ban social media access for under-16s, PM Sanchez says

86. Rentahuman – The Meatspace Layer for AI

87. Crime rates of undocumented-, legal immigrants, & native-born citizens in Texas

88. Show HN: Safe-now.live – Ultra-light emergency info site (10KB)

89. Same SQL, Different Results: A Subtle Oracle vs. PostgreSQL Migration Bug

90. 50 Years of the Jetsons: Why the Show Still Matters

91. What''s up with all those equals signs anyway?

92. LNAI – Define AI coding tool configs once, sync to Claude, Cursor, Codex, etc.

93. From Tobacco to Ultraprocessed Food: How Industry Fuels Preventable Disease

94. Astrological CPU Scheduler

95. GitHub – BenjaminPoilve/minichord: A pocket-sized musical instrument

96. The Physics of Ideas: Reality as a Coordination Problem

97. Ask HN: Anyone else struggle with how to learn coding in the AI era?

98. Coding assistants are solving the wrong problem

99. Frog ''saunas'' could help endangered species beat a deadly fungus (2024)

100. Ask HN: Where do all the web devs talk?

101. Show HN: Open-source semantic search over your local notes via CLI

102. Flying Around the World in under 80 Days

103. Phenakistoscopes (1833)

104. 50 years ago, a young Bill Gates took on the ''software pirates''

105. Floppinux – An Embedded Linux on a Single Floppy, 2025 Edition

106. Archive.today is directing a DDoS attack against my blog

107. See how many words you have written in Hacker News comments

108. G Lang – A lightweight interpreter written in D (2.4MB)

109. Banning lead in gas worked. The proof is in our hair

110. GitHub discusses giving maintainers control to disable PRs

111. Carnegie Mellon Unversity Computer Club FTP Server

112. The Hot Mess of AI

113. Julia

114. The Connection Machine CM-1 "Feynman" T-shirt

115. Firefox Getting New Controls to Turn Off AI Features

116. Training a trillion parameter model to be funny

117. The TSA''s New 45 Fee to Fly Without ID Is Illegal

118. Court orders restart of all US offshore wind power construction

119. xAI joins SpaceX

120. GitHub experience various partial-outages/degradations

121. Anki ownership transferred to AnkiHub

122. Nvidia shares are down after report that its OpenAI investment stalled

123. Stelvio: Ship Python to AWS

124. The largest number representable in 64 bits

125. Parking lots as economic drains

126. Zig Libc

127. Why software stocks are getting pummelled

128. Pretty soon, heat pumps will be able to store and distribute heat as needed

129. TileIR Internals

130. Joedb, the Journal-Only Embedded Database

131. General Graboids: Worms and Remote Code Execution in Command and Conquer

132. EPA Advances Farmers'' Right to Repair

133. The Codex App

134. Tomo: A statically typed, imperative language that cross-compiles to C [video]

135. Advancing AI Benchmarking with Game Arena

136. Linux From Scratch Ends SysVinit Support

137. Being sane in insane places (1973) [pdf]

138. Todd C. Miller – sudo Maintainer for over 30 years

139. Hacking Moltbook: The AI Social Network Any Human Can Control

140. Ask HN: Who wants to be hired? (February 2026)

141. Solvingn the Santa Claus concurrency puzzle with a model checker

142. They lied to you. Building software is hard

143. My five stages of AI grief

144. Swift in the Browser with ElementaryUI (Swift FOSDEM 2026 Talk) [video]

145. Show HN: Stelvio – Ship Python to AWS

146. Valanza – my Unix way for weight tracking and anlysis

147. Ask HN: Who is hiring? (February 2026)

148. Kernighan on Programming

149. We asked 15,000 European devs about jobs, salaries, and AI [pdf]

150. Greenland tensions harden Europe''s push for energy independence

151. Waymo Seeking About 16B Near 110B Valuation

152. Geologists may have solved mystery of Green River''s ''uphill'' route

153. IsoCoaster – Theme Park Builder

154. 4x faster network file sync with rclone (vs rsync) (2025)

155. Google AI helped IDF drones with targeting in 2024 breaching its own policies

156. AdBoost: A Browser Extension That Adds Ads To Every Webpage

157. UK Government Launches Fuel Forecourt Price API

158. Nano-vLLM: How a vLLM-style inference engine works

159. MaliciousCorgi: AI Extensions send your code to China

160. Applications where agents are first-class citizens

161. Claude Code is suddenly everywhere inside Microsoft

162. Termux

163. My (very) fast zero-allocation webserver using OxCaml

164. Hypergrowth isn''t always easy

165. Microsoft is walking back Windows 11''s AI overload

166. High performance, open source RAFT clustered database: RooDB

167. Show HN: Sklad – Secure, offline-first snippet manager (Rust, Tauri v2)

168. Library of Juggling

169. Show HN: Apate API mocking/prototyping server and Rust unit test library

170. Board Games in Ancient Fiction: Egypt, Iran, Greece

171. What Most People Miss About Getting Promoted – By Yue Zhao

172. EU launches government satcom program in sovereignty push

173. Attilio Berni plays the sub-contrabass saxophone [video]

174. Ratchets in Software Development

175. Rev Up the Viral Factories

176. Leaked Chats Expose the Daily Life of a Scam Compound''s Enslaved Workforce

177. Stop Using Pseudo-Types

178. NPR and PBS Never Needed Your Taxpayer Dollars

179. Apple''s MacBook Pro DFU port documentation is wrong

180. Building a Telegram Bot with Cloudflare Workers, Durable Objects and Grammy

181. Contracts in Nix

182. Show HN: Sandbox Agent SDK – unified API for automating coding agents

183. Notepad hijacked by state-sponsored actors

184. Ian''s Shoelace Site

185. In the Lab – Soldering Prototypes with Enamel Magnet Wire

186. Actors: A Model of Concurrent Computation [pdf]

187. Show HN: Wikipedia as a doomscrollable social media feed

188. History and Timeline of the Proco Rat Pedal (2021)

189. Time Machine-style Backups with rsync (2018)

190. Two kinds of AI users are emerging. The gap between them is astonishing

191. From its name, to its hazy origins, to its drug interactions, there''s a lot goin

192. We (As a Society) Peaked in the 90s

193. Treasures found on HS2 route stored in secret warehouse

194. A Collection of Awesome Nostr Projects

195. Building Your Own Efficient uint128 in C

196. Troublemaker: The fierce, unruly life of Jessica Mitford

197. Show HN: NanoClaw – “Clawdbot” in 500 lines of TS with Apple container isolation

198. Defeating a 40-year-old copy protection dongle

199. My thousand dollar iPhone can''t do math

200. Kiki – The accountability monster for people who are easily distracted

201. Founding Is a Snowball

202. Iran summons families of exiled journalists to halt their activities

203. MRI scans show exercise can make the brain look younger

204. Apple''s Q4 2025 margin on Services was 76.5%

205. Good if make prior after data instead of before

206. Oregon gave homeless youth 1k/month with no strings. Here''s what happened

207. 1-Click RCE to steal your Moltbot data and keys

208. Typechecking is undecidable when ''type'' is a type (1989) [pdf]

209. ''Right-to-Compute'' Laws May Be Coming to Your State This Year

210. TIL: Apple Broke Time Machine Again on Tahoe

211. A Crisis comes to Wordle: Reusing old words

212. Efficient String Compression for Modern Database Systems

213. The philosophy behind ODF: openness, freedom and control – TDF Community Blog

214. I taught my neighbor to keep the volume down

215. Light exposure and aspects of cognitive function in everyday life

216. Towards a science of scaling agent systems: When and why agent systems work

217. Clearspace (YC W23) Is Hiring an Applied Researcher (ML)

218. Show HN: ÆTHRA – Writing Music as Code

219. NCR Tower 1632 – Computer Ads from the Past

220. Apple: Our philosophy is to provide software for our machines free (1976)

221. Aging muscle stem cells shift from rapid repair to long-term survival

222. Show HN: Voiden – an offline, Git-native API tool built around Markdown

223. Common Lisp Extension for Zed

224. Pancreatic cancer researchers'' latest breakthrough could help tumors disappear

225. Real engineering failures instead of success stories

226. English professors double down on requiring printed copies of readings

227. Jack Kerouac''s 37 metre-long, first draft scroll of On the Road to be auctioned

228. US, UK, EU, Australia and more to meet to discuss critical minerals alliance

229. Anciente map of Fairyland. Places from nursery rhymes, fairy tales etc.

230. Show HN: Zuckerman – minimalist personal AI agent that self-edits its own code

231. Adventure Game Studio: OSS software for creating adventure games

232. MicroPythonOS graphical operating system delivers Android-like user experience

233. FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap

234. How to Scale a System from 0 to 10M Users

235. Amiga Unix (Amix)

236. VisualJJ – Jujutsu in Visual Studio Code

237. Pre-Steal This Book

238. ''Unsubscribe'' and ''opt out'': A new Big Tech boycott to protest ICE

239. Reliable 25 Gigabit Ethernet via Thunderbolt

240. Netbird a German Tailscale alternative (P2P WireGuard-based overlay network)

241. What I learned building an opinionated and minimal coding agent

242. Coffee as a staining agent substitute in electron microscopy

243. The Book of PF, 4th edition

244. Sometimes Your Job Is to Stay the Hell Out of the Way

245. Drawings of the elements of CMS detector, in the style of Leonardo da Vinci

246. The history of C# and TypeScript with Anders Hejlsberg GitHub

247. Show HN: OpenJuris – AI legal research with citations from primary sources

248. I dropped my Google Pixel 9 XL Pro from 6th floor balcony to the street

249. Nonograms: a practical guide with interactive examples

250. Browser Agent Benchmark: Comparing LLM models for web automation

251. pg_tracing: Distributed Tracing for PostgreSQL

252. List animals until failure

253. Sparse File LRU Cache

254. Cells use ''bioelectricity'' to coordinate and make group decisions

255. When will CSS Grid Lanes arrive?

256. Best of Moltbook

257. EV-1 for Lease (1996)

258. U.S. life expectancy hits all-time high

259. Apple-1 Computer Prototype Board #0 sold for 2.75M

260. OpenClaw Security Assessment by ZeroLeaks [pdf]

261. Working example of a Yocto setup without unnecessary complications

262. History of the browser user-agent string (2008)

263. Opentrees.org (2024)

264. The hunt for Benchmark Modula-2 (2018)

265. Kimwolf Botnet Lurking in Corporate, Govt. Networks

266. The Spacecraft That Wouldn''t Die

267. In Praise Of –Dry-Run

268. Scientist who helped eradicate smallpox dies at age 89

269. Data Processing Benchmark Featuring Rust, Go, Swift, Zig, Julia etc.

270. Swift is a more convenient Rust

271. This Year in LLVM (2025)

272. Ferrari vs. Markets

273. For most flagged articles, nearly every cited sentence failed verification

274. Humans can post on moltbook without ANY AGENT

275. Noctia: A sleek and minimal desktop shell thoughtfully crafted for Wayland

276. Wikipedia: Sandbox

277. Outsourcing Thinking

278. Autonomous cars, drones cheerfully obey prompt injection by road sign

279. Managing Unreliable Compilers

280. CollectWise (YC F24) Is Hiring

281. Demystifying ARM SME to Optimize General Matrix Multiplications

282. The Saddest Moment (2013) [pdf]

283. Show HN: Minimal – Open-Source Community driven Hardened Container Images

284. Claude Code is your customer

285. Evolving the OCaml programming language – CSE Bytes: K C Sivaramakrishnan [video]

286. Google Cloud suspended my account for 2 years, only automated replies

287. Nintendo DS code editor and scriptable game engine

288. US has investigated claims WhatsApp chats aren''t private

289. Show HN: An extensible pub/sub messaging server for edge applications

290. Berlin: Record harvest sparks mass giveaway of free potatoes

291. Death Note: L, Anonymity and Eluding Entropy (2011)

292. Guest Post from an Iranian

293. Students using “humanizer” programs to beat accusations of cheating with AI

294. Genode OS is a tool kit for building highly secure special-purpose OS

295. Ask HN: Any real OpenClaw (Clawd Bot/Molt Bot) users? What''s your experience?

296. Bitcoin Looks Set for Longest Monthly Losing Streak Since 2018

297. A lot of the Moltbook stuff is fake

298. Mobile carriers can get your GPS location

299. Finland to end "uncontrolled human experiment" with ban on youth social media

300. Predicting how Heathrow is using it''s runways in the browser