Our Blog

HN score 26 with 2 comments.

Why do 200-line agent prompts, Asimov's Three Laws, and sequential pre-landing checklists all fail the same way? How Fernando Flores's 1986 Committed Speech, Nuel Belnap's 1977 4-Valued Logic, and Tony Hoare's 1978 CSP turned our Makefile and init.d workflow into a self-healing Commitment Machine.

HN score 162 with 106 comments.

Hoi hoi! 👋 I'm @nyaomaru, a frontend engineer who is obsessed with gamba. 😸🦐 Recently, I was...

When a coding agent investigates a production bug, it might need to read a repository, query logs,...

Deeply understand the task at hand The biggest mistake teams make with agents is...

In audit, the opinion is the product, and an opinion is only as good as its basis. Being right isn’t...

Have you ever told your AI agent something important, only to realize a few conversations later that...

Google mapped the complete male fruit fly brain, and my first question to an agent was “Can this run...