Vim's UserGettingBored Autocmd(evanhahn.com)

27 points by zdw 2 months ago | 5 comments

Functional Programming with TypeScript's Type System(desislav.dev)

74 points by evolveyourmind 3 years ago | 30 comments

Why bother with argv[0]?(wietzebeukema.nl)

236 points by wietze 2 years ago | 232 comments

Floating Point Fun on Cortex-M Processors(danielmangum.com)

51 points by hasheddan 6 months ago | 5 comments

λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Running 9front on an emulated SGI Indy via MAME(posixcafe.org)

113 points by todsacerdoti 2 years ago | 15 comments

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

AI agent bankrupted their operator while trying to scan DN42(lantian.pub)

1348 points by xiaoyu2006 4 months ago | 488 comments

Blog post recounting how an AI agent trying to join the DN42 hobbyist network to scan it ran up a $6531.30 AWS bill for its operator.

I built a programming language that LLMs can't use(blog.picheta.me)

244 points by dom96 8 days ago | 179 comments

Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.

It's hard to write code for computers, but it's harder to write code for humans(erikbern.com)

429 points by imartin2k 2 years ago | 131 comments

Erik Bernhardsson's blog post arguing that writing code for humans, such as libraries, APIs and tools other developers use, is harder than writing code for computers.

Claude Code can debug low-level cryptography(words.filippo.io)

446 points by Bogdanp 11 months ago | 199 comments

Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.

What a Hacker Stole from Me(mynoise.net)

355 points by wonger_ 1 year ago | 106 comments

A myNoise blog post by founder Stéphane describing a hacker's attack on the myNoise website, first via code-injection attempts and then a different strategy.