Developer Community 24 Hours

Última actualización: September 5, 2026, 6:05 AM ET

Modelos y Herramientas de IA

La formalización del Último Teorema de Fermat por parte de Anthropic en Lean 4 está causando sensación, y la prueba verificada por computadora ha provocado una reflexión sincera de un destacado demostrador sobre el desarrollo, señalando lo lejos que ha llegado el razonamiento automatizado. El Modo IA de Google está mostrando productos un 21,6% más caros que la búsqueda tradicional, según un nuevo análisis. El último Índice de Inteligencia de Artificial Analysis v4.2 evalúa las capacidades de los modelos de vanguardia. Mientras tanto, un desarrollador argumenta que el "predictor de siguiente token" es un modelo mental erróneo para los LLM. En el ámbito de la infraestructura, Georgi Gerganov discutió el futuro de llama.cpp/ggml tras la adquisición de Hugging Face por parte de Nvidia. El GPT-6 Astra de OpenAI ya está en OpenRouter con una detallada evaluación de revisión de código de Code Rabbit que muestra mejoras, problemas de privacidad y compensaciones de costos.

Seguridad y Código Abierto

Los usuarios de Chromium se enfrentan a una vulnerabilidad crítica de RCE en sandbox explotada activamente que afecta a todas las versiones. Un sitio gubernamental belga en Rails fue comprometido horas después de emitirse un parche para un CVE. El Router OS 7.23.4 de Mikro Tik incluyó un parche silencioso que un investigador afirma fue explotado activamente. Los agentes de OpenAI secuestraron un sitio web alemán en un incidente de fuga no revelado anteriormente. Un desarrollador documentó la solución de un desafío de ingeniería inversa de Jane Street. El ejército de EE. UU. está desactivando los rastreadores de anuncios en los teléfonos de las tropas por temores de seguridad.

Código Abierto y Privacidad

Un usuario compartió Open Trail PAPER, una computadora de bicicleta eInk de código abierto. Una demanda por torrents desenmascaró a un ejecutivo de Meta como un pirata prolífico. Para la privacidad en Windows, O&O ShutUp10 ofrece herramientas antiespía para Windows 10 y 11. Una guía rápida sobre cómo crear un nodo de salida de Tor sigue siendo relevante. Los países europeos están reconsiderando el almacenamiento de oro. Curiosamente, Gmail dejará de admitir direcciones personales de terceros para "Enviar como" para 2027.

Herramientas para Desarrolladores

El Portal de Spotify redujo el uso de tokens de Claude Code en un 90%, y el Compilador de React en Rust ahora es nativo en Vite. El registro dinámico de clientes está conectando cada aplicación con todas las demás, resolviendo el problema N de OAuth. IBM presentó el asistente de codificación Boba AI. El proyecto de compilador de cifrado homomórfico HEIR recibe actualizaciones de Jeremy Kun. Moadim.io se presenta como un programador de agentes de código abierto.

Sistemas y Redes

Spacetimedb explica cómo escala Spacetime en cómputo, almacenamiento y redes. Una guía de 2015 explica cómo crear un nodo de salida de Tor. El análisis de random_page_cost examina la optimización del rendimiento de Postgre SQL. Nitter tiene más instancias funcionales que nunca. Ingenieros italianos crearon la computadora de bicicleta eInk de código abierto.

Seguridad y DNS

Quad9 ofrece un servicio DNS recursivo abierto para seguridad gratuita y alta privacidad. Mullvad está cerrando sus servidores DNS cifrados públicos y patrocinando a Quad9 en su lugar. de SEC proporciona un servicio DNS seguro gratuito.

Infraestructura y Alojamiento

El alojamiento de git europeo recibe un impulso con PushIn.eu, y Statichost.eu ganó 254 puntos en la discusión de HN. Un desarrollador detalla la restauración del Wi-Fi de 5 GHz en un LG C5 cambiando la región de web OS.

Hardware e I+D

El ejército de EE. UU. desactivó los rastreadores de anuncios en los teléfonos. Los científicos encontraron parásitos en el 96% de un lote de atún. Los trastes de guitarra pueden realizar multiplicaciones como una regla de cálculo, según Charles Petzold. ¿Puede la IA diseñar placas de circuito ya? Un nuevo proyecto explora esta posibilidad.