Formalizando una Prueba de Álgebra Lineal con Lean

2025-01-24
Formalizando una Prueba de Álgebra Lineal con Lean

Este artículo detalla la experiencia del autor formalizando un teorema simple sobre la independencia lineal de autovectores en álgebra lineal utilizando el asistente de prueba Lean. El artículo explica la sintaxis de Lean, el uso de la biblioteca Mathlib y cómo las herramientas de automatización simplifican el proceso de prueba. Los autores exploran la mejora y la generalización del teorema y presentan el control de versiones y la colaboración de la comunidad de Mathlib. Finalmente, el artículo analiza el papel de los asistentes de prueba y la IA en la investigación matemática futura.

Leer más

Historias del Metro: Encuentros Fugaces, Impresiones Duraderas

2025-01-13
Historias del Metro: Encuentros Fugaces, Impresiones Duraderas

Este texto teje una tapicería de breves y conmovedores encuentros que se desarrollan dentro de un vagón de metro. De viajeros apresurados a jubilados relajados, cada individuo contribuye con un microcosmos de las experiencias de la vida. El autor captura las emociones sutiles de alegría, tristeza e indiferencia, pintando un cuadro vívido de la existencia urbana. Estos momentos aparentemente insignificantes revelan verdades profundas sobre la conexión humana y las complejidades de la vida en la ciudad, dejando una impresión duradera en el lector.

Leer más

OpenAuth: Servidor OAuth 2.0 universal y autohospedado

2024-12-17
OpenAuth: Servidor OAuth 2.0 universal y autohospedado

OpenAuth es un proveedor de autenticación universal, basado en estándares y de código abierto. Se puede implementar como un servicio independiente o integrarlo en aplicaciones existentes; es agnóstico de framework y funciona en Node.js, Bun, AWS Lambda o Cloudflare Workers. Cumpliendo con la especificación OAuth 2.0, OpenAuth ofrece una IU personalizable y con temas. A diferencia de la mayoría de las soluciones de autenticación de código abierto que son bibliotecas, OpenAuth es un servidor centralizado diseñado para facilitar el autohospedaje en su infraestructura. Intencionalmente omite la gestión de usuarios, proporcionando en su lugar callbacks para la búsqueda/creación de usuarios personalizados. El almacenamiento de datos es mínimo (tokens de actualización, etc.), utilizando un almacenamiento KV simple (Cloudflare KV, DynamoDB). Una IU preconstruida está disponible, pero puede personalizarla o reemplazarla totalmente. Creado por el equipo SST, OpenAuth simplifica la autenticación para sus aplicaciones.

Leer más

Einsum: Más Allá de la Multiplicación de Matrices

2025-01-06

Einsum es más que una simple multiplicación de matrices; es una implementación eficiente de la convención de suma de Einstein. Utiliza una notación concisa para representar operaciones complejas de tensores, evitando bucles anidados y mejorando la legibilidad y el rendimiento del código. Este artículo profundiza en la mecánica de Einsum, demostrando sus ventajas en el manejo de operaciones de tensores de alta dimensionalidad, como la multiplicación de matrices, la transposición y los cálculos de traza con ejemplos ilustrativos. Para los desarrolladores que necesitan cálculos de tensores de alto rendimiento, Einsum es una herramienta invaluable.

Leer más

Políticas Adversarias Derrotan a las IA de Go Superhumanas

2024-12-24
Políticas Adversarias Derrotan a las IA de Go Superhumanas

Los investigadores lograron una tasa de victorias superior al 97% contra KataGo, un sistema de IA de Go de última generación, entrenando políticas adversarias. Estos adversarios no ganaron jugando bien al Go, sino engañando a KataGo para que cometiera errores críticos. El ataque se transfirió sin entrenamiento a otras IA de Go superhumanas y fue lo suficientemente simple como para que los expertos humanos lo replicaran sin asistencia algorítmica. La vulnerabilidad persistió incluso después de que KataGo fue entrenado adversarialmente para defenderse contra ella, destacando modos de falla sorprendentes incluso en sistemas de IA superhumanos.

Leer más

Gukesh, coronado como el campeón mundial de ajedrez más joven de la historia

2024-12-12
Gukesh, coronado como el campeón mundial de ajedrez más joven de la historia

En la ronda 14 del Campeonato Mundial de Ajedrez 2024, el Gran Maestro indio de 18 años, Gukesh D, derrotó al campeón defensor, Ding Liren, para convertirse en el campeón mundial más joven de la historia. Ding utilizó una Defensa Grünfeld Inversa, pero Gukesh, con jugadas de apertura precisas y una profunda preparación, llevó la partida a un final de juego complejo. Después de una larga lucha, Ding cometió un error decisivo, permitiendo que Gukesh capitalizara y lograra una victoria histórica, cumpliendo así un sueño de toda la vida.

Leer más

Ace: Piloto automático de computadora con velocidad sobrehumana

2025-04-02
Ace: Piloto automático de computadora con velocidad sobrehumana

Ace es un piloto automático de computadora que usa el ratón y el teclado para realizar tareas en tu escritorio. Supera a otros modelos en una serie de tareas de uso de la computadora y tiene una velocidad sobrehumana. Entrenado en más de un millón de tareas por especialistas en software y expertos en el dominio, Ace realiza clics del ratón y pulsaciones de teclas basándose en la pantalla y los avisos. Aunque todavía está en desarrollo y es propenso a errores ocasionales, su precisión mejora significativamente con el aumento de los recursos de entrenamiento. Ya está disponible una primera vista previa de investigación.

Leer más
IA

Aves de corral criadas en pastos vs. aves de corral industriales: un enfrentamiento por la gripe aviar

2025-02-19
Aves de corral criadas en pastos vs. aves de corral industriales: un enfrentamiento por la gripe aviar

A pesar de las sofisticadas medidas de bioseguridad, las granjas avícolas industriales siguen luchando contra los brotes de gripe aviar. El virus puede entrar incluso en gallineros de alta tecnología a través de los sistemas de ventilación. Las granjas más pequeñas, con aves de corral criadas en pastos, aunque aparentemente corren un mayor riesgo debido al aumento del contacto con las aves silvestres, informan de menos brotes. Esto se atribuye a las aves más sanas con sistemas inmunitarios más fuertes debido a las mejores dietas y el acceso al aire libre. Los expertos debaten la viabilidad de la avicultura en pastos para satisfacer las demandas del mercado y si el aumento del contacto con las aves silvestres supera los beneficios para la salud.

Leer más
Tecnología avicultura

Errores del compilador de C++: Errores sin sentido de una declaración de función

2024-12-12
Errores del compilador de C++: Errores sin sentido de una declaración de función

Un desarrollador que añadía soporte XAML a una aplicación C++ encontró una serie de errores del compilador simplemente incluyendo el archivo de cabecera winrt/Windows.UI.Xaml.h. Los errores provenían de lo que parecía ser una declaración de función normal: `template struct consume_Windows_UI_Xaml_IExceptionRoutedEventArgs { [[nodiscard]] auto ErrorMessage() const; };` La causa raíz era una macro preexistente llamada ErrorMessage en el proyecto del desarrollador, que entraba en conflicto con el nombre de la función. Esta macro creaba un objeto ErrorMessageString y devolvía un puntero a una cadena de mensaje de error. La falta de límites de la macro hizo que el compilador interpretara erróneamente la declaración de la función como una invocación de macro, lo que resultó en errores como "argumentos insuficientes". La solución consistió en deshabilitar la macro usando #pragma undef antes de incluir el encabezado o eliminar la macro por completo y reemplazarla con una función en línea.

Leer más

Particles.js: Ejemplos de código y más

2025-01-09

Particles.js es una potente biblioteca JavaScript para crear impresionantes efectos de partículas. Este artículo proporciona ejemplos de código y ejemplos adicionales de Particles.js, permitiendo a los desarrolladores implementar fácilmente diversas animaciones de partículas, desde efectos de caída simples hasta escenas interactivas complejas. Ya sea para diseño web o desarrollo de juegos, Particles.js añade un toque de estilo visual a tus proyectos.

Leer más

Guía Definitiva de Empleos Remotos: Tu Empleo de Sueños Te Espera

2025-01-09

Este recurso es una recopilación de numerosas oportunidades de empleo remoto en diversos campos, incluyendo tecnología, diseño, marketing y atención al cliente. Tanto si eres un ingeniero con experiencia como un recién graduado, aquí encontrarás puestos adecuados. Desde Remote Rocketship, centrado en puestos tecnológicos, hasta We Work Remotely, que ofrece una amplia gama de empleos remotos, y Remote Nursing Jobs, específicamente para enfermeros, este recurso lo tiene todo. Además, plataformas como 4DayWeek.io, centrada en semanas laborales de cuatro días, y muchas otras ofrecen una gran cantidad de ofertas de empleo remoto para ayudarte a encontrar tu trayectoria profesional ideal.

Leer más
Varios

La 'prohibición' de PornHub en EE. UU.: ¿guerra cultural o protección infantil?

2025-01-12
La 'prohibición' de PornHub en EE. UU.: ¿guerra cultural o protección infantil?

Casi un tercio de los estados de EE. UU., con una población combinada de más de 104 millones de personas, ya no pueden acceder a PornHub debido a nuevas leyes que exigen la verificación de edad en los sitios web pornográficos. Si bien los defensores afirman que estas leyes protegen a los niños del contenido dañino, los operadores argumentan que violan la privacidad del usuario y son ineficaces. El debate se centra en los desafíos técnicos de la verificación de edad sin comprometer la privacidad y la guerra cultural subyacente en torno al control y la supresión de la sexualidad. Los críticos argumentan que las leyes son onerosas, ineficaces y un posible caballo de Troya para una censura más amplia, en lugar de una verdadera protección infantil.

Leer más
Tecnología protección infantil

Construyendo una imagen de contenedor desde cero: Una inmersión profunda en OCI

2025-03-20

Este artículo proporciona una explicación clara y concisa del funcionamiento interno de las imágenes de contenedor. Mediante la construcción de una imagen simple de "hola mundo" desde cero, el autor detalla los cuatro componentes principales de una imagen OCI: capas, configuración, manifiesto e índice. El artículo explica cómo se crean las capas, cómo se combinan para formar un sistema de archivos completo y cómo la direccionabilidad de contenido garantiza la integridad de los datos y la eficiencia. Se compara el proceso de construcción con una imagen base scratch y una imagen base alpine, culminando en la ejecución exitosa de la imagen de contenedor construida.

Leer más

Reglas para Escribir Tutoriales de Software Impresionantes

2025-01-02
Reglas para Escribir Tutoriales de Software Impresionantes

Esta entrada de blog describe reglas para crear tutoriales de software excepcionales. Destaca la importancia de evitar la jerga, declarar los objetivos con claridad, proporcionar fragmentos de código copiables y pegables, mantener un estado de código funcional y minimizar las dependencias. El autor utiliza ejemplos contrastantes para ilustrar las diferencias entre tutoriales buenos y malos, ofreciendo mejoras prácticas, como el uso de indicadores de línea de comandos largos, la separación de los valores definidos por el usuario de la lógica reutilizable y el uso de títulos coherentes y descriptivos. El objetivo final es crear tutoriales fáciles de entender y seguir, amigables para principiantes.

Leer más

Robot de apoyo emocional de 800 dólares para niños inutilizado, sin reembolsos

2024-12-12
Robot de apoyo emocional de 800 dólares para niños inutilizado, sin reembolsos

Embodied, el fabricante del robot Moxie de 800 dólares para niños, está cerrando, dejando a miles de niños sin sus compañeros robóticos. La empresa atribuyó su cierre a una ronda de financiación fallida y anunció que la conectividad en la nube de Moxie se cortará, haciendo que los robots sean inoperables. Si bien Embodied expresó cierta disposición a reembolsar compras recientes, no ofrecen garantías, dejando a muchos padres enfrentando pérdidas financieras significativas junto con la angustia emocional de sus hijos. Este incidente destaca las preocupaciones sobre la falta de soporte a largo plazo para dispositivos inteligentes y el potencial de una decepción significativa del consumidor.

Leer más
Tecnología niños

Tecnología GPS explicada: Del posicionamiento simple a la navegación global

2024-12-18
Tecnología GPS explicada: Del posicionamiento simple a la navegación global

Este artículo proporciona una explicación completa de la tecnología GPS. Comenzando con un sistema de posicionamiento 2D simple, el autor introduce gradualmente conceptos clave como el posicionamiento 3D, la medición del tiempo, las órbitas de los satélites, los efectos relativistas y el procesamiento de señales. A través de analogías inteligentes e ilustraciones vívidas, el autor explica cómo el GPS utiliza señales emitidas por satélites, combinadas con mediciones de tiempo y distancia, para calcular con precisión la posición y la desviación de tiempo del receptor. El artículo también explora los detalles técnicos de la codificación, decodificación y capacidades antiinterferencias de la señal GPS, mostrando la profunda base científica e ingenieril detrás de la tecnología GPS.

Leer más

Microservicios: No son una bala de plata para startups

2025-05-08
Microservicios: No son una bala de plata para startups

Este artículo explora las desventajas de adoptar microservicios prematuramente en startups. El autor argumenta que los microservicios prematuros conducen a un aumento en el costo de desarrollo, complejidad de implementación, entornos de desarrollo locales frágiles, canalizaciones de CI/CD duplicadas y un aumento de la sobrecarga de observabilidad, lo que en última instancia ralentiza la velocidad del equipo y dificulta la iteración del producto. El autor recomienda que las startups prioricen la arquitectura monolítica, considerando los microservicios solo cuando encuentren cuellos de botella reales de escalabilidad. Los microservicios solo se justifican en escenarios específicos, como el aislamiento de la carga de trabajo, las necesidades de escalabilidad divergentes o los diferentes requisitos de tiempo de ejecución.

Leer más

Intercepción eficiente de llamadas al sistema Linux: más allá de las ineficiencias de ptrace

2025-01-05

Este artículo presenta un método más eficiente para interceptar llamadas al sistema Linux que ptrace: seccomp user notify. Aprovechando filtros BPF, solo devuelve para las llamadas al sistema deseadas, reduciendo significativamente la sobrecarga de rendimiento. El autor utiliza su herramienta, copycat, como ejemplo, mostrando cómo interceptar llamadas al sistema open() para lograr la sustitución de archivos. El artículo detalla el mecanismo seccomp user notify, incluyendo la creación de filtros BPF y el manejo de argumentos de llamada al sistema. Se discuten también la seguridad y los problemas potenciales, como los ataques TOCTOU.

Leer más
Desarrollo Llamadas al Sistema

La carrera armamentística de IA del Pentágono: El atractivo mortal de Silicon Valley

2025-01-25
La carrera armamentística de IA del Pentágono: El atractivo mortal de Silicon Valley

La iniciativa 'Replicator' del Pentágono está acelerando el desarrollo de armas de IA, generando preocupación debido a su modelo operativo opaco. El programa busca producir rápidamente sistemas de armas de bajo coste y desechables, con la mira puesta en China. Si bien el Pentágono afirma que no está desarrollando 'robots asesinos', su colaboración con empresas tecnológicas de Silicon Valley y las declaraciones de algunos contratistas sugieren un resultado potencialmente letal. El artículo insta al Pentágono a aclarar el uso previsto de sus armas de IA y a establecer salvaguardas, evitando una carrera armamentística global y riesgos éticos.

Leer más

Coalton impulsa un avance en el compilador cuántico: Implementación de la compilación discreta

2025-05-08

Quilc, un compilador cuántico de vanguardia escrito en Common Lisp, enfrentó desafíos debido a las limitaciones de los lenguajes de tipado dinámico. Los investigadores aprovecharon el lenguaje Coalton de tipado estricto para implementar una nueva función llamada compilación discreta. Esta función mejora la precisión y la eficiencia de la computación cuántica al discretizar las operaciones cuánticas continuas. Usando el algoritmo de Ross-Selinger, las matrices unitarias arbitrarias se descomponen en combinaciones de puertas Clifford+T. El sistema de clases de tipo de Coalton simplificó las operaciones en diferentes anillos algebraicos, convirtiéndolo en una herramienta ideal para implementar este algoritmo complejo. Este trabajo integró con éxito la compilación discreta en Quilc, allanando el camino para aplicaciones prácticas en la computación cuántica.

Leer más
Desarrollo

La FDA prohíbe el colorante rojo nº 3 relacionado con el cáncer

2025-01-16
La FDA prohíbe el colorante rojo nº 3 relacionado con el cáncer

La Administración de Alimentos y Medicamentos (FDA) de EE. UU. ha prohibido el colorante artificial rojo nº 3, relacionado con el cáncer, en alimentos y medicamentos. La prohibición entrará en vigor el 15 de enero de 2027 para los alimentos, y los fabricantes de medicamentos tendrán un plazo más largo para reformular sus productos. Esto afecta a numerosos productos que contienen el colorante, desde dulces hasta medicamentos para el resfriado, lo que genera preocupación en la industria alimentaria.

Leer más
Tecnología

Una Vida Muy Privada: Recordando a Patrick O'Brian

2025-01-02
Una Vida Muy Privada: Recordando a Patrick O'Brian

Unseen Histories publicó un artículo especial en homenaje a Patrick O'Brian, aclamado como el 'mayor novelista histórico de todos los tiempos'. La pieza ofrece un vistazo a la vida relativamente privada de O'Brian, entremezclada con detalles de su carrera como escritor, acompañada de imágenes ricas. Este artículo forma parte de la misión más amplia de Unseen Histories de presentar la historia de una manera original, atractiva y visualmente deslumbrante.

Leer más

Construyendo un rastreador web educado y rápido: Lecciones aprendidas

2025-01-05

El ingeniero de Mozilla, Dennis Schubert, descubrió que el 70% de la carga de los servidores de Diaspora provenía de bots mal comportados, con OpenAI y Amazon contribuyendo con el 40%. Este artículo detalla la experiencia del autor al construir un rastreador web educado y rápido, cubriendo la limitación de velocidad, el respeto a robots.txt, la minimización de la recarga y el almacenamiento en cola eficiente. Usando Python y gevent, el autor asigna una corrutina por dominio para la limitación de velocidad y utiliza Postgres para la gestión eficiente de colas y la desduplicación. Este diseño permite un rastreo rápido y eficiente, respetando los sitios web de destino.

Leer más

Bun 1.2: Una actualización masiva para el tiempo de ejecución JavaScript de pila completa

2025-01-23

Bun 1.2 es una actualización enorme que mejora significativamente su conjunto de herramientas JavaScript y TypeScript de pila completa. Las características principales incluyen compatibilidad mejorada con Node.js (lograda ejecutando la suite de pruebas de Node.js), almacenamiento de objetos S3 integrado (Bun.s3) y clientes Postgres (Bun.sql), un archivo de bloqueo basado en texto (bun.lock) para la gestión de dependencias más rápida y segura, y un aumento de 3 veces en la velocidad de Express. Bun 1.2 también agrega soporte para módulos Node.js cruciales como node:http2, node:dgram, node:cluster y node:zlib, junto con mejoras para complementos C++ que usan API de V8.

Leer más
(bun.sh)
Desarrollo

De Pegasus a Predator: La Evolución del Spyware Comercial en iOS

2024-12-30
De Pegasus a Predator: La Evolución del Spyware Comercial en iOS

Esta charla rastrea la evolución del spyware en iOS desde el descubrimiento inicial de Pegasus en 2016 hasta los casos más recientes en 2024. Comienza analizando cómo los exploits, los vectores de infección y los métodos del spyware comercial en iOS han cambiado con el tiempo. Luego, explora los avances en los métodos de detección y los recursos forenses disponibles para descubrir el spyware comercial, incluyendo un estudio de caso sobre el descubrimiento y análisis de BlastPass, un exploit reciente de NSO. Finalmente, analiza los desafíos técnicos y las limitaciones de los métodos de detección y las fuentes de datos, concluyendo con temas de investigación abiertos y sugerencias para mejorar la detección del spyware comercial.

Leer más
Tecnología

Escalado automático de tus aplicaciones Kubernetes con Dash0: Más allá de la CPU y la memoria

2025-01-11
Escalado automático de tus aplicaciones Kubernetes con Dash0: Más allá de la CPU y la memoria

Esta entrada de blog muestra cómo usar Dash0 para escalar automáticamente las aplicaciones que se ejecutan en Kubernetes. Si bien Kubernetes simplifica el escalado, los ajustes manuales de réplicas son ineficientes. Dash0 automatiza este proceso mediante el monitoreo de datos de telemetría de la aplicación. La publicación explora tres tipos de escalado automático de Kubernetes: Escalado automático de pods horizontal, escalado automático de pods vertical y escalado automático de clúster, centrándose en el escalado automático de pods horizontal. Explica su mecánica y cómo utilizar métricas personalizadas (como la latencia) en lugar de depender únicamente del uso de la CPU y la memoria para estrategias de escalado óptimas. Dash0 se integra con el Adaptador Prometheus, lo que permite consultas PromQL a los datos de Dash0 para dirigir el HPA, lo que resulta en un escalado automático basado en el rendimiento de la aplicación y mejora la experiencia del usuario.

Leer más

Más de 100 Libros que Moldearon un Siglo de Ciencia

2025-02-04

La sección "Estantería de Científicos" de la revista American Scientist, de noviembre-diciembre de 1999, presentó más de 100 libros que influyeron significativamente en un siglo de progreso científico. La lista abarca biografías (autobiografía de Darwin, aventuras de Feynman), guías de campo, monografías sobre conceptos científicos clave (mecánica cuántica, teoría de juegos), historias de la ciencia, exámenes del propio método científico y exploraciones de la interacción entre la ciencia y diversos aspectos de la vida, incluida la evolución de la humanidad. Esta colección seleccionada ofrece una perspectiva multifacética sobre el viaje del descubrimiento científico y la evolución del pensamiento científico.

Leer más

Transformer²: Los LLMs autoadaptables marcan un hito

2025-01-15
Transformer²: Los LLMs autoadaptables marcan un hito

Transformer² es un nuevo sistema de aprendizaje automático que ajusta dinámicamente sus pesos para diversas tareas. Inspirado en los mecanismos adaptativos de la naturaleza, como un pulpo cambiando de color o el cerebro reconectándose, permite que los modelos de lenguaje grandes (LLMs) se adapten a nuevas tareas en tiempo real. Usando la Descomposición de Valores Singulares (SVD) y el Aprendizaje por Refuerzo (RL), Transformer² descompone los pesos del modelo en componentes independientes y aprende a combinarlos de forma óptima para diversas tareas, incluyendo matemáticas, codificación, razonamiento y comprensión visual. Los resultados muestran que Transformer² supera los enfoques estáticos tradicionales como LoRA en eficiencia y rendimiento específico de la tarea, requiriendo muchos menos parámetros. Este trabajo allana el camino para la construcción de sistemas de IA de "inteligencia viva" que aprenden y evolucionan continuamente.

Leer más
IA

Descubren en Georgia una misteriosa tablilla con escritura desconocida

2024-12-14
Descubren en Georgia una misteriosa tablilla con escritura desconocida

Una tablilla de basalto con una inscripción en un lenguaje enigmático ha sido descubierta cerca del lago Bashplemi, en la región de Dmanisi, Georgia. La tablilla, de 24,1 x 20,1 cm, presenta 60 caracteres, 39 de los cuales son únicos. Estos símbolos, posiblemente relacionados con botines de guerra, proyectos de construcción u ofrendas religiosas, presentan similitudes parciales con escrituras de Oriente Medio, India, Egipto e Iberia occidental, pero son distintos. Con una datación que podría corresponder al Bronce Tardío o al Hierro Antiguo, la tablilla añade una capa de complejidad a la historia cultural del Cáucaso, sugiriendo un posible intercambio cultural antiguo entre diversas regiones.

Leer más
1 2 570 571 572 574 576 577 578 595 596