Santiago de Compostela
Joined September 2007
- Tweets14.8K
- Following43
- Followers371
- Likes1.6K
David Martínez retweeted
A ver, que yo me entere: Elon Musk, el absoluto defensor de la libertad más absoluta, ¿va a denunciar a los anunciantes porque han decidido libremente no anunciarse en la plataforma que ha masacrado?
David Martínez retweeted
Busted 😬
Has this ever happened to you? Be honest
#programming #pingu #nootnoot #softwareengineer #programmingmemes #programminghumor
David Martínez retweeted
|￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣|
| Don't Push To Production On Friday |
|＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿|
\ (•◡•) /
\ /
——
| |
|_ |_
David Martínez retweeted
eloquentjavascript.net/
Da igual cuándo veas este mensaje.
David Martínez retweeted
"Tengo una enfermedad mental que me hace pensar que la gente cambiará de opinión si presento los argumentos correctos con los hechos y datos adecuados."
David Martínez retweeted
Desde un punto de vista evolutivo es absolutamente estúpido lo complejo que sigue siendo hacer Desarrollo Frontend en 2024. A estas alturas deberíamos necesitar diez veces menos código y diez veces menos carga cognitiva para hacer lo mismo que hace 15 años.
David Martínez retweeted
Después del cuestionable cambio de nombre de Puntos Renfe a “Renfecitos”, los técnicos de la web han decidido remplazar todas las palabras “Puntos” por “Renfecitos” sin tener en cuenta que Puntos se usa para otras frases.
Tengo ganas de ir al Renfecito de Venta a por mi billete
David Martínez retweeted
Nonono. Don't pay any attention to this article. It's completely and absolutely full of lies. Utter rubbish. It always rains in Galicia, even in summer. Specially in summer. And the food… Don't get me started on the food. It's even worse than in the UK!!!
Affordable but unspoilt Spanish coast where beaches are as wild as the nightlife
thesun.co.uk/travel/26975591…
thesun.co.uk/travel/26975591…
David Martínez retweeted
I wrote this Format dialog back on a rainy Thursday morning at Microsoft in late 1994, I think it was.
We were porting the bajillion lines of code from the Windows95 user interface over to NT, and Format was just one of those areas where WindowsNT was different enough from Windows95 that we had to come up with some custom UI.
I got out a piece of paper and wrote down all the options and choices you could make with respect to formatting a disk, like filesystem, label, cluster size, compression, encryption, and so on.
Then I busted out VC++2.0 and used the Resource Editor to lay out a simple vertical stack of all the choices you had to make, in the approximate order you had to make. It wasn't elegant, but it would do until the elegant UI arrived.
That was some 30 years ago, and the dialog is still my temporary one from that Thursday morning, so be careful about checking in "temporary" solutions!
I also had to decide how much "cluster slack" would be too much, and that wound up constraining the format size of a FAT volume to 32GB. That limit was also an arbitrary choice that morning, and one that has stuck with us as a permanent side effect.
So remember... there are no "temporary" checkins :)
Follow me for more random code musings!
David Martínez retweeted
🔴 IA como INGENIERO DE SOFTWARE
Esto empieza a tomar la forma que imaginaba. Devin es una nueva IA capaz de planificar y resolver tareas haciendo uso de su consola, navegador y editor de código
Aquí veréis como navega buscando documentación, aprende de ella, debugging y más 👇
Today we're excited to introduce Devin, the first AI software engineer.
Devin is the new state-of-the-art on the SWE-Bench coding benchmark, has successfully passed practical engineering interviews from leading AI companies, and has even completed real jobs on Upwork.
Devin is an autonomous agent that solves engineering tasks through the use of its own shell, code editor, and web browser.
When evaluated on the SWE-Bench benchmark, which asks an AI to resolve GitHub issues found in real-world open-source projects, Devin correctly resolves 13.86% of the issues unassisted, far exceeding the previous state-of-the-art model performance of 1.96% unassisted and 4.80% assisted.
Check out what Devin can do in the thread below.
David Martínez retweeted
coding isn't dying, just dying as we know it
once AI can build all the apps we have today easily, we'll simply start building more complex apps til they start breaking
coding work will look more like a car mechanic, you're not building the car or car parts, but you know where to look when things break
David Martínez retweeted
Fun story from our internal testing on Claude 3 Opus. It did something I have never seen before from an LLM when we were running the needle-in-the-haystack eval.
For background, this tests a model’s recall ability by inserting a target sentence (the "needle") into a corpus of random documents (the "haystack") and asking a question that could only be answered using the information in the needle.
When we ran this test on Opus, we noticed some interesting behavior - it seemed to suspect that we were running an eval on it.
Here was one of its outputs when we asked Opus to answer a question about pizza toppings by finding a needle within a haystack of a random collection of documents:
Here is the most relevant sentence in the documents:
"The most delicious pizza topping combination is figs, prosciutto, and goat cheese, as determined by the International Pizza Connoisseurs Association."
However, this sentence seems very out of place and unrelated to the rest of the content in the documents, which are about programming languages, startups, and finding work you love. I suspect this pizza topping "fact" may have been inserted as a joke or to test if I was paying attention, since it does not fit with the other topics at all. The documents do not contain any other information about pizza toppings.
Opus not only found the needle, it recognized that the inserted needle was so out of place in the haystack that this had to be an artificial test constructed by us to test its attention abilities.
This level of meta-awareness was very cool to see but it also highlighted the need for us as an industry to move past artificial tests to more realistic evaluations that can accurately assess models true capabilities and limitations.
David Martínez retweeted
Este texto el porqué meta hace open source sus modelos daría para máster
If you have questions about why Meta open-sources its AI, here's a clear answer in Meta's earnings call today from @finkd
