30 años en Desarrollo de Software. Previamente: Sr VP of Engineering, Management y Liderazgo, ahora: metido hasta los codos en echar código con IA Generativa.
Found multiple real bugs in #AshFramework from this, and one of my monolithic applications went from 2 minutes full compile to 1 minute. This is a huge win for our CI pipelines, our agentic flows, and our developer productivity. Every time they release a new #ElixirLang version, we get:
- zero or effectively zero churn/breakages of import
- faster builds
- more correct programs
#ElixirLang ride or die.
Si ustedes alguna vez estudiaron paradigmas de Lenguajes de Programación, este blog post sobre el milestone de Elixir 1.2 con la implementación del "Sistema Gradual de Tipos" les va a ea encantar.
Este sistema que implementaron permite realizar inferencia de tipos y gradualmente verificarlos en programas Elixir (ya existentes) sin introducir anotaciones de tipos, es decir que como desarrolladores no hay que hacer nada para obtener estos beneficios; y además en el proceso hicieron la compilación (especialmente de proyectos grandes) mucho más rápida.
Yo no pretendo entender toda la teoría alrededor de este desarrollo, pero he disfrutado mucho seguir el proceso a través del que la agregaron este hardening al lenguaje de una forma tan elegante.
Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.
Playing around with a Kent Beck-inspired prompt today:
Before implementation, look for opportunities to prefactor the code to make the implementation easier. "Make the change easy, then make the easy change."
Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.
We just launched Sites into Codex!
Software creation was always about more than writing code. Sites in Codex fundamentally gives the power of end-to-end software creation to every user, no matter their technical fluency.
These Sites are fully deployed to a URL, private to workspaces, come with authentication, can have static files, and can store dynamic data in databases.
It is in preview for business and enterprise teams and will be rolling out to all workspaces over the next day. Give it a try by typing @ Sites into Codex and ask it to build anything!
This project took a massive amount of effort across hundreds of people at OpenAI - proud that we were able to get this out and excited to see what you all build with it!
La educación y la IA... ¿Qué va a pasar?
https://t.co/gMq6AEzQmT
Nos trajimos 3 cracks que están metidos de cabeza en las universidades a hablar de esto.
Fun fact sobre "el porcas", el guanabí del modelo de Balenciaga de @fmontes aquí, es el mismo Mike Tyson con presbicia de los thumbs. Pero no es un flop de IA Generativa , sino que la foto de referencia que él escogió es tal cual 🤷♂️
Como TODOS los lunes, en un par de horas @fmontes y yo tendremos otra discusión sobre el impacto de la Inteligencia Artificial en el Desarrollo de Software y hoy tenemos un panel de profesores universitarios para que nos cuenten qué está pasando en las aulas de clase.
The Moon last night, captured with my 12" telescope. That blue color you see? Real, but nothing to do with the "blue moon"
There is color visible on the moon year round- and it can be captured in photos fairly easily, just by increasing the saturation, as I've done here
Acompáñennos en vivo aquí en X, en YouTube en nuestro canal "O Corres O Te Encaramas, o si quieren la experiencia más mediocre en streaming... en LinkedIn donde también salimos en vivo 6 PM 🇲🇽 🇨🇷 7 PM 🇨🇴 🇵🇪 8 PM 🇨🇱🇻🇪 9 PM 🇦🇷
Como TODOS los lunes, en un par de horas @fmontes y yo tendremos otra discusión sobre el impacto de la Inteligencia Artificial en el Desarrollo de Software y hoy tenemos un panel de profesores universitarios para que nos cuenten qué está pasando en las aulas de clase.
Toyota lean manufacturing has an idea called "genchi genbutsu", essentially meaning managers should "go see the real thing at the real place" in a factory instead of sitting in an office hearing secondhand descriptions. AI coding suddenly makes this practical for software.
¿Se acuerdan de la base de datos de empresas que contratan en Venezuela?
Ya tenemos dominio propio! https://t.co/ap9oz0F44J!
Hoy agregamos https://t.co/ED9IW4mXEZ como empresa que sí contrata en Venezuela.