Webtagr - Resumen de noticias de tecnología

Tags populares：

Virtualización seguridad DNS verificación formal análisis de alcanzabilidad errores del compilador conflicto de macro extensión web framework de desarrollo Gráficos de mapa de bits inconsistencias de API Todos los tags

Manual de Referencia AP5: Una Extensión basada en Lógica para Common Lisp

2024-12-21

AP5 es una extensión de Common Lisp que permite a los usuarios "programar" a un nivel más "especificacional", centrándose en qué debe hacer la máquina en lugar de cómo. Combina aspectos de Lisp y el lenguaje de especificación Gist, incorporando partes compilables de Gist y ofreciendo mecanismos de anotación para el ajuste del rendimiento. AP5 utiliza un modelo relacional para representar datos y admite un lenguaje de lógica de primer orden para el acceso y la manipulación de datos. Los programadores definen relaciones, reglas y restricciones, optimizando el rendimiento mediante anotaciones. El manual detalla la sintaxis de AP5, las operaciones de bases de datos, las reglas, los tipos, la equivalencia y las especificaciones de implementación, proporcionando numerosos ejemplos y explicaciones.

(www.ap5.com)

Desarrollo Programación Lógica Base de Datos Relacional

FindMy.py: Biblioteca Python completa para consultar la red FindMy de Apple

2024-12-21

FindMy.py es una biblioteca Python que proporciona todo lo necesario para consultar la red FindMy de Apple. Unifica el ecosistema fragmentado de Find My, ofreciendo una solución multiplataforma que admite varios dispositivos (AirTags, iDevices, etc.) y métodos de autenticación (incluidos SMS y Trusted Device 2FA). Cuenta con APIs asincrónicas y sincrónicas. Actualmente en fase Alpha, la API puede cambiar, pero la funcionalidad principal es estable.

(github.com)

Desarrollo

¿Vale la pena guardar contenido online? La reflexión de un blogger

2024-12-21

Al organizar sus marcadores online, el bloguero Ruben Schade descubrió que la mayoría de sus enlaces acumulados durante años estaban rotos o alterados, lo que le llevó a reflexionar sobre el significado de preservar contenido online. Se dio cuenta de la naturaleza efímera de internet y la vulnerabilidad incluso del Internet Archive. Aunque ha guardado una gran cantidad de blogs, podcasts y videos personales potencialmente sin valor, cree que constituyen cápsulas del tiempo valiosas de recuerdos e historia personal, dignas de preservación. En última instancia, argumenta que el valor de guardar contenido online reside en su significado histórico y en los recuerdos personales, mientras que el desafío radica en cómo lograr una preservación eficiente y económica.

(rubenerd.com)

Varios archivado online

Rewilding en Irlanda: Los jardines exóticos de la isla de Rossdohan

2024-12-21

La isla de Rossdohan en Irlanda cuenta una historia cautivadora de un jardín exótico creado por un cirujano del siglo XIX que regresó de la India. La isla posee un microclima único, gracias a la plantación de especies del hemisferio sur. A pesar de los incendios en las casas y los cambios de propietarios, estas plantas exóticas persisten, formando un ecosistema único junto con la flora nativa. Hoy en día, los esfuerzos de rewilding se enfrentan al desafío de preservar este legado histórico y, al mismo tiempo, restaurar la biodiversidad nativa, lo que requiere legislación, cambios de políticas y participación pública.

(worldsensorium.com)

Varios especies exóticas

Las pruebas de problemas térmicos en paquetes avanzados son cada vez más difíciles

2024-12-21

La creciente complejidad y heterogeneidad de las arquitecturas de chips, junto con la adopción de materiales de alto rendimiento, están haciendo que sea mucho más difícil identificar y probar problemas térmicos en los paquetes avanzados. Las pruebas térmicas tradicionales basadas en esquinas son insuficientes debido a los efectos térmicos impredecibles a nivel de chip y a la variación de la distribución del calor bajo diferentes cargas de trabajo. La integración heterogénea, los sustratos y las capas metálicas más delgadas y las diversas combinaciones de materiales y esquemas de interconexión contribuyen a esta complejidad. Para abordar estos desafíos, la industria está explorando el modelado térmico avanzado, las estructuras de prueba, las estrategias de prueba adaptativas y la IA para lograr una caracterización térmica más precisa y pruebas de dispositivos confiables.

(semiengineering.com)

Hardware pruebas de chips gestión térmica integración heterogénea prueba de chips disipación de calor envasado de chips prueba térmica

Rec Room lanza juego copiable: BonkysInferno

2024-12-21

Rec Room ha lanzado un nuevo juego copiable, ^BonkysInferno. Basado en el entorno 'Make it to Midnight', el objetivo es conseguir la mayor puntuación derribando a los oponentes a la lava o más allá de una valla láser con el martillo de Bonky. El juego cuenta con un sistema de coleccionables, un sistema de daño, la mecánica del martillo de Bonky, un sistema de rondas y una interfaz de usuario (HUD), todo construido con Circuitos y Rec Room Studio, lo que permite la replicación y modificación por parte del jugador. Se anima a los jugadores a explorar los circuitos con su Pluma Creadora y a utilizar Rec Room Studio para una personalización más profunda.

(forum.rec.net)

Juegos juego copiable desarrollo de juegos

MarkItDown: Convertidor de Markdown en línea gratuito

2024-12-21

MarkItDown es una herramienta gratuita en línea que convierte varios formatos de archivo (como Word, PDF, HTML, etc.) a Markdown estándar. Impulsado por el proyecto de código abierto Markitdown de Microsoft, ofrece conversiones rápidas y fiables, perfectas para bloggers, tomadores de notas y redactores técnicos. No requiere descargas ni instalaciones; simplemente sube tu archivo y obtén una salida Markdown limpia y organizada. Es una forma segura y eficiente de gestionar tu contenido.

(markitdown.pro)

Desarrollo conversión de Markdown herramienta en línea

La verdad fea sobre Spotify finalmente revelada

2024-12-21

Una investigación de un año revela las prácticas engañosas de Spotify. Un programa llamado "Contenido de Ajuste Perfecto" (PFC) involucra asociaciones con compañías de producción para crear y promover artistas y pistas falsas, inflando artificialmente los conteos de reproducción para reducir los costos de regalías y aumentar las ganancias. Estas pistas falsas, a menudo ambientales, clásicas, electrónicas, jazz o lo-fi, se colocan estratégicamente en listas de reproducción diseñadas para la escucha de fondo. Las ventas significativas de acciones del CEO de Spotify en el momento de las revelaciones alimentaron aún más la controversia. Este escándalo plantea serias preocupaciones sobre la transparencia y la equidad en la industria de la música, lo que lleva a llamados para una investigación del Congreso y un ecosistema de transmisión de música más transparente.

(www.honest-broker.com)

Tecnología regalías

El número desconocido de aves que mueren al chocar contra estructuras

2024-12-21

Un estudio reciente revela que subestimamos drásticamente el número de aves muertas por colisiones con edificios. Investigaciones anteriores se basaban en el conteo de cadáveres encontrados, pero muchas aves no mueren instantáneamente, sino que sucumben días o semanas después. Al combinar datos de cadáveres con registros de centros de rehabilitación, los investigadores estiman que más de mil millones de aves mueren anualmente en EE. UU. debido a colisiones con edificios. Esto destaca los desafíos de evaluar con precisión la mortalidad de las aves y la necesidad de mejorar la recopilación y el análisis de datos para proteger mejor las poblaciones de aves.

(robertvanwey.substack.com)

Varios conservación de aves colisiones con edificios

Qualcomm gana la disputa de licencias con Arm sobre diseños de chips

2024-12-21

Un jurado de Delaware falló a favor de Qualcomm Inc. en su batalla legal con Arm Holdings Plc, determinando que Qualcomm no incumplió un acuerdo de licencia para la tecnología de chips adquirida a través de su compra de US$ 1.400 millones de Nuvia Inc. en 2021. Arm alegó que Qualcomm usó la tecnología sin pagar tarifas de licencia más altas. Si bien el jurado encontró que Qualcomm no violó el acuerdo, no pudieron llegar a un veredicto sobre si Nuvia misma incumplió la licencia, dejando esa cuestión abierta para un nuevo juicio posterior. El fallo es significativo para la posición de Qualcomm en el mercado de chips para móviles.

(www.bloomberg.com)

Tecnología Licencias de Chips

La Torre Winkel: Una Estructura de Defensa Aérea Única de la Segunda Guerra Mundial

2024-12-21

A principios de la década de 1930, el arquitecto alemán Leo Winkel diseñó un refugio antiaéreo único sobre el suelo, la Torre Winkel. A diferencia de los búnkeres subterráneos tradicionales, su techo inclinado estaba diseñado para desviar las bombas, minimizando el riesgo de explosión. Este diseño innovador redujo significativamente los costos y el tiempo de construcción, mientras que la detonación a nivel del suelo permitía la disipación de la onda de presión. Patentada en 1934, aproximadamente 200 Torres Winkel se construyeron en toda Alemania durante la Segunda Guerra Mundial. Muchas torres preservadas ahora disfrutan de protección de monumento.

(www.arcanumurbex.de)

Tecnología refugio antiaéreo

El telescopio Webb descubre una galaxia joven similar a la Vía Láctea temprana

2024-12-21

El telescopio espacial James Webb de la NASA ha hecho un descubrimiento innovador: una galaxia apodada 'Firefly Sparkle', que existió alrededor de 600 millones de años después del Big Bang, con una masa similar a la de nuestra propia Vía Láctea en sus etapas iniciales. Esta galaxia, amplificada por lentes gravitacionales, muestra diez cúmulos estelares distintos, proporcionando detalles sin precedentes sobre la formación de galaxias en el universo temprano. Los investigadores descubrieron que 'Firefly Sparkle' está formando estrellas activamente, con su distribución desigual de cúmulos estelares que indica un futuro de fusiones y crecimiento. Este descubrimiento ofrece información invaluable sobre la evolución de las galaxias en el universo primitivo.

(science.nasa.gov)

2 Telescopio espacial James Webb Formación de galaxias Universo temprano

La Ilusión del Enfoque: ¿Por qué sobreestimamos el impacto del éxito en la felicidad?

2024-12-21

Investigaciones psicológicas muestran que a menudo predecimos erróneamente qué nos hará felices en el futuro. Un ejemplo específico de este "error de predicción afectiva" es la "ilusión del enfoque": las cosas en las que nos enfocamos para lograr a menudo no producen la felicidad que esperamos. Este artículo ofrece una explicación evolutiva: la ilusión del enfoque no es un defecto cognitivo, sino un mecanismo para motivarnos a mejorar nuestras circunstancias. Debido a que nuestra experiencia del placer se habitúa (adaptación hedónica), prever esta adaptación puede minar la motivación. Por lo tanto, la evolución nos hace ingenuos al creer que el próximo logro traerá alegría duradera, impulsando nuestra búsqueda de objetivos.

(www.optimallyirrational.com)

IA Ilusión del Enfoque Felicidad Psicología Evolutiva

Google propone soluciones en el caso de distribución de búsqueda del DOJ

2024-12-21

Google está en desacuerdo y apelará la decisión del Departamento de Justicia (DOJ) en la demanda por distribución de búsqueda. Antes de una audiencia en abril de 2025, Google presentó su propia propuesta de soluciones, centrándose en los contratos con fabricantes de navegadores y dispositivos Android. La propuesta tiene como objetivo brindar a las empresas de navegadores y fabricantes de dispositivos más flexibilidad para elegir motores de búsqueda predeterminados, garantizando al mismo tiempo el cumplimiento de la orden judicial y evitando daños a la privacidad del consumidor y al liderazgo tecnológico de EE. UU. En contraste, la propuesta del DOJ se considera excesivamente intervencionista y potencialmente perjudicial para los consumidores y la competitividad tecnológica de EE. UU.

(blog.google)

Tecnología

Deuda técnica vs. activos técnicos: ¿cómo invertir inteligentemente?

2024-12-21

Este artículo explora la diferencia entre deuda técnica y activos técnicos. La deuda técnica, similar a la deuda financiera, representa problemas de código que deben resolverse, como errores y baja legibilidad del código, perjudicando la eficiencia del desarrollo. Los activos técnicos, por otro lado, son inversiones proactivas en problemas conocidos, como la construcción de SDK de alta calidad, reduciendo los costos de mantenimiento futuros y aumentando la libertad de desarrollo. El artículo aconseja priorizar el pago de la deuda técnica antes de invertir en activos técnicos, aprovechando procesos y tecnologías probados para evitar la acumulación de deuda técnica y, finalmente, lograr una mayor eficiencia de desarrollo y calidad del producto.

(liblab.com)

Desarrollo deuda técnica activos técnicos

El Criterio de Kelly: Un Enfoque Matemático para las Decisiones de Seguros

2024-12-21

Este artículo explora cómo el criterio de Kelly puede utilizarse para tomar decisiones racionales sobre seguros. El autor desmiente ideas erróneas comunes sobre los seguros, argumentando que es un problema matemático, no filosófico. La idea principal es que el seguro evita grandes reducciones de la riqueza, acelerando el crecimiento de los intereses compuestos. Se presenta una fórmula para calcular el valor (V) del seguro, considerando la riqueza actual, la prima, la probabilidad de accidentes y el coste. Ejemplos de seguros de motocicleta y de helicóptero ilustran los cálculos y el impacto de la franquicia. El autor explica cómo las compañías de seguros obtienen beneficios y la relatividad de los costes.

(entropicthoughts.com)

Varios Gestión de Riesgos

Reglas para evitar errores comunes en ensamblador inline extendido

2024-12-21

Este artículo no es un tutorial de ensamblador inline, sino un resumen de seis reglas para evitar errores comunes. El autor destaca que el ensamblador inline es traicionero y debe evitarse siempre que sea posible, ya que los compiladores modernos ofrecen intrínsecos y funciones integradas para la mayoría de los casos de uso. Si es inevitable, las reglas son: usar el calificador `volatile`; usar un `memory` clobber si se accede a la memoria; nunca modificar las restricciones de entrada; nunca llamar a funciones desde ensamblador inline; no definir etiquetas de ensamblador absolutas; y usar la característica de etiquetas locales del ensamblador para evitar conflictos de etiquetas. El artículo concluye animando a los lectores a practicar la aplicación de estas reglas revisando tutoriales online e incluso código generado por LLM.

(nullprogram.com)

Desarrollo ensamblador inline

NoDB: Procesamiento de Pagos sin Base de Datos

2024-12-21

En "El Manual del Ingeniero de Pagos", Alvaro Duran presenta un enfoque revolucionario para el diseño de sistemas de pago: procesar pagos sin base de datos. Argumenta que la prevalencia de la programación asíncrona se debe a la suposición de la necesidad de bases de datos. Utilizando el sourcing de eventos, cada paso en el proceso de pago se registra como un evento, no como un estado persistente. Estos eventos se almacenan temporalmente en memoria, y el sistema reconstruye el estado del pago a partir del flujo de eventos, eliminando la necesidad de almacenamiento persistente. Este enfoque de alto rendimiento y alta confiabilidad, inspirado en la negociación de alta frecuencia, permite una recuperación rápida de las interrupciones mediante copias de seguridad en caliente. El artículo detalla este concepto con un ejemplo de flujo de pago y analiza las aplicaciones futuras en sistemas de pago.

(news.alvaroduran.com)

Desarrollo Sourcing de eventos Pagos sin base de datos Negociación de alta frecuencia

@celine/bibhtml v3.0.3: Un Sistema de Referencias Basado en Web Components

2024-12-21

El sistema de referencias basado en Web Components para documentos HTML, @celine/bibhtml, ha lanzado la versión 3.0.3. Tiene como objetivo proporcionar una experiencia de usuario similar a la de las referencias en LaTeX/BibTeX, utilizando Citation.js como base y degradando con elegancia cuando las citas y las referencias están mal formadas o JavaScript está deshabilitado. Admite cuatro formatos de referencia: BibTeX, texto no estructurado, DOI y Wikidata, y ofrece tres elementos personalizados: ``, `` y ``, lo que simplifica la gestión de referencias en HTML.

(maxbo.me)

Desarrollo Gestión de Referencias

Avance innovador: Compilando C a Rust de forma segura

2024-12-21

Investigadores han desarrollado un nuevo método para compilar código C a Rust de forma segura. Esta técnica utiliza análisis estático y traducción dirigida por tipos para evitar la dependencia de bloques `unsafe` de Rust, garantizando así la seguridad de memoria. El método se ha aplicado con éxito a código de la biblioteca criptográfica HACL* y de las bibliotecas EverParse, resultando en una biblioteca criptográfica moderna verificada de 80.000 líneas en Rust puro, la primera de su tipo.

(arxiv.org)

Desarrollo Compilación C Seguridad de memoria

Ardillas de California sorprendidas comiendo carne: un descubrimiento sorprendente

2024-12-21

Un estudio reciente ha revolucionado lo que se sabía sobre las ardillas de California. Anteriormente consideradas granívoras (comedoras de granos), los investigadores observaron a estos roedores comunes cazando, matando y consumiendo topillos —pequeños roedores— durante el verano de 2024. Este sorprendente descubrimiento destaca las lagunas en nuestro conocimiento, incluso sobre animales familiares, y sugiere que las ardillas de California pueden ser omnívoras oportunistas, adaptando su dieta según la disponibilidad de alimentos. El comportamiento carnívoro observado, que alcanzó su punto máximo cuando aumentaron las poblaciones de topillos, demuestra su flexibilidad conductual y capacidad de adaptación a entornos cambiantes.

(gizmodo.com)

Varios Ardilla de California comportamiento carnívoro

Programador crea juego pseudo-3D en Bash

2024-12-20

Un programador llamado izabera ha desarrollado un impresionante juego pseudo-3D utilizando el lenguaje de scripting Bash. Este proyecto, un homenaje al clásico juego Wolfenstein 3D, es de código abierto en GitHub. El código es conciso, pero el resultado es sorprendente, mostrando el poder de Bash y la ingeniosidad del programador. El repositorio incluye el código fuente del juego y videos de demostración. Los desarrolladores interesados en aprender más pueden consultarlo en GitHub.

(github.com)

Desarrollo Desarrollo de Juegos

El emulador Delta triplica los precios de las compras dentro de la app de Apple para fomentar los clics externos

2024-12-20

El desarrollador Riley Testut, del emulador de juegos Delta, ha triplicado el precio de las compras integradas en la App Store de Apple para animar a los usuarios a suscribirse a través de Patreon. Esta estrategia aprovecha la nueva política de Apple que permite enlaces a plataformas de pago externas, a la vez que protesta contra el sistema de compras integradas de Apple. Las suscripciones a Patreon ofrecen ventajas adicionales, como compatibilidad con iPad y SEGA Genesis, acceso a un servidor Discord privado y un sistema de reembolso y atención al cliente más cómodo.

(www.theverge.com)

Juegos emulador de juegos compra integrada

io_uring obtiene nueva funcionalidad de creación de procesos

2024-12-20

LWN.net informa sobre el desarrollo de una nueva función de creación de procesos para el subsistema io_uring. Esta funcionalidad se implementa mediante dos nuevas operaciones io_uring: IORING_OP_CLONE, que crea un nuevo proceso, e IORING_OP_EXEC, que realiza una llamada al sistema execveat() para cargar un nuevo programa. Esto promete una mayor eficiencia y permite que se ejecute una lógica más compleja, como la búsqueda de rutas, de forma asíncrona en el kernel. Sin embargo, la función aún se encuentra en sus etapas iniciales y tiene limitaciones, como la necesidad de ejecutar de forma síncrona las operaciones io_uring en el nuevo proceso. El desarrollo futuro tiene como objetivo aumentar la flexibilidad y, finalmente, fusionar la función en el kernel principal de Linux.

(lwn.net)

Desarrollo creación de procesos kernel de Linux

Comando DOS APPEND: Superando la Brecha entre lo Antiguo y lo Nuevo

2024-12-20

Durante la reconstrucción del código fuente de DOS 2.11, el autor se encontró con un desafío: el antiguo ensamblador MASM 1.25 no tenía soporte para directorios, lo que entraba en conflicto con la organización moderna de archivos usando una estructura de árbol. Para evitar un directorio monolítico, el autor empleó inteligentemente el comando DOS APPEND. APPEND es un programa TSR (Terminate and Stay Resident) que intercepta llamadas del sistema como la apertura de archivos y busca en una lista de rutas predefinida si el archivo no se encuentra en el directorio actual. Esto permitió que MASM 1.25 localizara archivos dentro de la estructura jerárquica, resolviendo la incompatibilidad y destacando la sorprendente utilidad de APPEND en escenarios específicos.

(www.os2museum.com)

Desarrollo

Anthropic Revela los Secretos para Crear Agentes de IA Eficaces

2024-12-20

Anthropic comparte sus conocimientos sobre la creación de agentes de IA eficaces, enfatizando la importancia de patrones simples y componibles en lugar de frameworks o bibliotecas complejas. El artículo diferencia entre flujos de trabajo y agentes, detallando varios patrones de creación de agentes, incluyendo encadenamiento de prompts, enrutamiento, paralelismo, coordinador-trabajador y evaluador-optimizador. Se destaca la importancia de mantener la simplicidad, la transparencia y una interfaz bien diseñada entre el agente y el ordenador. Finalmente, el artículo resalta el valor práctico de los agentes de IA con ejemplos en atención al cliente y agentes de codificación.

(www.anthropic.com)

IA flujos de trabajo

Herramientas de compilación Monorepo: Escalando tu base de código

2024-12-20

Las herramientas de compilación tradicionales tienen dificultades con grandes bases de código (100-10.000 desarrolladores activos). Las herramientas de compilación Monorepo como Bazel y Mill ofrecen soluciones, soportando múltiples lenguajes, tareas de compilación personalizadas, caché y paralelización automáticas, caché y ejecución remota, mejorando drásticamente la velocidad y eficiencia de la compilación. También incluyen selección de pruebas basada en dependencias y sandbox de tareas de compilación, reduciendo el tiempo de prueba y el no-determinismo. Si bien estas características pueden parecer innecesarias para proyectos pequeños, son cruciales para la colaboración a gran escala y la integración continua en proyectos más grandes, evitando que los tiempos de compilación se conviertan en un cuello de botella.

(mill-build.org)

Desarrollo herramientas de compilación escalabilidad

OpenAI lanza SDK integrado en tiempo real para microcontroladores

2024-12-20

OpenAI ha lanzado el openai-realtime-embedded-sdk, que permite a los desarrolladores utilizar su API en tiempo real en microcontroladores como el ESP32. Compatible con Linux y ESP32S3, el SDK permite realizar pruebas en Linux sin necesidad de hardware físico. Después de instalar protobufc, configurar la plataforma de destino y configurar el WiFi y las claves de la API de OpenAI, los desarrolladores pueden construir e implementar aplicaciones. Esto amplía las capacidades de IA de OpenAI a dispositivos integrados, abriendo puertas a aplicaciones innovadoras de IoT y computación perimetral.

(github.com)

IA API en tiempo real SDK integrado

Revival Retro: Conectando un Tandy Coco a Internet con FujiNet

2024-12-20

Este artículo detalla el viaje del autor al conectar un antiguo ordenador Tandy Coco a internet utilizando el proyecto FujiNet, una ambiciosa iniciativa de código abierto que pretende ser el único periférico necesario para ordenadores antiguos. El autor se enfrentó a desafíos durante el proceso de montaje, incluyendo dificultades de soldadura, errores de hardware y problemas de compatibilidad de software. A pesar de estos obstáculos, logró conectarse a internet y ejecutar varias aplicaciones, incluyendo un rastreador de la ISS y juegos. La experiencia destaca el dinamismo de la comunidad de código abierto y el potencial de la retrocomputación, mostrando la diversión de la reparación de hardware y el desarrollo de software.

(www.leadedsolder.com)

Tecnología retrocomputación conectividad a internet

2024 en Matemáticas: Avances y el Ascenso de la IA

2024-12-20

2024 fue un año trascendental para las matemáticas, marcado por una serie de avances significativos. Un equipo de nueve matemáticos demostró la conjetura de Langlands geométrica —una prueba de 800 páginas aclamada como un logro excepcional— conectando áreas distintas de las matemáticas. Se realizaron otros avances importantes en geometría, resolviendo conjeturas de larga data y proporcionando contraejemplos sorprendentes. Simultáneamente, la inteligencia artificial logró grandes avances, con el modelo AlphaProof de Google DeepMind alcanzando resultados notables en la Olimpiada Internacional de Matemáticas, sugiriendo el potencial de la IA como un 'copiloto' para futuras investigaciones matemáticas. Estos logros destacan no solo el progreso significativo en la comprensión matemática, sino también el potencial transformador de la IA en la configuración del futuro del campo.

(www.quantamagazine.org)

IA avances matemáticos

← Previous 1 2 3 4 5 6 7 8 9 … 19 20 Next →