https://alpibru.com/blog Essays and notes on agent-native tooling, typed effects, and building a software company with agentic AI. en https://alpibru.com/blog/the-contract-enforced-twice https://alpibru.com/blog/the-contract-enforced-twice Sat, 01 Aug 2026 09:00:00 GMT alfonso@alpibru.com (Alfonso Sastre) A type checker only watches code written in its own language. lex-os assumes nobody is watching at all — so the same trust grant is enforced twice: once by the compiler, once by a kernel-level wall that doesn't care what produced the command. https://alpibru.com/blog/the-contract-your-agent-signs https://alpibru.com/blog/the-contract-your-agent-signs Wed, 29 Jul 2026 09:00:00 GMT alfonso@alpibru.com (Alfonso Sastre) Every agent that executes code is implicitly trusted with everything that code can reach. Lex makes that trust explicit — declared upfront, checked before execution, refused if it exceeds the grant. https://alpibru.com/blog/one-founder-thirty-experiments https://alpibru.com/blog/one-founder-thirty-experiments Sat, 25 Jul 2026 09:00:00 GMT alfonso@alpibru.com (Alfonso Sastre) Trial and error in public, at a pace that wasn't possible before. Focus was the price of expensive engineering — agentic development lets us spread the bets, run ideas almost in parallel, and let the evidence decide where the focus goes. https://alpibru.com/manifesto https://alpibru.com/manifesto Mon, 25 May 2026 09:00:00 GMT alfonso@alpibru.com (Alfonso Sastre) A case for tools designed for AI, not adapted from humans. The founding essay behind Lex: replace comprehension with verification, human-readable artifacts with machine-checkable specifications.