Hacker News: spooneybarger

New comment by spooneybarger in "Codex for open source"

spooneybarger — Sat, 13 Jun 2026 21:21:34 +0000

Same. But I got one from Anthropic.

New comment by spooneybarger in "Alpine Linux 3.24.0 Released"

spooneybarger — Tue, 09 Jun 2026 21:54:39 +0000

It was never alpine.

New comment by spooneybarger in "Building Pi with Pi"

spooneybarger — Mon, 25 May 2026 09:00:00 +0000

https://news.ycombinator.com/item?id=48263889

New comment by spooneybarger in "“Too dangerous to release” or just too expensive?"

spooneybarger — Fri, 15 May 2026 15:34:37 +0000

Because the only thing keeping those vulnerabilities in existence was laziness.

My Agent Management Software

spooneybarger — Thu, 30 Apr 2026 13:11:29 +0000

Article URL: https://tybug.dev/plait/

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

Points: 4

# Comments: 0

Lean Squad: Exploring Automated Software Verification W Near-Zero Human Labour

spooneybarger — Mon, 20 Apr 2026 22:01:46 +0000

Article URL: https://dsyme.net/2026/04/20/lean-squad-automated-software-verification-with-near-zero-human-labour/

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

Points: 1

# Comments: 0

Misconfiguring Infinity Fabric to Break AMD SEV-SNP

spooneybarger — Tue, 14 Apr 2026 18:45:41 +0000

Article URL: https://fabricked-attack.github.io/

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

Points: 1

# Comments: 0

New comment by spooneybarger in "Cirrus Labs to join OpenAI"

spooneybarger — Sat, 11 Apr 2026 15:04:25 +0000

Cirrus gave a ton of support for years to open source projects. I congratulate them on cashing out. Running a business like Cirrus did is always a hard road and I will never fault folks who gave time and resources on their platform away for taking the money.

I wish Fedor and everyone at Cirrus the best of luck and OpenAI and thank them immensely for the years of free CI they gave to us in the Pony programming language despite it not having any marketing value to them.

New comment by spooneybarger in "Top laptops to use with FreeBSD"

spooneybarger — Thu, 09 Apr 2026 13:09:15 +0000

That's a very small list.

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