Predictable Machines @AIPredictable
We create products that ensure information and automation are trustworthy, accountable, and reliable. Building @predictablecode predictablemachines.com Seattle / Cádiz Joined February 2025-
Tweets46
-
Followers108
-
Following7
-
Likes27
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 ❤️
@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…
@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)
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…
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
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.
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.
The final piece of our #AICodePainPoints series is up: the merge button and the weight it carries. predictablemachines.com/blog/the-merge…
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.
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…
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...
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 😊
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.
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…
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.
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-…
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.
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…
Boring code meets exciting new tech 😮
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…
cammy no signal @HarveyOrin
13 Followers 2K Following whispers, wishes, and wifi 🌬️ follow back always
Seth Rosen @sethrosen
12K Followers 3K Following mostly jokes building https://t.co/FvdT3ixP51 prev: cofounder TopCoat (acq by Snyk) papers: https://t.co/hiYrPiynVW https://t.co/Kib1L0usPH
Enrique Borrajeros @eborrajeros
3K Followers 4K Following De Albacete, pero Madrid, pero Sevilla. sMILe. Socio en Abante. “Bello es el riesgo de creernos inmortales, de vivir en tensión hacia lo excelso” (MD).
Kevin Moulton @kevin_moulton
1K Followers 3K Following Identity Security @ ServiceNow, Veza, Dad, Musician, Golfer, Distinguished Toastmaster, Raconteur, 2014-2016, 2021 D83 Speaking Champion. Opinions are my own.
Fix JuanPabloF -- �... @lambdase
339 Followers 760 Following Tweets about functions and types. Likes programming languages and abstract algebra. Likes aren’t endorsements. He/him
Matthieu Bizien @Matthieu_Bizien
96 Followers 444 Following I build AI systems and never wrote about any of it. Cofounded a gen-AI startup, built training infra for frontier labs. Now in Paris, finally writing about it.
｢El Pako｣ @pacoworks
3K Followers 3K Following Three idiots in a trench coat. Mistake-driven learning. Mostly fancy types, gamedev and other computer science. Emeritus @arrow_kt
Ruben @rresino
198 Followers 923 Following Passionate about #Java & #Kotlin programming! 💻 DevOps enthusiast with a love for all things tech. Let's code, automate, and innovate together! #TechEnthusiast
Pedro Marín Ramos @pmarinr
438 Followers 1K Following Jefe de proyectos en el equipo de XR de la Fundación I+D del Software Libre.
Ricardo Buera @ricardo_buera
5 Followers 2K Following
. @IntuitSphere
59 Followers 2K Following
Ronny López @ronnylt
889 Followers 1K Following Eventually opinionated. Opinions are my own, but I change them very often.
Oscar Gallego @osgalgar
317 Followers 2K Following
Luis Herrera @lherrera
1K Followers 6K Following No plan survives first contact with the reality. Opinions are my own and not the views of my employer. RTs ≠ endorsements
Óscar Saboya @oscarsaboy
748 Followers 5K Following Product Manager & AI Product Maker • PM @ Citibox
Miguel E. Gil Biraud @mgilbir
877 Followers 3K Following Software developer, telecommunication engineer, space geek, geo enthousiast and public speaker
Pablo R. (Root Rat) @root_rat
17K Followers 3K Following IT nerd 🖥️. Ex 🔱. Gracias a Twitter, ahora tengo un pódcast.
Klo_47 @klo_47
9 Followers 4K Following
Marcus Barnes @MarcusBarnes
1K Followers 6K Following PhD Researcher | LLM4SE & multi-agent AI systems | LLMs for mathematics & autoformalization | Open to research collaborations, industry roles & consulting
Sade Brugal @BrugalSade
2 Followers 3 Following
Toley @Toley381912
0 Followers 50 Following
Nikos Karayannidis @dbfunctor
75 Followers 634 Following Senior Data Zookeeper | Data Engineering Lead@Chubb | Working on the formal verification of data pipelines - Views are my own
Mariano Bertoni @mariano_bertoni
172 Followers 5K Following
Esteban Marin @Esteban08240516
284 Followers 996 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
Tudor Luca @tudorluca_com
219 Followers 1K Following Co-founder & CTO of @ShiftStudio_com, I like pretty code.
Yannick Caillé @ycaille_
427 Followers 7K Following
karlos g liberal @patxangas
2K Followers 871 Following Responsable de Bikolabs Estudio la complejidad de personas y tecnología y busco la luna de Anarres Podcast @estamosenorion Mastodon:@[email protected]
Harry @harrylaou
525 Followers 528 Following Software Engineer. (Mostly Scala, Functional Programming, Typescript... ) Bluesky: @harrylaou.bsky.social
Víctor Carrillo-Redo... @victorcrrd
26 Followers 152 Following Scala Software Engineer @XebiaFunctional
Nerea Luis 👩🏻�... @sailormerqury
23K Followers 4K Following 📬 [email protected] 🧠 Experta en Inteligencia Artificial 💡Cofundadora de @wearelumilabs · Consultoría · Formación · Speaker 🤖 Tecnología en @orbitalaika_tve
Flavio @FlavioCorpa
2K Followers 260 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Tom English @SuperbBias
69 Followers 247 Following Pride in stage 4: Stacked generalization scheme for time series prediction, based on diverse ensembles of recurrent neural nets obtained by evolution strategy.
Alex J Best @AlexJBest
590 Followers 3K Following Researcher in maths+formal methods+ml. Working on using formal verification to train models for reliable mathematics, software, and reasoning @harmonicmath
λ-llama @l_llama_fdr
7 Followers 1K Following
Yoichi Hirai @pirapira
3K Followers 1K Following interested in computation and some logics. https://t.co/V3hvWhmV8T
{...} Phil de Joux @philderbeast
254 Followers 1K Following Linking moves, deferring to the compilers
tobi lutke @tobi
475K Followers 2K Following Shopify CEO by day, Dad in evening, hacker at night, Aspiring comprehensivist. + qmd !
Lean @leanprover
11K Followers 50 Following Lean is a dependently-typed programming language and theorem prover.
Martin Tobias (Pre-Se... @MartinGTobias
58K Followers 10K Following Entrepreneur, Investor, girldad, cyclist, surfer, poker player. Pre-seed up to $500K. Chat with me https://t.co/96wsMImeiy. Get $$ https://t.co/d7utyst2XW
Lambda World @Lambda_World
4K Followers 272 Following An international conference for Functional Programming enthusiasts. October 29-30, 2026 - Palacio de Congresos de Torremolinos, Málaga, Spain.
Upscale Conf @upscaleconf
3K Followers 383 Following Events connecting creatives, technologists and innovators across the world. Created by @magnific #upscaleconf
Jorge Galindo @Jorge__Galindo
5K Followers 1K Following Building @AIpredictable , helping with @HamiltonCoding, rocking with @onerecordclub, and stopping by @lailustrebar 🤘 Lately, I've been talking about AI a lot.
Raúl Raja @raulraja
5K Followers 2K Following Interested in AI, Functional Programming & Formal verification. CTO @AIPredictableYou might like
