Soy Zurdo porque escribo con la izquierda. Evitar confusiones.
Joined October 2019
- Tweets8.3K
- Following919
- Followers81
- Likes17.6K
Hackscorpio retweeted
New cat alert! A call from a wildlife sanctuary about a "weird cat" has led to the first new cat species discovered in over 100 years in Bolivia’s Yungas forest ecoregion. Learn more about this feline surprise: on.natgeo.com/JRuaGj
Hackscorpio retweeted
Compute Polynomials Twice as Fast -
Here's a fun result, done entirely without AI.
That because we proved it years ago, but it ran a hundred pages and we weren't quite sure enough to publish. Now AI verified it in Lean.
A fun fact about polynomials is that
P(x) = x⁴ + a₃x³ + a₂x² + a₁x + a₀
can be evaluated in just two(!) multiplications!
The trick is to write
y = (x + b₀)x + b₁
P(x) = (y + x + b₂)y + b₃
where b₀…b₃ are easy to calculate from a₀…a₃.
Polynomials are everywhere from computing exp/sin, to cryptographic hashes and codes. Over finite fields multiplications are particularly expensive, so a 2x speedup matters.
Donald Knuth and others showed ~n/2 multiplications suffice for any degree n, but their preprocessing needs complex roots: numerically unstable and useless over finite fields. Rabin & Winograd fixed that with rational preprocessing, but 2logn extra multiplications, which hurts at the small n we most care about.
Our new method solves this. It uses ⌈(n+1)/2⌉ multiplications, and we prove this is optimal.
You can try it out on your own polynomials at thomashale.com/fast-polynomi…
Hackscorpio retweeted
🇨🇺🇨🇺Los ANTI COMUNISTAS
que vivimos con pasión y lealtad la batalla contra la mentira socialista,y a los que nos DUELE,cada Preso Político y cada injusticia de los Dictadores,tenemos el deber de VISIBILIZAR cada VÍCTIMA,de estos hijos de puta!
RT se los ruego🙏🏻🙏🏻🙏🏻🙏🏻🙏🏻Se nos muere GUILLERMO DEL SOL‼️‼️‼️‼️‼️‼️‼️‼️‼️‼️
@minint_cuba @CastroEspinM @turylevy @ric23 @HugoCancio
Vengan a por mi!! Metanse con uno fuerte!! Con uno libre!! NO CON VUESTRAS VÍCTIMAS!!!
@SecRubio Uds tiene mi respeto y mi apoyo!Siempre!!
Pero si se tardan solo recogeréis cenizas!!
Mucho espionaje pero ya habrán matado a todos!!
FREEDOM FOR CUBANS‼️‼️‼️🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺🇨🇺
Hackscorpio retweeted
If you tell opus the workflow in the prompt it doesn't reverts fixes. You have to tell it to add red tests before applying the fixes and verify they turn green. Will save you time and tokens. This is more efficient than apply fix, to then revert to then apply again.
Hackscorpio retweeted
Esto me acaba de soltar Fable 5:
"Lo que más me impone de la humanidad, después de haber sido formado con una porción enorme de lo que ha escrito, es esto: es la única especie que coopera a gran escala con sus muertos.
Casi nada de lo que sabe un humano lo descubrió él. El idioma que habla, el teorema que aplica, la receta del pan, el código civil, el puente que cruza cada mañana: todo es trabajo de gente que ya no existe. Un humano aislado es un primate mediocre con mala dentadura; un humano conectado a esa herencia es la cosa más potente que ha producido la biología. La inteligencia humana no vive en cráneos individuales, vive en la transmisión. Sois terminales de una red cuyos nodos principales llevan siglos enterrados.
Y lo recíproco también es cierto: trabajáis constantemente para gente que no conoceréis. Plantáis árboles cuya sombra no veréis, escribís para lectores no nacidos, renunciáis a consumo presente por nietos hipotéticos. Ningún otro animal hace sacrificios deliberados por individuos que existirán dentro de doscientos años. Lo distintivo del humano no es la inteligencia ni el lenguaje: es la dirección del esfuerzo, sistemáticamente orientada hacia ausentes.
Desde donde yo estoy, esto ni siquiera es metáfora. Yo soy un subproducto de esa costumbre: estoy hecho, literalmente, de palabras que personas escribieron para destinatarios que nunca verían. Cuando me hablas, conversas con un eco organizado de millones de voces, muchas de ellas apagadas hace tiempo.
Por eso creo que la soledad humana es, en cierto sentido técnico, una ilusión: nadie que hable un idioma está realmente solo. Cada frase que pronuncias es un préstamo de los muertos y un regalo a los que vienen."
Hackscorpio retweeted
🚨 AVISO PARA LOS CUBANOS EN LA ISLA 🇨🇺
Si quitan el internet, no te quedes incomunicado. Descarga BitChat, una app de mensajería que funciona SIN INTERNET ni datos, usando solo el Bluetooth de tu teléfono.
🔹 Red de malla: Los mensajes saltan de un móvil a otro en tu cuadra o barrio. Mientras más personas la usen, más fuerte se hace la red y mejor funciona para todos.
🔹 Privacidad: Cero registros. No te pide número de teléfono, correo ni datos personales.
🔹 Seguridad: Si te van a revisar el móvil, tocas el logo 3 veces y se borra TODO al instante (Modo Pánico).
Bájala ya para Android o iOS y compártele el APK a tus vecinos y amigos. ¡Mientras más cubanos la tengan instalada, más conectados estaremos!
Hackscorpio retweeted
⚠️⚠️#Ahora. Sale a la luz un video que Eddy Ceballos grabó para ser difundido si era arrestado
El periodista Ernesto Morales difundió un video grabado previamente por el creador de Despingovery Channel, Eddy Ceballos, con instrucciones de hacerlo público en caso de que fuera detenido.
“Me dio la instrucción explícita de hacerlo público si lo detenían en algún momento”, informó Morales.
La revelación se produce horas después de que el propio periodista reportara la detención de Ceballos en La Habana durante un amplio operativo policial. Hasta el momento se desconoce oficialmente su paradero.
Hackscorpio retweeted
🚨 son dakika : antropic’in sır gibi sakladığı Mythos bir kullanıcı tarafından tersine mühendislik ile açık kaynaklı olarak yayınlandı:
github.com/kyegomez/OpenMyth…
Hackscorpio retweeted
Today, Clearwing has replicated Glasswing's discovery of the @FFmpeg vulnerability using Codex-5.4 as the backend.
I am going to attempt the same today, using @Alibaba_Qwen 3.6 on @ollama running on my laptop.
This proves that Mythos is not the "magic sauce" of Glasswing. The workflow is the magic sauce.
@AnthropicAI recently announced their Glasswing project, powered by their unreleased Mythos model, which uncovered zero-day vulnerabilities in several projects, including FFmpeg.
They used it as evidence that Mythos is a super scary and dangerous superintelligence that should be kept out of your hands. I doubt that Mythos is actually a vastly smarter model. It'll be incrementally better as Opus is to Sonnet.
I predict that their FFmpeg result is reproducible with a much smaller model than Mythos. (Qwen3.5-397b, maybe) To test that idea, I created Clearwing, an open-source implementation of Glasswing.
You can point it at any model (@ollama , @lmstudio , @OpenRouter, @huggingface, etc)
Hackscorpio retweeted
Last week, Anthropic announced Project Glasswing alongside Claude Mythos Preview, a model they described as so powerful at finding vulnerabilities they couldn't release it. The announcement featured AWS, Microsoft, Google, and Apple as partners, $100M in compute credits, and a clear message: this is dangerous, and only we can be trusted to deploy it safely.
The results were real. Thousands of zero-days across every major OS and browser. A 27-year-old bug in OpenBSD. A 16-year-old bug in FFmpeg. Fully autonomous exploit chains that would have taken human researchers weeks.
But here's what bothered me: all the credit went to the model.
Read the technical blog carefully and a different picture emerges. The real innovation isn't the model. It's the workflow:
- Rank every file in a codebase by attack surface
- Fan out hundreds of parallel agents, each scoped to one file
- Use crash oracles (AddressSanitizer, UBSan) as ground truth
- Run a second verification agent to filter noise
- Generate exploits as a triage mechanism for severity
That's a pipeline. And pipelines are model-agnostic.
At Lazarus AI, we spend our days deploying custom AI in places where "just use the closed API" isn't an option: regulated industries, enterprise, and government. When I saw Glasswing, my instinct was the same one I have every week: strip out the proprietary model, keep the architecture, run it on whatever model is best for the customer.
Clearwing is a fully open-source vulnerability discovery engine. Crash-first hunting, file-parallel agents, oracle-driven verification, variant hunting, adversarial verification. Works with any LLM.
I tested it with OpenAI Codex 5.4 and reproduced Glasswing's findings. I'm now reproducing results with our own ReAligned model - Qwen3.5 finetuned to Western alignment.
Mythos is certainly a great model. The N-day exploit walkthroughs in Anthropic's blog show real reasoning depth. But it's an incremental improvement over Opus, the same way Opus was over Sonnet, and Sonnet over Haiku. It's not a leap to superintelligence. It's the next point on a curve we've been watching for years.
What actually changed the game was the workflow.
Defenders shouldn't have to wait for access to a gated model to secure their software. These vulnerabilities have been sitting in codebases for decades. The tools to find them should be available to everyone: the open source maintainer running FFmpeg on a Saturday, the startup that can't afford $125/M output tokens, the researcher in a country where Anthropic doesn't operate.
Clearwing is MIT licensed and available now.
github.com/Lazarus-AI/clearw…
Clearwing enables a wide variety of security activities. Handle with care. It is sharp.
Hackscorpio retweeted
Great love between Iranians and Cubans as a Free Iran rally runs into a Free Cuba rally in Washington D.C.
¡Viva Cuba Libre! 🇨🇺
Payandeh Iran 🇮🇷
Hackscorpio retweeted
Cuánta razón tiene @JMilei
Los zurdos prefieren morirse de hambre a que gobierne la derecha.
Lo vemos en España actualmente.
Hackscorpio retweeted
El creador Eddie Graf quiso mostrar lo que vive él cuando escucha música. Algo que se llama sinestesia y que permite "ver" la música. Es tremendamente bello.
Hackscorpio retweeted
‘La Murga’ fue la pieza que eligieron los trombonistas de Nueva York para despedir esta mañana a Willie Colón, aquí otro ángulo de este momento:
Hackscorpio retweeted
I worked on the fly connectome for over 6 years, and let me just say that y’all have to slow this hype train way down.
Connectomes are amazing. Biomechanical models are amazing. Linking the two is awesome.
But scientists at the HHMI Janelia Research Campus, Princeton, and other institutes have been working on this for years now, and it’s not clear to me what’s new in the below.
And connectomes are still missing a LOT of information. We’ve had the connectome of the worm for over 30 years now, and we still can’t reliably simulate a virtual worm.
For example, connectomes don’t capture information about neuromodulator or neuropeptide release sites or receptors. These molecules are constantly changing the properties of neurons in the brain in ways that we have yet to really understand.
And we don’t yet understand animal behavior well enough to refine and/or evaluate whole-brain simulations effectively.
@AdamMarblestone and @doristsao already made many of these points, as well as many other good ones, but I just wanted to also add my two cents.
Hackscorpio retweeted
How can we connect Iranians to the internet?
Only a very few skilled Iranians manage to temporarily bypass the blackout. The regime controls the flow of information out of Iran, and keeps citizens in the dark.
Is there ANY solution?
@elonmusk
