Jesús Cea Avión

[Jesús Cea Avión @jcea]

BerkeleyDB bindings for Python 18.1.18

https://t.co/U2xFuXzmJA

https://t.co/67WJxRVhWW

https://t.co/49fMA8nijD

[Sergio de los Santos @ssantosv]

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¬

[geoff @GeoffreyHuntley]

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.

[Jesús Cea Avión @jcea]

Python bindings for Berkeley DB 18.1.17

https://t.co/H4XoggzI2K

[Jesús Cea Avión @jcea]

Python "bindings" for Oracle Berkeley DB, version 18.1.16

https://t.co/hP590vPfND

[Jesús Cea Avión @jcea]

Ruta CITO por los molinos de agua del río Furnia (19 de septiembre de 2026)

https://t.co/zydVafQx5q

[Valerio Capraro @ValerioCapraro]

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

[Jesús Cea Avión @jcea]

Reunión equina en San Andrés de Comesaña (23 de agosto de 2026)

https://t.co/gokNBF7wTb

[Jesús Cea Avión @jcea]

Carnaval de verano de Redondela (22 de agosto de 2026)

https://t.co/rPsipDxwO1

[Jesús Cea Avión @jcea]

Galician Freaky Film Festival: Zombie Walk (12 de septiembre de 2026)

https://t.co/dpG12RQxwD

[Jesús Cea Avión @jcea]

Feria Medieval de El Álamo (1 mayo de 2026)

https://t.co/Uco4885Q6p

[Jesús Cea Avión @jcea]

Feria Medieval de El Álamo (1 y 4 de mayo de 2025)

https://t.co/EhhH0R5n4t

[Jesús Cea Avión @jcea]

Valença na Rota da História (7 de septiembre de 2025)

https://t.co/IgY6ybDGZJ

[Jesús Cea Avión @jcea]

Galician Freaky Film Festival: Zombie Walk (13 de septiembre de 2025)

https://t.co/Axv2la6IjQ

[Jesús Cea Avión @jcea]

Feria Medieval de El Álamo (3 y 5 de mayo de 2024)

https://t.co/1xzZIJ4tSC

[Pablo Malo @pitiklinov]

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.

https://t.co/5t52MW38vO

[Jesús Cea Avión @jcea]

Año nuevo chino en Madrid (21 y 22 de febrero de 2026)

https://t.co/EXshEkH6ZS

[Jesús Cea Avión @jcea]

Gran Desfile de San Patricio, geocaching nocturno salvaje por Tres Cantos y fotos nocturnas de Madrid (14 y 15 de marzo de 2026)

https://t.co/7q96ZbNwND

[Román Ramírez @patowc]

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: https://t.co/r3Q0DWW1fu #cryptograFREE

[Jesús Cea Avión @jcea]

Chiringuito de Samil: Concierto de Va de Retro (8 de agosto de 2026)

https://t.co/wnWk96brvl