Elusión del inicio de sesión OTP revelada
Una publicación en Mastodon afirma un bypass completo del sistema de inicio de sesión 1FA OTP de eMudhra y publica una clave pública que el autor dice puede usarse para cifrar (forjar) solicitudes OTP y obtener acceso a cuentas mediante OSINT. mastodon.catgirl.cloud
LLMs prueban binarios a gran escala
Investigadores usaron Claude para generar pruebas formales a nivel de ensamblador que cubren 239 puntos de entrada en 123 bibliotecas de OSS-Fuzz, encontrando y parcheando errores y demostrando propiedades de no-crash para muchos binarios compilados. anthropic.com
Sancionar violaciones normativas inusuales
Un ensayo sostiene que el castigo social se aprende a partir de casos comunes, por lo que las violaciones normativas inusuales a menudo quedan impunes y las sociedades pueden estar poco preparadas para inventar o aplicar nuevas sanciones. lesswrong.com
Video de Railpass no disponible
La instantánea muestra un video faltante o bloqueado sin contenido disponible para resumir. train.samismith.com
Escepticismo sobre la programación en lenguaje natural
Una crítica de 1978 advierte que reemplazar los lenguajes de programación formales por lenguaje natural aumentaría la ambigüedad y el error, argumentando que los sistemas formales de símbolos son esenciales para descartar múltiples despropósitos. cs.utexas.edu
Análisis editorial
Comentario editorial (opinión): Estas instantáneas apuntan a un problema central: la corrección sin una especificación compartida y comprobable es frágil. Los exploits del mundo real pueden surgir de pequeñas brechas (una supuesta clave OTP susceptible de forjarse), mientras que las nuevas herramientas —LLMs— pueden escalar pruebas formales (239 puntos de entrada en 123 bibliotecas) y detectar errores que las pruebas tradicionales pasan por alto. Al mismo tiempo, las normas sociales y las interfaces humanas muestran que la aplicación efectiva depende de modelos comunes y procedimientos claros; la advertencia de 1978 contra la programación en lenguaje natural nos recuerda que las interfaces informales multiplican la ambigüedad. Conclusión práctica: invertir en especificaciones verificables y comprobables por máquina y en las herramientas adecuadas (no solo soluciones informales o atajos en lenguaje natural), aprovechar LLMs para producir y reutilizar pruebas formales, y reforzar explícitamente los pequeños componentes de confianza y las suposiciones operativas de las que dependen esas pruebas.