We create products that ensure information and automation are trustworthy, accountable, and reliable. Building @predictablecode
Seattle / Cádiz
- Tweets 51
- Following 8
- Followers 118
- Likes 30
Your compiler trusts you. It shouldn't.
C# compiles a recursive loop that will slowly shove your database off a cliff. No warnings, no errors.
Lean refuses to compile the exact same logic until you prove it terminates. 🧵
1
2
4
245
We are at @seattlefloworg sharing what we’re building at @AIPredictable.
We'll be at the Startup Fair. Live demos of @predictablecode, great conversations, and a lot more coming soon ❤️
Back at Bell Harbor, but this time with a very different perspective.
We’re here at @seattlefloworg representing @AIPredictable and sharing a live demo of @predictablecode ❤️
2
187
The one question I keep coming back to with AI-generated code: does it actually do what I specified?
Our first @PredictableCode case study answers that end-to-end on a real Java codebase, with a full recording of the workflow.
predictablemachines.com/blog…
1
2
3
1,016
AI writes the code.
AI reviews the code.
A developer clicks "merge" in under 10 minutes.
In that single click, all the legal and regulatory liability concentrates in one human, for code they didn't write and couldn't fully read.
1
1
3
482
Every team has a doc that's quietly become a lie.
The README wasn't updated when the API changed. The Notion page from six months ago.
We used to shrug at it. Then we started pasting it into Claude as context for the next feature.
1
2
2
619
Code that runs, compiles, passes tests, and still isn't doing what you asked.
Same requirement, three AI sessions, three incompatible implementations.
The second piece of our pain points series is up.
predictablemachines.com/blog…
2
5
374
Ten developers, ten AI sessions, ten slightly different ideas of what the codebase is supposed to do.
First of a short series on the pain points we're solving with Predictable Code.
predictablemachines.com/blog…
1
3
686
We just open-sourced lean4-json-schema: derive JSON Schema from Lean 4 types, with a compile-time proof that serialization always validates against it.
No more trusting. The compiler checks it. 🧵
predictablemachines.com/blog…
1
3
1,326
We just open-sourced lean4-markdown: generate Markdown from Lean 4 with a typed AST instead of string templates.
First of several libraries we're publishing as we build Predictable Code ❤️
predictablemachines.com/blog… @leanprover #OpenSource
1
6
475
Fran from our team published something I have wanted us to write for a while.
Not a post about AI being good or bad at code review, but about what kind of correctness claim you are actually making when you say "the tests pass" versus "this has been formally verified."
1
4
709
What makes a verification system trustworthy?
As AI accelerates software creation, trust becomes the real bottleneck.
More on how we think about building transparent verification ↓
predictablemachines.com/blog…
1
5
115
Predictable Machines is officially headquartered in Seattle's Ballard neighbourhood.
Two offices, two coasts, one mission: AI that industry can actually trust.
Stop by to say hi at any of our offices in Cádiz or Seattle!
3
244
AI-generated code moves fast, but consistency is the real challenge.
We work at the intersection of software and mathematics, using @leanprover to formally verify that AI-generated code stays aligned with project requirements.
Why we chose Lean: predictablemachines.com/blog…
4
17
1,683
AI assistants like Claude Code, Cursor, and Copilot write more code every day.
The real problem isn’t generation. It’s drift.
Code that looks right but slowly moves away from intent and rules.
Why this matters (and what we’re building to fix it) 👇
predictablemachines.com/blog…
1
6
1,306
Today, the Cádiz office is full of life, good food, and great conversations.
But what really matters is being surrounded by people aligned with what we’re building at Predictable Machines.
We’ll do amazing things together ❤️
1
2
11
1,511
Here, you can see our very own @raulraja explaining one of the products we are working on and validating the product-market fit of Predictable Code.
Lack of predictability in AI-generated code is definitely a pain
1
7
1,009
And @Lambda_World folks, if you wanna know more about our tools in the field of Predictable AI, come by our booth! We’re excited to meet you.
BTW, we’re hiring kind and smart people! 🚀
2
10
525
Hey @Lambda_World attendees! We have some Predictable Chicharrones (de Chiclana) waiting for you at the lunch area!
1
1
9
276
Proud sponsors with @AIPredictable ❤️
5
132
🚀 We’re proud to support @Lambda_World in Cádiz as Platinum Sponsor!
At Predictable Machines, we’re building the future of verifiable & reliable AI, and we’re hiring.
If you’re curious about what we’ve got in the oven 🔥, come talk to us at Lambda World!
1
5
1,679