poteto@poteto

En esta charla de @yminsky hay muchísimas joyas y tips buenísimos sobre cómo mejorar tu código para los agentes • los agentes prosperan con feedback, y los tipos son uno de los mejores • hacé que los estados ilegales no se puedan representar con tipos, y eso impone reglas globales en todo el código • tests basados en propiedades, fuzzing, y hasta pruebas de simulación determinista de todo el sistema • tests de expect: simplemente imprimí cosas y capturalas en el test. hace que el comportamiento sea legible. es muy parecido a cómo los compiladores tienen tests de fixtures, reduce la superficie de revisión • los métodos formales antes eran carísimos: seL4 son unas 8,700 líneas de C y llevó unos 25 años-persona, con 23 líneas de prueba por cada línea de C, pero los agentes cambian el ROI

so many gems and great tips in this talk from @yminsky about how to improve your codebase for agents • agents thrive on feedback, and types are one of the best kinds • make illegal states unrepresentable with types, and it enforces global rules across your codebase • property based tests, fuzzing, and even full-system deterministic simulation testing • expect tests: just print stuff out and capture it in the test. makes behavior legible. it's very similar to how compilers have fixture tests, it reduces the review surface area • formal methods used to be very expensive: seL4 is about 8,700 lines of C and took around 25 person-years, with 23 lines of proof for every line of C code, but agents change the roi https://www.youtube.com/watch?v=rUYP4C29yCw