Predictable Machines
46 posts
Predictable Machines
@AIPredictable
We create products that ensure information and automation are trustworthy, accountable, and reliable. Building @predictablecode
Seattle / Cádiz Katılım Şubat 2025
6 Takip Edilen104 Takipçiler
Hoy toca presumir: Hace tres años, mi hija mayor ganó el campeonato gallego de debate escolar. La semana pasada, el nacional de matemática aplicada y computacional. Y eso no es lo mejor que tiene.
No podría estar más orgulloso.
Español
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 ❤️
Jorge Galindo@Jorge__Galindo
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 ❤️
English
@PredictableCode That's how Predictable Code keeps AI-generated code aligned with what you actually specified. No surprises, no quiet deviations.
Full case study with the complete recording here:
predictablemachines.com/blog/java-pred…
English
@PredictableCode For every deviation between code and spec, three options:
→ Fix the code (scoped prompt, can't break other contracts)
→ Update the spec (if your intent was different)
→ Remove the spec (if it no longer applies)
GIF
English
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/java-pred…
English
We'll be at @seattlefloworg Startup Day 2026 on May 15th, demoing @PredictableCode at the Startup Fair.
Come see what it looks like to formally verify AI-generated code. Not "passes review," actually proven correct. 👌
Tickets 👉 seattleflow.org/startupday
English
Predictable Machines retweetledi
The last article of the #AICodePainPoints series is done! (For now, because every improvement in this field brings new issues with it.)
This time, it's about what happens when a developer clicks Merge on AI-generated code reviewed by another AI. What are they actually approving? And in regulated industries, who carries the weight when something breaks?
The accountability didn't disappear. It just concentrated in one click.
Predictable Machines@AIPredictable
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.
English
The final piece of our #AICodePainPoints series is up: the merge button and the weight it carries.
predictablemachines.com/blog/the-merge…
English
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.
English
Predictable Machines retweetledi
Uno de los amigos que ayer hizo demo fue @Jorge__Galindo con su @AIPredictable .
Está escribiendo unos blogposts majos sobre cómo su bicho ayuda a solventar los pain points habituales de programar con IA, pero en su caso con clientes corporate para cosas serias (no el vibecodeo de pachanga que flexeamos por aquí).
Echadle un ojo, que merece la pena aprender sobre el curro que tiene el garantizar que tienes unas specs capaces de superar auditorías corporate, y no un markdown slopeado de esos...
predictablemachines.com/blog/series/ai…
Diego Mariño@diegomarino
no me puedo juntar con mis panas... tras el anuncio del ficha estrella, he visto 3 demos de productos que están lanzando/haciendo con IA... y yo ahora a enviar IRLs para comerme varias duedils antes de verano 😭 joder qué descolgado me estoy quedando de la vida...
Español
Predictable Machines retweetledi
If you are curious about knowing the different pain points we see in the ai generated code, and how we think we can help, this series of articles could be interesting to you 😊
Predictable Machines@AIPredictable
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.
English
Documentation stopped being just for the team. It's now the context for every line of code your AI is about to write.
Third piece of our pain points series: predictablemachines.com/blog/when-your…
English
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.
English
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/the-code-…
English
Predictable Machines retweetledi
Software engineers, PMs, designers, and CS / ML / MBA students: We're doing a Startup Fair @ Startup Day 2026.
Builders from @getclarify @yoodli @ItsClearlyAI @AIPredictable and more will talk product, tech, and their roles. No recruiters.
May 15. Free.
English
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/every-ses…
English
Predictable Machines retweetledi
Boring code meets exciting new tech 😮
Predictable Machines@AIPredictable
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/announcin…
English