Luis

EE & CS. Engineering monk

[Aleph @alephneuro]

We recently obtained the highest-resolution 3D images of the human brain ever taken from outside the skull. This is the first look.

Introducing Aleph, a research lab building brain interfaces for the telepathic future. (1/n)

[Luis @LuisFDaz1]

@DanielBlancoSWE La propia existencia de sindicatos asume una (falsa) división por clases: los empresarios (los malos) y los obreros (los buenos). Cuando reduces la realidad de forma tan maniqueísta terminas montando una guerra que jode a todos.
Fuente: Véase Venezuela, Argentina y pronto España.

[Mathieu @miniapeur]

"I don't have any magical ability. I am just a giga chad."

— Terence Tao

[Luis @LuisFDaz1]

@gatitag4nst3r @xao_oxa @camilal94971493 Porque el hombre es capaz de amar a una mujer aunque no le guste al 100%. Se busca fidelidad, que no rompa las pelotas, que sea buena madre, que esté en las buenas y en las malas...

[Luis @LuisFDaz1]

@pauuumartinezz Mi caso, pero resultó que era tdah.

[Luis @LuisFDaz1]

@Oscar_Teix El ateísmo es más alto en la población autista, ahí qué procede?

[Luis @LuisFDaz1]

@haterdeplotino Luego la "filosofía basada en la ciencia" no funciona así? En el "por lo tanto" va tu justificación. Asking for a friend who is just an engineer (me).

[Luis @LuisFDaz1]

@bitforth La gente ignora que nuestro cerebro de simio no está hecho para codear; tenemos una limitada memoria de trabajo entre otras cosas. Que la IA eventualmente lo haga mejor que un humano es justo lo que se espera (no así en literatura, el arte, etc).

[Luis @LuisFDaz1]

@__Fiamy No le pido menos a la vida

[Luis @LuisFDaz1]

@mike_mates Lo tenía como ídolo hasta que le escuché decir que primero presentar grupos antes que anillos por tener axiomas menos complejos. Decepción total.

[Luis @LuisFDaz1]

@Isaaccarcacia Es que plantearlo con rigor es parte del problema, pero todos entienden intuitivamente qué es lo que se busca.

[Luis @LuisFDaz1]

@Dark_kestrel Demonios Pira también él xd? No hay alguien medianamente mainstream que no comparta tus opinones que respetes?

[Luis @LuisFDaz1]

@DanielBlancoSWE Es porque estás matando una mosca con cañón. Prueba con un elefante.

[Luis @LuisFDaz1]

@DotCSV Lo lamentan los crud developers

[Taelin @VictorTaelin]

this is my personal singularity moment

this post may sound like a paid ad. I only wish. I'm concerned, more so than happy. the world is changing, and, among the scenarios where AI goes terribly wrong, inequality is the most realistic, yet, the one Anthropic seems to be the least concerned about. I'm glad OpenAI is taking the opposite stance: *personal AGI for everyone*. I think this is a commendable position in the times we live. but who am I in the queue of the bread?

anyway, Fable is here, so I'll just report my first-hour experience

first of all, all my pet prompts are solved.
→ λ-calculus puzzles
→ bug questions
→ one-shot apps
all are trivial to it.

I don't have anything harder other than my
ongoing work

so, in the last several days, I've been toying with HVM5, a new interaction net evaluator with a faster loop.

after writing the first version, I left 32 GPT-5 agents working for ~20 hours each. this resulted in up to 2x speedups, but the file size increased by 2-fold and quality decreased significantly.

I then simplified the whole thing into an even simpler core, and left Opus 4.8 and GPT 5.5 optimizing it for 8 hours. Opus got a legit 6% - 34% speedup in most benches. GPT got better results, but, sadly, an unusable file.

I then asked Fable to optimize it.

2 hours later, it landed a 1770% speedup in one case, 100%+ in other 4, and 22% in average. yes, in 2 hours it outperformed me, opus 4.8 and a swarm of gpt 5.5 agents, by one order of magnitude.

that could not possibly be legit. "it must be hardcoding the benchmarks" (GPT trauma). so I read its explanation and what it did was, indeed, the most high impact optimization one could try first. seems like HVM5 was wasting a lot of time garbage-collecting unused branches of pattern-match nodes. I had optimized that for static mats, but not for dynamic mats. skill issue. Fable figured how to do it for these, resulting in a massive speedup in some benches

but wait, is that *correct*? I'm not sure yet, it is credible, but this is the kind of thing that is very easy to get wrong on interaction nets. the problem is, when I was ready to start auditing Fable's solution so I could tell whether it was buggy or legit, it interrupted me to tell me it had found a massive bug on the code *I* had written.

... wait, what?

so... for garbage collection purposes, I stored a bit on lambda term pointers that meant "the variable bound by this lambda has been freed, so, its lambda must free whatever argument it is applied to". that's fine. yet, on duplicator nodes, I also used the same bit to mean "one of the duplicated variables was freed, so, treat this dup as a passthrough no-op". so, if a lambda entered a duplicator, it would mistake the lambda's collection bit for its own, resulting in corrupted interaction!

that's a mouthful, why I'm writing this?

just so you can appreciate the sheer absurdity of what just happened. I didn't ask it to find bugs. I asked it for an optimization. and even if I did ask it to find bugs, this bug is so astonishingly subtle and specific, identifying it takes mastering the domain to an extent that it beyond even me. I'd easily need hours or days to fix it, *if* I ever came across it. chances are it would just go unnoticed. and Fable found it and fixed it like it was nothing, while it was busy adding a 17x speedup to a file that neither I, nor Opus 4.8, nor a fleet of GPT 5.5 managed to barely make 2x faster.

oh and there is also another tab where it is also ripping through Bend's codebase and finishing everything I had to do

I don't know what to say anymore

this isn't about Anthropic or OpenAI, this is about our collective future as a species. the world is changing, and we need to be aware of it, and discuss how to handle this change.

receipt below . . .

[Luis @LuisFDaz1]

@chillimica Tiktok tiene preferencias por creadores de contenido que son mujeres y por temas en los que fácilmente se suscitan opiniones. Si te interesa ser viral o tener alcance es la mejor plataforma.

[Luis @LuisFDaz1]

@lendersacc A mí me multiplico x10 pero es porque soy muy malo. Claro, hay una cantidad de slop que se va acumulando, pero eso no es problema mío sino del siguiente ingeniero cuando yo ya no esté.

[Luis @LuisFDaz1]

@devruso @DotCSV Y no lo han hecho xd

[Luis @LuisFDaz1]

@devruso Ellos nunca dijeron eso, o no sabes leer o mientes descaradamente.

[Luis @LuisFDaz1]

@Isaaccarcacia El pretty privilege lo llaman.