Jesús Cea Avión (@jcea) profile picture

https://nitter.gq/t.co/NAwPOu9wuH

Madrid
Joined December 2007
Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)Photo by Jesús Cea Avión (@jcea)
Jesús Cea Avión retweeted
Durante 10 años, se ha podido entrar en muchas imágenes Docker con cualquier (sí, cualquier) contraseña de más de 256 caracteres, gracias a un fallo de OpenSSH. No hay búfer overflow, ni use-after-free… solo una sucesión de catastróficas desdichas que comienza en 1980. Hilo¬
6
79
5
283
18,441
Jesús Cea Avión retweeted
Open-source "codes of conduct" are cancer and need to be retired; I deeply regret championing them. The inevitable outcome is an unproductive mob controlling projects through intimidation. Given enough time, it pushes away people who would contribute patches. Eventually, all that remains is an unproductive military-police class playing social status games.
166
216
53
3,412
187,437
Jesús Cea Avión retweeted
BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification. The most important article to read today is not one of OpenAI’s 700 AI-generated math papers. It is this other paper, making a deep and worrying point: A Lean-verified proof does not automatically validate the proof written in natural language, nor does it mean that the formal statement captures the intended theorem. During translation, an AI can change an assumption, weaken a statement, or replace the argument entirely. It can hallucinate another theorem. Lean correctly verifies the result. But the proved result may no longer be what the paper claims. This is a general problem. Things get spicy when the authors examine OpenAI’s proposed Navier–Stokes solution. They identify at least two mismatches between the written intermediate results and their Lean counterparts: One estimate claims that four additional input derivatives suffice. The Lean version requires five: a weaker result. A pressure-flux estimate is obtained through a different bound, and proved through a different argument. It is not clear whether these mismatches invalidate the entire proof. But they raise an important issue. OpenAI is flooding us with claimed revolutionary breakthroughs. Yet nobody knows whether the proofs are correct or whether they prove what they claim to be proving. Epistemia at scale. * Paper in the first reply
229
918
313
5,365
636,869
Jesús Cea Avión retweeted
Ejemplo práctico y actual de la diferencia entre las estrategias sexuales a corto plazo y a largo plazo: La autora de este artículo explica que el bucle de retroalimentación que usan las mujeres para calibrar su atractivo y su valor en el mercado sexual está roto por la cultura actual de los hookups o sexo casual. El argumento principal es el siguiente: las mujeres tienden a ser extremadamente selectivas a la hora de tener sexo. Según la autora, la mujer promedio preferiría pasar toda su vida sin sexo antes que acostarse con alguien que le resulta físicamente repulsivo (por ejemplo, el típico borracho desaliñado de bar). En cambio, los hombres, aunque también tienen sus estándares, suelen ser mucho menos exigentes en el contexto del sexo casual. Están dispuestos a acostarse con mujeres que les atraen solo moderadamente -o incluso poco- siempre que la oportunidad se presente, porque para ellos el sexo y el deseo de una relación son dos cosas bastante separadas. Esto genera una diferencia muy importante en el feedback que recibe cada sexo. Para los hombres el feedback es claro y directo. Si las mujeres que ellos consideran atractivas aceptan acostarse con ellos, saben que están en su liga. Si les rechazan sistemáticamente, entienden que están por debajo. La realidad les da una señal bastante fiable de su posición en el mercado sexual. Pero para las mujeres el feedback está distorsionado. Cuando una mujer busca sexo casual, normalmente solo se acuesta con los hombres que le parecen más atractivos. Esos hombres suelen aceptar porque la oportunidad está ahí, pero en la mayoría de los casos no tienen ningún interés real en salir con ella ni en tener una relación. Sin embargo, la mujer interpreta ese encuentro sexual como una señal positiva: “Si él quiso acostarse conmigo, significa que estoy en su liga y que podría convertirse en novio”. Como resultado de este proceso, muchas mujeres terminan sobreestimando su propio valor sexual y romántico. Creen que merecen un hombre de alto nivel porque han conseguido tener sexo con hombres de ese nivel, pero luego se sienten confundidas y frustradas cuando esos mismos hombres no quieren comprometerse. Cuando luego no consiguen una relación, se quedan confundidas y frustradas, pensando que “los hombres ya no quieren comprometerse” o que algo falla en ellas, sin darse cuenta de que el feedback que recibieron fue falso. Esto explica por qué a veces rechazan a hombres que sí estarían dispuestos a salir con ellas, lo hacen porque simplemente no se dan cuenta de que su “liga” real para una relación estable es más baja de lo que creen. La autora no culpa a las mujeres de arrogancia, sino que ve esta confusión como una consecuencia lógica y predecible de cómo funciona el sexo casual hoy en día. Las mujeres reciben señales equivocadas porque los hombres operan con una lógica diferente en los encuentros casuales. api.omarshehata.me/substack-…
38
147
11
535
34,957
Jesús Cea Avión retweeted
Como comentaba hace unos días, vista la deriva autoritaria que vemos en el mundo, con las evidencias que tenemos del menoscabo de los Derechos Fundamentales de los ciudadanos que, en particular son severas en cuanto a sus Derechos Digitales Fundamentales... creemos que es nuestra responsabilidad tomar acción. Es por ello que lanzamos el proyecto #cryptograFREE. Este proyecto va a avanzar lenta e implacablemente para hacer imposible que funcionen cosas como los bloqueos incontrolados de IP. También crear mecanismos de canales encubiertos anticensura o sistemas distribuidos que permitan al ciudadano contar con negación plausible frente al exceso de los poderes. Vamos a empezar con un concurso de herramientas centradas en garantizar los Derechos Fundamentales. Podéis leer en detalle en: cryptografree.org/ #cryptograFREE
10
110
10
252
29,811
¿Es el problema de la corrupción en España solo de reglas o de nuestros políticos? No. Tenemos reglas horrorosas, sí, y una selección de élites pésimas, pero cualquiera que pasee por una calle de una ciudad española comprobará cómo muchos españoles (españoles de España, para que no haya duda) se saltan constantemente las reglas, aparcando donde les da la gana, tirando basura donde no corresponde o llevando al perro sin cadena en sitios donde no se puede (ejemplos que vi en solo dos días de noviembre, la última vez que fui a Madrid). Ya sé lo que me van a decir: estas son anécdotas, no es evidencia seria. Pero resulta que sí tenemos evidencia seria. Hasta 2002, los diplomáticos de las Naciones Unidas tenían inmunidad diplomática respecto de las multas de aparcamiento en Manhattan, por lo que podían aparcar donde quisieran, sin más límite que las normas culturales de sus países (o las reglas internas de las embajadas). A dos economistas, Raymond Fisman y Edward Miguel, se les ocurrió considerar las multas de aparcamiento impagas de los diplomáticos de cada país como una medida de la corrupción en ese país. Si los diplomáticos “pasaban” de las reglas de aparcamiento porque no había consecuencias, era una medida de lo corrupto de ese país (o al menos de un grupo de élite, que son sus diplomáticos). El resultado es un artículo muy famoso, “Corruption, Norms, and Legal Enforcement: Evidence from Diplomatic Parking Tickets”, publicado en una de las mejores revistas de economía del mundo. ¿Cómo salen los diplomáticos españoles? Mal. El diplomático español medio acumuló 12,9 multas sin pagar por año en cada uno de los cinco años del estudio, es decir, algo más de una multa al mes (como referencia, en 1998 había 15 diplomáticos españoles acreditados en las Naciones Unidas en Manhattan). Como se ve en la tabla, España está al nivel de Ruanda o Ghana. En comparación, los diplomáticos de Noruega o Suecia no acumularon ninguna multa impaga. Como me contó uno de los autores del trabajo: cuando un diplomático sueco vio el estudio, le respondió que una multa de tráfico no pagada hubiera sido un escándalo tan grande en Suecia que el ministerio de asuntos exteriores entero tendría que haber dimitido. Para contrastar, una vez un alto funcionario español, trabajando en Estados Unidos (no político, funcionario de los de oposición rimbombante), me explicó, ante mi sorpresa: ¡Estar en las Naciones Unidas es fantástico (bueno, empleó otra palabra más fea), puedes aparcar donde te salga de las narices! Pero lo interesante es que cuando las reglas cambiaron en 2002 y los diplomáticos perdieron su inmunidad, las multas de tráfico de los diplomáticos españoles cayeron a 0,5 de media al año. ¿Cuáles son las conclusiones que saco de este artículo? Primero, España es un país con una cultura de normas pobre. Un grupo de élite, los diplomáticos en las Naciones Unidas, abusaba, en promedio, de manera descarada del sistema (me imagino que habría mucha heterogeneidad, con algunos diplomáticos con pocas multas y otros con centenares). Y encima presumían de ello. Segundo, los cambios en las reglas funcionan: las multas cayeron de 12,9 a 0,5. Tercero, a largo plazo probablemente el cambio de reglas llevaría a que cambiara la cultura.
109
624
80
1,720
125,052
Jesús Cea Avión retweeted
Music video from Swedish rapper Yung Lean and GENER8ION has an amazing choreography, created by French artist Damien Jalet.
226
1,575
211
14,090
1,028,628
Jesús Cea Avión retweeted
Dicen que vivimos en la época de la "postverdad". O, sin eufemismos, en la época de la mentira. Después de que un estudiante me sorprendiera con un experimento inesperado, ahora puedo defender esta sensación con datos. En tan sólo 10 años la integridad periodística se ha ido al garete. Y ha sido inevitable. 👇 1️⃣ EL TRABAJO DE CLASE En uno de los cursos que imparto, los alumnos tienen que entrenar varios modelos predictivos para determinar si una serie de titulares son reales o "fake news". Los modelos se entrenan con titulares de prensa, algunos reales, algunos mentira. Se trata de una combinación de modelos clásicos y modernos, pero sin LLMs. Regresión logística, random forest, SVM... entrenados con BOW, TF-IDF, y embeddings. Estos modelos, hechos por estudiantes, logran identificar las noticias falsas con un 90%-95% de precisión. 2️⃣ LA HIPÓTESIS El fichero que usamos para el proyecto se creó el año 2016-2017, durante el primer mandato Trump. Durante la discusión en clase, uno de los estudiantes me preguntó si tendría sentido usar modelo entrenado con datos del 2016 para distinguir titulares del año 2026. En primera instancia, le dije que sí... pero rápidamente le pedí que hiciera la prueba. Es una hipótesis interesante: ¿ha cambiado la manera como se redactan los titulares en los últimos 10 años? 3️⃣ EL RESULTADO He de reconocer que no me lo esperaba. 🔴 El modelo de 2016 identifica la gran mayoría de titulares reales de 2026 como falsos. ¿Qué significa esto? 👉 Los titulares de prensa seria de 2026 siguen el mismo patrón que los titulares de noticias falsas de 2016. Si viajáramos en el tiempo y entregáramos un periódico del 2026 a un ciudadano del año 2016, sería incapaz de saber si aquello que lee es verdad o mentira. Increíble, ¿no? Han ganado el clickbait, catastrofismo, desgracias, furia, indignación, sensacionalismo. 4️⃣ EL ALGORITMO HA HECHO QUE LA POSVERDAD SE IMPONGA Internet ha matado al periodismo. El modelo actual está roto. Las nóminas de los periodistas se pagan con anuncios. Los ingresos publicitarios dependen de las visitas a la web. Las visitas dependen de que los usuarios hagan clic cuando leen un titular. Los titulares de noticias falsas están diseñados para indignar al lector y que éste haga clic. Los periódicos de fake news se llevan todo el tráfico y dinero del mundo del periodismo. A los periodistas no les queda más remedio que ponerse al nivel de las noticias falsas y escribir titulares cada vez más catastrofistas y surrealistas para lograr esos clics. 👉 Resultado: En 2026, todos los titulares son clickbait. Sé que muchos medios tienen opciones de suscripción, que contribuyen a mantener la integridad del periodismo, pero la captación de usuarios sigue dependiendo de los titulares y éstos están redactados según el «manual de la postverdad». Qué lástima. Todos hemos salido perdiendo.
8
112
17
217
28,463
Jesús Cea Avión retweeted
If LLMs were invented around 2000, would they still be generating websites in Perl or would we have reached TypeScript and React much faster? I wonder if LLMs just lock us into whatever stack they are trained on.
232
141
38
3,583
236,057
¡Ya está abierta la llamada a propuestas de PyConES 2026! 🐍 Mándanos tu charla o taller antes del 3 de mayo. ¡Queremos escucharte! 👇🏻 🔗 pretalx.com/pycones-2026/cfp #PyConES2026 #PythonEspaña #Programación #ComunidadTech #Python
9
1
5
1,249
Jesús Cea Avión retweeted
cuando yo estudiaba en España una de las cosas que más me reventaba era ver cómo las asociaciones de estudiantes estaban completamente usurpadas por los hippies y los activistas de turno te acercabas a las asociaciones o a los tablones de anuncios y veías de todo menos cosas relevantes para los estudiantes... que si la liberación del pueblo kurdo, que si asambleas sobre nuevas masculinidades... nauseabundo bro... literalmente el techo de la biblioteca se está cayendo a cachos y tú me estás hablando de Palestina luego vas a Suiza, Canadá o Japón y te das una vuelta por las politécnicas y es como cambiar de planeta ves que las asociaciones de estudiantes son ÚTILES de verdad, y no hay pancartas ni pintadas (solo carteles con tablones de anuncios oficiales) las asociaciones aportan valor para el estudiante: organizan ferias de empleo con empresas, organizan viajes para los estudiantes, te montan workshops y cursos, repositorios compartidos con apuntes y exámenes de años anteriores... hacen lo que se supone que tienen que hacer un ejemplo real que ocurrió aquí en Suiza que ilustra muy bien esto: unos de la asociación de física y matemáticas pusieron un mensaje a la web animando a ir a una huelga por el cambio climático pues otros miembros de la asociación y los propios estudiantes se quejaron: "somos una asociación de física y matemáticas, estamos para hablar de física y matemáticas. el cambio climático es un tema político que tiene sus propios espacios, pero este no es el lugar" al final tuvieron que recular y borrar el mensaje hay que entender que es muy importante proteger de forma radical el propósito original de las instituciones si dejas que el activismo político colonice un espacio funcional y permites su desvirtuación acabas destruyendo su utilidad real en la universidad pública española ocurre a niveles obscenos organismos usurpados por hippies enquistados en la universidad que hablan y tratan de cualquier cosa menos de lo que toca e importa a los estudiantes al final el resultado son instituciones completamente disfuncionales hay que aprender a decir: "Este no es el lugar"
Como Ingeniero me veo en la obligación de decir una verdad como un templo, le duela a quien le duela: Cuánto más "números" tiene la carrera, menos pintadas ves en la facultad. Es decir, cuanta más ciencia y matemáticas hay, más limpieza y civismo hay.
36
240
17
1,327
93,435
The Heart of the PLL: Choosing the Right Phase Detector In any Phase Locked Loop (PLL), the Phase Detector (or Phase Sensitive Detector) is the component that makes the "magic" happen. It’s the error-sensing heart that compares the reference signal to the VCO, ensuring everything stays in perfect sync. But not all phase detectors are built the same. Depending on your design goals—whether it’s low phase noise, wide capture range, or high-speed frequency synthesis—the choice of detector changes everything. The Main Contenders: 🔹 Analogue Mixers (Linear): The classic approach. Often used as a simple balanced mixer, it’s great for high-frequency applications but can have a limited capture range and produces "reference spurs" that require heavy filtering. 🔹 Digital XOR Gates: A simple, effective digital solution. It works best when both signals have a 50% duty cycle. While reliable, it can lock onto harmonics, so it needs careful management within the loop. 🔹 Phase-Frequency Detectors (PFD): The "Dual D-Type" is the industry standard for frequency synthesizers. Why? Because it is sensitive to both phase AND frequency. This allows the loop to achieve lock even when the frequencies are far apart—massively increasing the capture range. 🔹 The "Charge Pump" Connection: Modern digital detectors often pair with a charge pump to convert those logic pulses into a precise control voltage, though designers must always watch out for the "dead zone" (or backlash) where small phase errors might go undetected. I can remember a project where I was designing a sophisticated PLL based frequency synthesiser and phase noise was key. I used a Dual D-Type detector which a charge pump. This gave phase-frequency detection as well as a sufficiently low phase noise contribution. I also included features to reduce the dead zone issue. Whether you are working on clock recovery, frequency synthesis, or demodulation, the phase detector is the decision-maker that determines your loop’s stability and speed. Which type of phase detector is your "go-to" for current designs? Let’s talk shop in the comments! 👇 Also more information can be found using my link in the comments. #RFDesign #ElectronicsEngineering #PLL #CircuitDesign #HardwareDesign #RadioFrequency #WirelessTech
5
7
1
90
3,671
Jesús Cea Avión retweeted
kubernetes is the most over-engineered solution to a problem most companies don't have.
178
182
33
3,816
331,609
Jesús Cea Avión retweeted
Raspberry Pi 4 dual RAM variant launched. cnx-software.com/2026/02/05/… The Raspberry Pi 4 Model B V1.5 features two RAM chips instead of one in order to allow DRAM supply chain flexibility. The new PCB revision also enables manufacturing process improvements with the use of intrusive reflow soldering.
3
21
177
13,344
📢 Acabo de apretar la última tuerca de mi 🤖 robot come-bormes. He pulsado el botón de «Power ON» y funciona perfectamente. 🥳 Os comparto algunos #datos y curiosidades del mundo empresarial español. Son desde el 1 de enero de 2009, que es desde cuando hay datos publicados. 👇
135
3,145
414
3,864
Jesús Cea Avión retweeted
Kubernetes killed more startups than server crashes ever did You don't have Spotify's scale. You have 8 engineers and a single server that's running fine But you watched a KubeCon talk, and now you've got 23 YAML files, a Helm chart nobody fully understands, and engineers debugging pod evictions instead of buildinga product Your "cloud-native infrastructure" is just a cloud bill with extra complexity A $50/month VM can handle millions of requests. Your startup will run out of money debugging networking issues long before you need horizontal pod autoscaling The best infrastructure decision is often the simplest one
293
501
96
5,558
435,069
Jesús Cea Avión retweeted
Hace poco una gran empresa utilizó la voz de un famoso recreada con IA para hacer un anuncio. Amparándonos en la Ley que protege la imagen (que es del año 1982) les dijimos que era una forma muy ocurrente de ahorrarse contratar locutores famosos pero que nos debían indemnizar por vulnerar el derecho a la imagen del famoso (la voz forma parte del derecho a la imagen). No hubo ni que ir a juicio porque el asunto les pareció indiscutible y nos dieron justo la cantidad que les pedimos. ¿Por qué digo esto? Porque ahora hay un debate con el uso de la IA para vulnerar el honor de ciertas personas alterando su imagen (retocan sus fotos como mofa o para imputarle hechos nunca sucedidos, las desnudan, etc.,). El Gobierno ha salido corriendo a decir que va a "regular" esto. Si se insulta o injuria a una persona modificando su imagen (con IA, o con Photoshop o con un boli) ya hay una ley (esa misma de 1982) que persigue cualquier vulneración del honor (y de la imagen) independientemente del medio usado. Esto no es algo que sepa yo, obviamente lo saben, y mejor que yo, el equipo de juristas del propio ejecutivo. Por eso ándense con ojo cuando el Gobierno, con éste y con cualquier otro, si aprovecha una alarma social diciendo que va a protegernos operando en una zona que toca la arteria de la libertad de expresión. No vaya a ser que en realidad esa operación no sea necesaria y que lo que quiera es aprovechar la coyuntura.
27
621
20
1,786
229,060
Jesús Cea Avión retweeted
It's a good read if you want to learn about RISC-V trap handling, and how LLVM turns Rust code into assembly and performs move elimination optimizations. Read more: destevez.net/2025/12/notes-o…
3
10
846