Marco D'Agostini @madacol.com · 24/03/2026This is codex, I just asked him to find the root cause of a health issue by only asking yes/no questions. And now I don't know how to continue 🤦♂️ 000
Marco D'Agostini @madacol.com · 09/03/2026I am still wrapping my head around the fact that I am developing software inside a mainstream chat app 010
Marco D'Agostini @madacol.com · 05/09/2025This is a cool thing one can do in lean the def part is the function definition and the theorem is the proof that age + current year = birthyear As soon as the function's behavior was changed (a +1 was added), the proof now shows an error 110
Marco D'Agostini @madacol.com · 02/09/2025It seems there's a problem with those {@use undefined}. That's in the GitHub 100
Marco D'Agostini @madacol.com · 05/02/2025I am very puzzled now. Html loads, but the js script and css script downloads partially (see image) I am connecting from europe, Ubuntu, firefox / chromium / android, incognito window. Even if I activate a VPN from latin america, same thing 110
Marco D'Agostini @madacol.com · 30/01/2025I'm trying to do an interactive post in markdown where I have blocks of code followed by a canvas element where that simulation runs. And I found a clever trick to make it all work by just adding a short `<script>` element at then end of the markdown file 010
Marco D'Agostini @madacol.com · 11/01/2025> no se gana nada con tener la razón Estamos tan desconectados con la razón (la de verdad) que para poder avanzar políticamente tenemos q decir barbaries irracionales como esas para convencernos de hacer lo racionalmente correcto 010
Marco D'Agostini @madacol.com · 23/11/2024A local web music player for myself with weighted shuffle weight = 2 ^ score 030