Desarrollo software. Creador de @TheDojoMX. I’m running out of time.
CDMX, México
Joined August 2010
- Tweets40.6K
- Following5.7K
- Followers3.5K
- Likes11K
Pinned Tweet
Este bootcamp nos costó mucho trabajo prepararlo, pero @haro_ca_ y yo estamos muy orgullosos de cómo quedó.
Pueden pensarlo como un curso de diseño de sistemas centrado en la capa de datos de las aplicaciones, que normalmente son las bases de datos.
💥 ¿Te perdiste el inicio del Bootcamp de Bases de Datos Avanzado? Tenemos algo que contarte.
🔎 ¡Publicamos los primeros 27 minutos en un video no-listado! 🚀 Héctor Patricio, Tech Lead en Autómata, comparte todo lo que puedes esperar del programa.
💬 Comenta si quieres el link 👀
¡Aún puedes unirte! Dejamos abiertas las inscripciones semana más. Solo hemos cursado la sesión de inauguración (que ya puedes ver grabada) y quedan el resto de los 6 meses de sesiones sabatinas de 3 hrs.
¿Listo para sumarte? codigofacilito.com/bootcamps…
i went to bed and asked claude to paint an autumn tree overnight.
at around 4am, it realised that it didn't have some shades -- so it stopped and titrated its own paint: diluting red, sienna and madder step by step on a second palette, then measuring each pocket from a photo.
woke up to this beautiful watercolor painting. 303 brush marks, took about 4.5 hours 🍂 (still working on the speed)
hectorip retweeted
Read my lips: 2027 will be the year of AI as the partial evaluator we always wished for but could not build by hand.
People thought I was crazy when I wrote “Computing without Processors” in 2011.
I’ve long dreamed of one way to program everything that computes. You’d write a single program and compile it automatically to any mix of hardware and software, with the split shifting to fit your performance and cost targets.
That’s been hard. Hardware and software use different languages, semantic models, and abstractions. The people who build them come from different university departments with very different cultures. These divisions exist because of how humans organize themselves, and because of the limits of human brains.
AI doesn’t care about any of this turf marking. It relentlessly synthesizes hardware and software together, integrates them, and formally verifies the result, or makes it correct by construction by deriving it from a formal spec. In some cases we may not need CPUs at all: an application’s control logic gets “partially evaluated” and dissolved into the computation itself.
I’m hoping to get the last laugh, probably sometime in 2027.
dl.acm.org/doi/10.1145/19785…
hectorip retweeted
Hace 6 meses varios devs mexicanos aquí me decían que la IA solo escribía código basura.
Me parece que ya se les bajaron los humos.
Esto es más que obvio y visible ahora mismo. Era una bonita ilusión pensar que hacíamos cosas seguras. Y lo mismo va a pasar con matemáticas, las ciencias y el arte: nuestros logros se van a ver chiquitos.
hectorip retweeted
Mañana durante el #CÓDIGOFEST de @codigofacilito, @HectorIP y yo hablaremos sobre si deberíamos seguir leyendo y escribiendo código, o esa tarea debería ser totalmente de los agentes.
Cuando pasa esto te dicen: “corregí lo que me pediste, pero de paso vi que estás bien estúpido y te equivocaste en X, pero no lo toqué”.
Y yo con mi cara de payaso.
hectorip retweeted
There will never be a formal proof method that ensures a program behaviour matches what’s in your head
Nuevo video: Merito y compasion al evaluar el rendimiento del equipo #rendimiento #programación #teamwork youtube.com/watch?v=vC9lws1m… via @TheDojoMX
hectorip retweeted
“We’ve patched every single vulnerability, we don’t understand why we’re still getting breached?”
hectorip retweeted
everyone that uses more tokens than me is just shipping slop and everyone that uses fewer is ngmi
hectorip retweeted
People romanticize pre-agentic programming like spending years memorizing APIs, fighting build systems and manually gluing together libraries wasn't a soul-crushing waste of human potential.
