El blog de Scott Aaronson describe una súbita publicación de 372 avances matemáticos reclamados por un modelo de OpenAI, incluyendo una demostración de la Conjectura de Juegos Únicos y progresos en derandomización, complejidad cuántica y algoritmia, mientras señala que las demostraciones son actualmente opacas para los lectores humanos y requieren asistencia de IA para verificarlas.
Leer el artículo completo →Carrier-Explode es una herramienta basada en web que decodifica y compara los datos de configuración de operadores de dispositivos Apple iPhone, Google Pixel y Samsung Galaxy, permitiendo a los usuarios inspeccionar ajustes como 5G, VoLTE y llamadas por Wi-Fi para operadores y versiones específicos.
Leer el artículo completo →StreetComplete, la aplicación Android de edición de OpenStreetMap que utiliza contribuciones basadas en misiones, ha publicado una beta pública para iOS a través de TestFlight tras más de un año de trabajo utilizando Kotlin Multiplatform para compartir código entre plataformas.
Leer el artículo completo →El YouTuber canadiense Anthony Sistilli construyó un sistema de reconocimiento automático de matrículas (ALPR) para rastrear los movimientos de los vehículos policiales, lo que llevó a una visita de oficiales de la Policía Regional de Peel que cuestionaron sus intenciones, resaltando las tensiones en torno a la tecnología de vigilancia.
Leer el artículo completo →Earendil ha lanzado Pi 1.0, una actualización importante de su mínimo arnés de agentes Pi, que añade características como Codemode para MCP y soporte de modelos no LLM, mensajes del sistema a mitad de conversación, carga diferida de herramientas, calentamiento de caché para modelos de Anthropic, un nuevo tema de TUI, modo pantalla completa por defecto y soporte de extensiones para modelos virtuales, junto con un paquete experimental Pi Durable para aplicaciones de agentes de larga duración.
Leer el artículo completo →Audionaut es una aplicación de escritorio gratuita y de código abierto para edición y grabación de audio que se ejecuta en Windows, macOS y Linux y permite que agentes de IA como Claude editen sesiones a través del Modelo de Contexto (MCP), con los cambios apareciendo como pasos de deshacer en la interfaz gráfica.
Leer el artículo completo →Las pruebas de referencia revelan que los modelos de decisión como Jev tienen una latencia significativamente mayor que tanto los clasificadores de texto tradicionales como las alternativas LLM-as-a-judge, lo que socava las afirmaciones de superior velocidad y eficiencia de costo para los guardias de seguridad de IA.
Leer el artículo completo →El autor describe un sistema personal de blogs que mantiene todos los flujos de trabajo de escritura y desarrollo dentro de Emacs, utilizando Org-mode como formato de origen, Pandoc para la conversión, Blogatto para la generación de HTML, Gleam y Lustre para la generación de sitios estáticos seguros en tipos, y Nix para builds reproducibles. Este enfoque prioriza la consistencia y evita el cambio de contexto aprovechando las capacidades de programación literaria de Org-mode.
Leer el artículo completo →Este artículo explica cómo una prueba de informática teórica que demuestra que un lenguaje específico es regular fue formalizada en el probador de teoremas Lean. Detalla la construcción de un autómata finito que rastrea el acarreo durante la suma binaria y cómo se codificó en Lean usando Mathlib para verificar la relación entre el reconocimiento de lenguajes y la verificación de programas.
Leer el artículo completo →La publicación de blog de Kevin Buzzard describe cómo la comunidad matemática está reaccionando ante la capacidad de la IA para resolver problemas difíciles, mapea esas reacciones en las cinco etapas de duelo de Kübler‑Ross, contrasta opiniones sobre si las matemáticas se tratan de comprensión humana o de conteo de teoremas, y exhorta a los laboratorios de IA a publicar sus resultados para escrutinio colectivo.
Leer el artículo completo →
xenaproject.wordpress.comEl Turbo Haskell (THC) de Edward Kmett compila el GHC Core para que se ejecute en la JVM utilizando Truffle y GraalVM, proporcionando tanto compilación just-in-time como ahead-of-time mientras preserva el front-end de GHC. El sistema admite interfaces de función extranjera políglotas, vectorización SIMD y optimizaciones avanzadas de llamadas en cola, con el objetivo de llevar el rendimiento de Haskell al ecosistema de la JVM.
Leer el artículo completo →La investigación muestra que los patrones de las alas de las mariposas y sus movimientos de vuelo se combinan para producir ilusiones visuales que interrumpen la toma de blanco de los depredadores, haciendo que sus ataques fallen.
Leer el artículo completo →La agencia GovTech de Singapur ha lanzado FirstDate, un servicio piloto de citas para trabajadores gubernamentales que utiliza el algoritmo de matrimonio estable Gale-Shapley. Los participantes verifican su identidad mediante Singpass y completan un cuestionario detallado para recibir una posible pareja por ciclo. Mientras el algoritmo garantiza emparejamientos estables donde ninguna pareja prefiere a la otra sobre su pareja actual, los críticos señalan que fue diseñado para escenarios con participantes comprometidos y puede no abordar los desafíos de las citas donde existen opciones externas y las preferencias declaradas predicen pobremente la compatibilidad romántica.
Leer el artículo completo →Apple planea introducir salvaguardias adicionales para Full Disk Access en macOS, exigiendo un permiso de usuario más explícito para evitar que las aplicaciones accedan a datos sensibles sin un consentimiento claro.
Leer el artículo completo →El chatbot de OpenAI está produciendo imágenes que imitan el estilo de caricatura de The New Yorker y adjuntando falsamente los seudónimos de colaboradores reales, lo que genera preocupaciones sobre violaciones de identidad y uso no autorizado de firmas artísticas.
Leer el artículo completo →El equipo de desarrolladores del kernel de Linux asigna números CVE a las correcciones de seguridad mediante un proceso excesivamente cauteloso que resulta en muchos identificadores de vulnerabilidad, aunque no todos se apliquen a cada sistema Linux debido a los diversos patrones de uso del kernel.
Leer el artículo completo →El proyecto del Distrito Lacustre de Lusacia, en el este de Alemania, está convirtiendo antiguas minas de lignito a cielo abierto en una vasta red de agua interconectada que abarca 14 000 hectáreas, creando el mayor paisaje lacustre artificial de Europa, que rivaliza en tamaño con el lago Como de Italia, al tiempo que genera ingresos turísticos y sirve de modelo para la regeneración post-minera.
Leer el artículo completo →Un fotógrafo automatiza el tedioso proceso de escaneo y edición de negativos de película de 35mm, utilizando VueScan para la captura, una rutina de NumPy para la conversión de color, LaMa para la eliminación de polvo, Qwen3-VL para el etiquetado, Cloudflare R2 para el almacenamiento y una galería en three.js para la visualización interactiva.
Leer el artículo completo →Un ingeniero de software creó un sistema de seguimiento personalizado usando tecnología de radio ultrawideband (UWB) para monitorizar si los contenedores de basura domésticos se han puesto fuera para la recogida, integrando los datos con Home Assistant para generar recordatorios automatizados.
Leer el artículo completo →Los ventiladores de techo modernos han evolucionado hacia combinaciones extrañas de iluminación y flujo de aire, con LED no reemplazables y cuchillas decorativas que a menudo no funcionan.
Leer el artículo completo →
