Python bindings for Berkeley DB 18.1.17
jcea.es/programacion/pybsddb…
Python "bindings" for Oracle Berkeley DB, version 18.1.16
jcea.es/programacion/pybsddb…
Ruta CITO por los molinos de agua del río Furnia (19 de septiembre de 2026)
jcea.es/pics/vigoverano2026-…
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
Reunión equina en San Andrés de Comesaña (23 de agosto de 2026)
jcea.es/pics/vigoverano2026-…
Carnaval de verano de Redondela (22 de agosto de 2026)
jcea.es/pics/vigoverano2026-…
Galician Freaky Film Festival: Zombie Walk (12 de septiembre de 2026)
jcea.es/pics/vigoverano2026-…
Feria Medieval de El Álamo (1 y 4 de mayo de 2025)
jcea.es/pics/elalamo2025/
Valença na Rota da História (7 de septiembre de 2025)
jcea.es/pics/vigoverano2025-…
Galician Freaky Film Festival: Zombie Walk (13 de septiembre de 2025)
jcea.es/pics/vigoverano2025-…
Feria Medieval de El Álamo (3 y 5 de mayo de 2024)
jcea.es/pics/elalamo2024/
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-…
Año nuevo chino en Madrid (21 y 22 de febrero de 2026)
jcea.es/pics/anonuevochino20…
Gran Desfile de San Patricio, geocaching nocturno salvaje por Tres Cantos y fotos nocturnas de Madrid (14 y 15 de marzo de 2026)
jcea.es/pics/sanpatricio2026…
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
Chiringuito de Samil: Concierto de Va de Retro (8 de agosto de 2026)
jcea.es/pics/vigoverano2026-…
Castrelos: Concierto de Viva Suecia (14 de agosto de 2026)
jcea.es/pics/vigoverano2026-…
Bouzas: Fuegos artificiales, fiesta y concierto (20 de julio de 2026)
jcea.es/pics/vigoverano2026-…
Concierto en Castrelos: Chayanne (30 de julio de 2026)
jcea.es/pics/vigoverano2026-…

































































