6625 noticias
Investigadores de Facebook IA han desarrollado un sistema llamado RepoProver, capaz de formalizar automáticamente libros de texto matemáticos utilizando inteligencia artificial. El sistema, cuyo código está disponible en GitHub, emplea una arquitectura multi-agente que colabora en un repositorio Git
Un nuevo documental alemán, "Watching You - The World of Palantir and Alex Karp", examina la controvertida empresa estadounidense Palantir y su software de análisis de datos, Gotham. El documental, estrenado el 6 de junio de 2024, explora el papel de Gotham, una herramienta demandada a nivel mundial
Investigadores han desarrollado PIGuard, un nuevo modelo de código abierto diseñado para mejorar la seguridad de los modelos de lenguaje grandes (LLMs) contra ataques de inyección de prompts. Estos ataques, que permiten a los atacantes manipular el comportamiento del LLM y extraer datos sensibles, s
La empresa de software Oracle, con sede en Austin, Texas, ha presentado miles de solicitudes de visas H-1B en los últimos dos años fiscales, al mismo tiempo que ha despedido a miles de empleados estadounidenses como parte de una reestructuración organizacional. Datos federales revelan que Oracle sol
Este artículo explora cómo transformar un sistema Linux estándar en una infraestructura de red, como un router o un punto de acceso WiFi, detallando los cambios necesarios. La idea central es que, a pesar de la percepción de que la administración de dispositivos de red y sistemas operativos son dife
La NASA ha revelado las primeras imágenes de alta resolución de la Tierra capturadas por la tripulación de la misión Artemis II, mientras se dirigen hacia la Luna. El comandante de la misión, Reid Wiseman, tomó las fotografías, calificadas de “espectaculares”, tras una maniobra crucial llamada “tran
Un usuario de eBay, identificado como Kev Quirk, ha actualizado sobre un posible fraude que experimentó al intentar vender un reloj a través de la plataforma. Quirk había expresado su preocupación de que eBay favorecería al comprador en caso de disputa, dada la limitada protección para los vendedore
Apple está implementando la verificación de edad en sus dispositivos iPhone y iPad en el Reino Unido, una medida que precede a la eliminación de la protección avanzada de datos para nuevos usuarios en el país a partir de 2025. Esta iniciativa, que va más allá de lo que exige la ley del Reino Unido (
Este artículo de backyardchickens.com describe cómo construir una puerta corredera para gallinero que se bloquea automáticamente, ofreciendo una solución segura y conveniente para proteger a tus gallinas de los depredadores. La idea principal es eliminar la necesidad de cerrar manualmente una cerrad
El artículo de dbos.dev explora un desafío crucial al desarrollar bibliotecas de ejecución duradera en Python: cómo lograr la determinancia en flujos de trabajo asíncronos. La asincronía, aunque mejora el rendimiento al permitir la ejecución concurrente de tareas (por ejemplo, usando `asyncio.gather
Via Licensing Alliance (Via LA), la administradora de patentes para el códec H.264/AVC, ha incrementado significativamente las tarifas de licencia para plataformas de streaming que aún no están licenciadas. El cambio, implementado silenciosamente, reemplaza una tarifa plana de $100,000 anuales con u
Waymo, la empresa de vehículos autónomos, ha enfrentado meses de dificultades para programar sus vehículos para detenerse correctamente frente a autobuses escolares en Austin, Texas. La situación, que involucra al Distrito Escolar Independiente de Austin (AISD), ha resultado en al menos 19 incidente
Este artículo de Burak Güngör explora por qué seguimos utilizando Markdown, a pesar de sus deficiencias. El autor argumenta que, si bien Markdown se presenta como un lenguaje de marcado minimalista y legible para convertir archivos de texto plano en HTML, su implementación práctica a menudo se aleja
El protocolo Drift, la mayor bolsa de futuros perpetuos en Solana, sufrió un ataque que resultó en la extracción de 285 millones de dólares el 1 de abril de 2026. El ataque, que tardó aproximadamente 12 minutos según TRM Labs, no explotó vulnerabilidades en el código del contrato inteligente, sino q
TinyGo, un nuevo compilador basado en LLVM, ha expandido la capacidad del lenguaje de programación Go para abarcar sistemas embebidos y WebAssembly (WASM). El proyecto, impulsado por los autores de TinyGo, permite a los desarrolladores compilar y ejecutar programas Go en más de 100 placas de microco
## iNaturalist: Tu Contribución a la Ciencia de la Biodiversidad ¿Qué es iNaturalist y por qué es importante? iNaturalist es una plataforma online y una aplicación móvil que permite a cualquier persona documentar sus observaciones de la naturaleza – plantas, animales, hongos, insectos, ¡cualquier
Este informe del Reuters Institute explora cómo los jóvenes (18-24 años) consumen y perciben las noticias en un contexto de rápidos cambios tecnológicos y sociales. La investigación, basada en una década de datos, revela una transformación significativa en sus hábitos de consumo, alejándose de los m
Este artículo explora el resurgimiento de ideas de un movimiento olvidado de la década de 1930: la tecnocracia. En su momento, la tecnocracia, liderada por Howard Scott y Technocracy Incorporated, proponía un sistema de gobierno dirigido por técnicos e ingenieros, reemplazando a políticos y empresar
Mintlify ha desarrollado un sistema de archivos virtual llamado ChromaFs para mejorar el rendimiento de sus asistentes de IA y reducir costos. Anteriormente, el proceso de creación de sesiones para el asistente requería hasta 46 segundos y generaba gastos significativos en infraestructura (aproximad
La administración de Donald Trump ha impuesto aranceles del 100% a medicamentos patentados que ingresan a Estados Unidos, a menos que las empresas lleguen a un acuerdo con el gobierno. La medida, anunciada el jueves, tiene como objetivo reducir los riesgos para la seguridad nacional impulsando la fa
Este documento técnico analiza la ingeniería necesaria para desmantelar Mercurio y convertirlo en un enjambre de Dyson de la manera más rápida posible, utilizando principios físicos conocidos y extrapolaciones de tecnologías actuales. La idea central es que, a pesar de ser un proyecto extremadamente
Este artículo describe cómo construir tu propio proveedor de servicios de Internet (ISP) dial-up utilizando un Raspberry Pi y hardware antiguo. La idea surgió de la posesión de un antiguo iBook G3 de Apple, que fue pionero en la adopción de Wi-Fi. Aunque hoy en día el Wi-Fi se asocia con conexiones
Un investigador ha implementado en Rust 'TurboQuant', un algoritmo de Google Research para la búsqueda vectorial, ofreciendo una alternativa más rápida y eficiente a métodos como FAISS. La implementación, disponible en GitHub, incluye bindings para Python a través de PyO3, facilitando su uso. TurboQ
Un avión de combate F-15E de Estados Unidos fue derribado sobre Irán, desencadenando una búsqueda y rescate por parte de las fuerzas estadounidenses para localizar a su tripulación de dos personas. El incidente, el primero de su tipo desde el inicio del conflicto, ocurrió el viernes y ha generado un
Este artículo explora una estrategia inusual para mejorar la concentración: renunciar a un monitor grande y volver a trabajar con la pantalla de una laptop. El autor, un desarrollador, se había sentido abrumado y con falta de enfoque, atribuyéndolo a la necesidad constante de estar al tanto de múlti
El título "I prefer OG style websites – what are yours?" (Prefiero los sitios web de estilo OG – ¿cuáles son los tuyos?) se refiere a una apreciación por los sitios web que priorizan la funcionalidad sobre la estética moderna y a menudo recargada. En la era de diseños minimalistas, animaciones compl
Un nuevo estudio realizado por nworbmot.org indica que la energía solar combinada con baterías tiene el potencial de abastecer el 90% de la electricidad para el 80% de la población mundial a un costo inferior a 80 €/MWh, incluyendo un respaldo de combustible. Este modelo, basado en datos de 2030, pr
El inversor de capital riesgo Marc Andreessen generó controversia al afirmar en un podcast que la introspección, como práctica, es una invención relativamente moderna, surgida entre 1910 y 1920, y atribuida a Sigmund Freud y el Círculo de Viena. Andreessen argumenta que antes de esa época, nadie hab
Este texto explora la teoría de tipos como una alternativa a la teoría de conjuntos y la propia teoría de categorías, ofreciendo una base matemática poderosa. Tradicionalmente, la matemática introductoria se apoya en la teoría de conjuntos debido a su simplicidad. Sin embargo, esta simplicidad revel
Nango, una empresa que desarrolla infraestructura de código abierto para integraciones de productos, ha creado un agente de inteligencia artificial capaz de automatizar la integración con APIs, reduciendo significativamente el tiempo de desarrollo. El agente, que funciona en segundo plano, genera ap