Hacker News: spooneybarger

New comment by spooneybarger in "Ask HN: Do you feel less happy when coding with agent?"

spooneybarger — Tue, 24 Mar 2026 23:58:00 +0000

New comment by spooneybarger in "Bombadil: Property-based testing for web UIs"

spooneybarger — Mon, 23 Mar 2026 14:57:37 +0000

An important step with property based testing and similar techniques is writing your own generators for your domain objects. I have used to it to incredible effect for many years in projects.

I work at Antithesis now so you can take that with a grain of salt, but for me, everything changed for me over a decade ago when I started applying PBT techniques broadly and widely. I have found so many bugs that I wouldn't have otherwise found until production.

New comment by spooneybarger in "Tony Hoare has died"

spooneybarger — Mon, 09 Mar 2026 23:37:56 +0000

Came through personal contact who is close to the family.

New comment by spooneybarger in "Tony Hoare has died"

spooneybarger — Mon, 09 Mar 2026 23:08:22 +0000

Yes. He died last week.

New comment by spooneybarger in "Ask HN: What Are You Working On? (March 2026)"

spooneybarger — Mon, 09 Mar 2026 04:06:20 +0000

More stuff for pony than you can shake a stick at.

Teaching Claude to Write Pony

spooneybarger — Tue, 17 Feb 2026 11:07:53 +0000

Article URL: https://www.ponylang.io/blog/2026/02/teaching-claude-to-write-pony/

Comments URL: https://news.ycombinator.com/item?id=47046132

Points: 3

# Comments: 1

New comment by spooneybarger in "Ex-GitHub CEO launches a new developer platform for AI agents"

spooneybarger — Wed, 11 Feb 2026 01:09:16 +0000

predicting that a startup will fail is.. well, you got a ton of probability on your side there. so it isn't a particularly impressive thing to be right about.

New comment by spooneybarger in "GitHub experience various partial-outages/degradations"

spooneybarger — Mon, 02 Feb 2026 23:49:14 +0000

well played sir. well played.

New comment by spooneybarger in "You can't pay me to prompt"

spooneybarger — Sat, 24 Jan 2026 13:47:17 +0000

Well played sir. Well played

New comment by spooneybarger in "You can't pay me to prompt"

spooneybarger — Sat, 24 Jan 2026 13:45:57 +0000

That's an exceedingly unkind summation of the piece in question.

New comment by spooneybarger in "Ask HN: Will AI kill open-source software?"

spooneybarger — Fri, 23 Jan 2026 15:33:04 +0000

The Microsoft-OpenAI Files

spooneybarger — Thu, 22 Jan 2026 23:57:06 +0000

Article URL: https://www.geekwire.com/2026/the-microsoft-openai-files-internal-documents-reveal-the-realities-of-ais-defining-alliance/

Comments URL: https://news.ycombinator.com/item?id=46726686

Points: 4

# Comments: 0

New comment by spooneybarger in "[dead]"

spooneybarger — Wed, 14 Jan 2026 22:58:09 +0000

working fine for me.

New comment by spooneybarger in "I dumped Windows 11 for Linux, and you should too"

spooneybarger — Sun, 11 Jan 2026 18:52:07 +0000

Well played sir. Well played

New comment by spooneybarger in "Httpz – Zero-Allocation HTTP/1.1 Parser for OxCaml"

spooneybarger — Sat, 10 Jan 2026 22:42:35 +0000

The OxCaml work is great. I don't use OCaml much but I have been following along with OxCaml as they are doing fascinating work that leverages a lot of research that interests me.

New comment by spooneybarger in "Httpz – Zero-Allocation HTTP/1.1 Parser for OxCaml"

spooneybarger — Sat, 10 Jan 2026 22:38:49 +0000

As a general rule, not all system calls are thread safe.

New comment by spooneybarger in "500k tech workers have been laid off since ChatGPT was released"

spooneybarger — Tue, 06 Jan 2026 22:01:35 +0000

500k tech workers have been laid off since accounting for expenses under Section 174 changed on January 1, 2022.

New comment by spooneybarger in "I canceled my book deal"

spooneybarger — Wed, 31 Dec 2025 19:14:56 +0000

This sounds like my experience with a "major" technical publisher except we managed to get to the end.

I'd say that almost no one should work with the major technical publishers more than once. There's some good basic skills you learn but otherwise, they contribute very little that you couldn't get done on your own.

New comment by spooneybarger in "Tell HN: HN was down"

spooneybarger — Wed, 17 Dec 2025 16:49:18 +0000

Yes

New comment by spooneybarger in "GraphQL: The enterprise honeymoon is over"

spooneybarger — Sun, 14 Dec 2025 22:05:36 +0000

There are a lot of public facing graphql servers that use it without issue other than frustrating users of non adversarial but complex requirements. The problem is that it is generally on a per request basis.

An adversary is going to utilize more than a single query. It mostly protects against well intentioned folks.

Other forms of protection such as rate limiting are needed for threat models that involve an adversary.

The same problems exist with REST but there it is easier as you can know query complexity ahead of time at end points. GraphQL has to have something to account for the unknown query complexity, thus the additional heuristics.