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

El "Mejor" en la Resolución de Sobrecarga de C++: Una Inmersión Profunda en las Conversiones de Tipos

2025-03-17

Este artículo profundiza en las complejidades de la resolución de sobrecarga en C++, específicamente en las esquivas reglas de "mejor" para las conversiones de tipo implícitas. A través de explicaciones detalladas y ejemplos de secuencias de conversión estándar, incluyendo conversiones de cualificación, el autor desentraña cómo el compilador elige la mejor coincidencia de función. Los ejemplos de código y los análisis paso a paso muestran la mecánica intrincada y, a veces, desconcertante del sistema de tipos de C++, llevando finalmente a una reflexión sobre la practicidad de las conversiones implícitas.

(consteval.ca)

Desarrollo resolución de sobrecarga conversión de tipos

Lanzamiento de HTTrack 3.49-2: Correcciones de motor y mejoras

2025-03-18

Se ha lanzado la versión 3.49-2 de HTTrack, con mejoras en el motor como mantener la conexión, el manejo de redirecciones, nuevas tablas hash y pruebas unitarias. Este navegador offline gratuito y de código abierto te permite descargar sitios web completos localmente, preservando la estructura de enlaces del sitio y todos los archivos (HTML, imágenes, etc.), lo que permite la navegación offline. Hay versiones disponibles para Windows y Linux/Unix/BSD.

(www.httrack.com)

Desarrollo descargador de sitios web

Cómo conseguí un 100% de descuento en mis viajes en tren en el Reino Unido

2025-03-19

Cómo conseguí un 100% de descuento en mis viajes en tren en el Reino Unido

Los altos retrasos de los trenes en el Reino Unido llevaron a un inteligente plan de ahorro de dinero. Al predecir retrasos usando huelgas, obras de ingeniería planificadas y mal tiempo, el autor recibió consistentemente reembolsos completos, obteniendo esencialmente viajes en tren de larga distancia gratuitos. El 'Paradigma de Predicción de Retrasos de Tren' (TDPP) implica monitorear información pública para maximizar las posibilidades de retrasos y solicitar reembolsos. Si bien es eficaz, el autor aconseja usar esto para hacer el trabajo y prepararse para viajes potencialmente largos.

(readbunce.com)

Varios trenes del Reino Unido ahorro de dinero consejo de vida

ParticleOS: Una distribución Linux inmutable y totalmente personalizable

2025-04-11

ParticleOS: Una distribución Linux inmutable y totalmente personalizable

ParticleOS es una distribución Linux inmutable única que permite a los usuarios construir y firmar sus propias imágenes, dándoles control total sobre la configuración del sistema. Los usuarios eligen la distribución base (actualmente, se admiten Arch y Fedora) y los paquetes que desean. Las actualizaciones del sistema se gestionan clonando el repositorio y ejecutando comandos mkosi. Se recomienda construir systemd desde el código fuente para garantizar que todas las funciones funcionen correctamente. ParticleOS utiliza las claves del usuario para la firma de arranque seguro y proporciona instrucciones de instalación detalladas, incluida la instalación de la unidad USB y la configuración de systemd-homed. En máquinas virtuales, la contraseña raíz predeterminada y el nombre de usuario son 'particleos'.

(github.com)

Desarrollo sistema inmutable inicio seguro

Estudio de Stanford: Las energías renovables son más rentables que la captura de carbono

2025-02-15

Estudio de Stanford: Las energías renovables son más rentables que la captura de carbono

Un estudio de la Universidad de Stanford revela que la transición a un 100% de energía eólica, solar, geotérmica e hidroeléctrica para 2050 sería mucho más rentable que las tecnologías de captura de carbono para la mayoría de los países del mundo. Este cambio reduciría significativamente las necesidades y los costos de energía, mejoraría la calidad del aire y mitigaría el cambio climático. La investigación comparó dos escenarios extremos: un cambio completo a energías renovables frente a la continua dependencia de los combustibles fósiles con captura de carbono adicional. El estudio descubrió que la transición a energías renovables evitaría millones de enfermedades y muertes anuales relacionadas con la contaminación del aire de los combustibles fósseis, lo que la convierte en una solución superior y más rentable que la captura de carbono. Los investigadores abogan por el abandono de las políticas que promueven la captura de carbono, argumentando que la eliminación de la combustión es crucial para abordar la contaminación del aire y el cambio climático.

(techxplore.com)

Tecnología

El vuelo de prueba del SpaceX Starship termina en otra explosión

2025-03-07

El vuelo de prueba del SpaceX Starship termina en otra explosión

El enorme cohete Starship de SpaceX lanzó otro vuelo de prueba desde Starbase en Boca Chica, Texas, el jueves, pero perdió contacto minutos después del vuelo cuando la nave espacial se desplomó y se desintegró. Se vieron restos de la explosión sobre Florida. Si bien el propulsor de primera etapa se recuperó con éxito, los motores de la nave espacial se apagaron durante lo que se suponía que sería una reentrada controlada sobre el Océano Índico. Se perdió el contacto cuando la nave espacial giró fuera de control. La Starship alcanzó casi 90 millas de altitud antes de que comenzaran los problemas, sin lograr desplegar cuatro satélites simulados. SpaceX declaró que la nave espacial experimentó un 'desmontaje no programado rápido' durante el encendido del motor de ascenso. A pesar del revés, SpaceX continúa desarrollando la Starship con el objetivo de llevar astronautas a la Luna y, eventualmente, llegar a Marte.

(www.npr.org)

Tecnología Prueba de cohete

Cargo Contrata a su Primer AE: Ventas Impulsadas por IA, Propiedad de Ciclo Completo

2025-03-07

Cargo Contrata a su Primer AE: Ventas Impulsadas por IA, Propiedad de Ciclo Completo

Cargo está buscando a su primer ejecutivo de cuentas de ciclo completo para revolucionar su estrategia de GTM utilizando IA y automatización. Esto no se trata solo de alcanzar la cuota; se trata de moldear el futuro de las ventas en un mundo que prioriza la IA. El candidato ideal cuenta con una sólida experiencia en ventas B2B SaaS, un historial comprobado de superar las cuotas y comodidad con las herramientas de IA y automatización. Este puesto ofrece una propiedad significativa, cubriendo todo el ciclo de ventas, con el potencial de construir y liderar su propio equipo. Cargo ofrece una compensación y beneficios competitivos, incluyendo participación accionaria, vacaciones ilimitadas y sólidos programas de desarrollo de empleados, fomentando un ambiente colaborativo y acelerado.

(www.ycombinator.com)

Startup Ventas con IA

Koniku: Construyendo el futuro de la computación con neuronas vivas

2025-02-24

Koniku: Construyendo el futuro de la computación con neuronas vivas

Koniku está intentando construir computadoras diferentes a cualquier otra que haya existido, utilizando neuronas vivas. El fundador Oshiorenoya Agabi y su equipo en Berkeley, California, están desarrollando un chip híbrido de neuronas y silicio, llamado Koniku Kore, inicialmente para la detección de productos químicos, con futuras aplicaciones que abarcan el desarrollo de fármacos, la agricultura y el tratamiento de enfermedades neurológicas. La empresa ha firmado contratos con empresas de defensa y de productos de consumo y planea lanzar un chip para desarrolladores. Si bien existen desafíos, como el cultivo de neuronas y la interpretación de señales, la innovación de Koniku reside en su fusión de biología y electrónica, impulsando la IA de 'wetware' y desafiando las limitaciones de la computación tradicional basada en silicio.

(proto.life)

IA computación biológica neuronas

La Sorpresa Solar de Pakistán: De Estado Frágil a Gigante de Energía Limpia

2025-04-08

La Sorpresa Solar de Pakistán: De Estado Frágil a Gigante de Energía Limpia

En 2024, Pakistán, una nación durante mucho tiempo asociada con conflictos e inestabilidad, surgió inesperadamente a la vanguardia de la adopción global de energía solar, importando la asombrosa cantidad de 22 gigavatios de paneles solares en un solo año. Este notable logro no fue accidental. Dos décadas de mejoras graduales en la gobernanza y un enfoque pragmático en la política energética sentaron las bases. Aprovechando la caída de los precios de los paneles solares y el aumento de los costos de los combustibles fósiles, Pakistán simplificó las regulaciones, redujo las tarifas y facilitó la rápida adopción de la energía solar. Si bien persisten desafíos, como los choques de ingresos de las empresas de servicios públicos, la transformación de energía limpia de Pakistán ofrece una valiosa lección: incluso los estados frágiles pueden lograr un rápido progreso en energía limpia mediante una gobernanza eficaz y aprovechando las oportunidades del mercado global. La historia va más allá de la energía solar, abarcando la energía eólica, hidroeléctrica y de almacenamiento, mostrando una transición impulsada por el pragmatismo económico y la competencia silenciosa.

(cleantechnica.com)

Tecnología Energía Solar

Kit de Verificación Móvil de Amnistía Internacional: Una herramienta forense para la detección de spyware

2025-03-17

Kit de Verificación Móvil de Amnistía Internacional: Una herramienta forense para la detección de spyware

El Laboratorio de Seguridad de Amnistía Internacional lanzó el Mobile Verification Toolkit (MVT) en julio de 2021. Esta herramienta ayuda a simplificar y automatizar el proceso de recopilación de evidencia forense para identificar posibles comprometimientos en dispositivos Android e iOS. El MVT utiliza indicadores de compromiso (IOC) públicamente disponibles para buscar rastros de campañas de spyware conocidas, pero es crucial recordar que esto no garantiza la seguridad completa del dispositivo. Destinado a tecnólogos e investigadores familiarizados con la informática forense y las herramientas de línea de comandos, el MVT no es para autoevaluación general.

(github.com)

Tecnología informática forense Amnistía Internacional

Kit de inicio Elegoo Arduino Uno R3: Un viaje a través de experimentos electrónicos

2025-07-17

Kit de inicio Elegoo Arduino Uno R3: Un viaje a través de experimentos electrónicos

El autor se embarcó en un viaje de experimentación electrónica utilizando el Kit de inicio Elegoo Arduino Uno R3, explorando más de 200 componentes. Desde el control básico de LEDs hasta el control complejo de motores paso a paso, el autor documentó meticulosamente su proceso de aprendizaje, cubriendo PWM, expansión 74HC595, aplicaciones de sensores (ultrasónico, PIR, MPU-6050), control de actuadores (motores, servos) y varias interfaces de comunicación (serie, IR, RFID). El artículo también profundiza en conceptos electrónicos básicos, como el disparo con retardo de circuito RC, e incluye experiencias interesantes de resolución de problemas.

(lopespm.com)

Desarrollo Experimentos electrónicos

Espacios en blanco en HTML: Una inmersión profunda en el lío y posibles soluciones

2025-02-07

Espacios en blanco en HTML: Una inmersión profunda en el lío y posibles soluciones

Este artículo profundiza en las complejidades del manejo de espacios en blanco en HTML. A través de numerosos ejemplos, el autor revela las diversas reglas que gobiernan el tratamiento de espacios en blanco en HTML, incluidas las diferencias entre elementos en línea y de bloque, etiquetas `

` y la propiedad CSS `white-space`, y cómo conducen a resultados de renderizado impredecibles. El artículo también analiza los desafíos que enfrentan las herramientas de formateo automático, los sistemas de gestión de contenido y las herramientas de minificación al tratar con espacios en blanco en HTML. Se propone una solución potencial: usar una sintaxis de comillas para distinguir entre espacios en blanco de código y espacios en blanco visibles para el usuario, aunque se reconoce que esto sería un cambio radical importante. Finalmente, el autor sugiere consejos prácticos para mitigar los problemas que surgen del manejo de espacios en blanco en HTML y propone agregar una nueva entidad HTML `&ncsp;` para representar un espacio no colapsable.

(blog.dwac.dev)

Desarrollo espacios en blanco

structured-logprobs: Mejora de la Fiabilidad de las Salidas Estructuradas de OpenAI

2025-01-14

structured-logprobs es una biblioteca Python de código abierto que mejora la fiabilidad de las salidas estructuradas de OpenAI proporcionando información detallada sobre la probabilidad logarítmica de los tokens. Funciona con la función de Salidas Estructuradas de OpenAI, garantizando respuestas consistentes que se ajustan a un Esquema JSON proporcionado, evitando claves que faltan o valores no válidos. La biblioteca ofrece dos métodos para integrar probabilidades logarítmicas: agregarlas como un campo separado o integrarlas directamente en el contenido del mensaje.

(arena-ai.github.io)

Desarrollo Salidas Estructuradas Probabilidades Logarítmicas

Combatir la corrupción del poder con la aleatoriedad: diseñando un sistema más justo

2025-07-15

Combatir la corrupción del poder con la aleatoriedad: diseñando un sistema más justo

Este artículo explora la Ley de Campbell (una variante de la Ley de Goodhart), afirmando que cualquier métrica utilizada para la toma de decisiones sociales es susceptible de manipulación. Utilizando la selección de puestos de autoridad como ejemplo, muestra cómo los métodos tradicionales (elecciones, herencia) pueden ser manipulados, llevando a que quienes son hábiles en la manipulación, en lugar de los más cualificados, obtengan el poder. El autor propone la introducción de mecanismos de aleatoriedad (por ejemplo, juntas de revisión seleccionadas al azar, selección aleatoria de candidatos) para combatir esta corrupción, aumentando la justicia y la eficiencia, citando ejemplos históricos y modernos. En última instancia, el artículo argumenta que la aleatoriedad no excluye la excelencia, sino que la protege, evitando que las meritocracias sean dominadas por conspiradores y aduladores.

(assemblingamerica.substack.com)

Varios justicia

¿Por qué C para la Implementación de Códecs?

2025-03-08

¿Por qué C para la Implementación de Códecs?

Esta entrada de blog explora la elección del autor de C sobre Rust para implementar códecs. Si bien Rust ofrece un potente sistema de tipos y características de seguridad de memoria, estos beneficios tienen un coste de rendimiento en código de bajo nivel y crítico para el rendimiento, como los códecs. El autor argumenta que la simplicidad de C y el control directo sobre el hardware lo hacen más adecuado para el desarrollo de códecs de alto rendimiento. Ejemplos de implementaciones de PAQ8, bzip3 y LZ4 destacan los desafíos de gestión de memoria y optimización de rendimiento. El autor considera que la optimización de bajo nivel es más fácil en C. Si bien la seguridad de Rust es ventajosa, la sobrecarga es inaceptable en escenarios exigentes de rendimiento.

(palaiologos.rocks)

Desarrollo Códecs

Rompiendo con las Tareas Largas: Dominando los bucles asíncronos para el rendimiento web

2025-01-04

Rompiendo con las Tareas Largas: Dominando los bucles asíncronos para el rendimiento web

Este artículo profundiza en la optimización de bucles JavaScript para evitar el bloqueo del hilo principal y mejorar el rendimiento web. El autor destaca que el uso de bucles `for...of` o métodos como `forEach` directamente en arrays grandes puede crear tareas largas, lo que lleva a una experiencia de usuario lenta. La solución implica el uso de `scheduler.yield` o `setTimeout(0)` con `async/await` para dividir las tareas largas en tareas más pequeñas, cediendo el control después de cada iteración para mantener la capacidad de respuesta. El artículo explora además estrategias de procesamiento por lotes y optimización de la velocidad de fotogramas para equilibrar la capacidad de respuesta y la eficiencia del procesamiento. En última instancia, se recomienda elegir un tamaño y una estrategia de lote apropiados en función de las necesidades específicas de la aplicación para una experiencia de usuario óptima.

(calendar.perfplanet.com)

Desarrollo Rendimiento web Optimización JavaScript Programación asíncrona

T1: Un procesador vectorial RISC-V inspirado en Cray X1

2025-02-06

T1: Un procesador vectorial RISC-V inspirado en Cray X1

T1 es una implementación de procesador vectorial RISC-V inspirada en la máquina vectorial Cray X1. Cuenta con una microarquitectura basada en carriles con soporte intensivo para encadenamiento y VRF basados en SRAM. Admite los estándares Zve32f y Zve32x, y el VLEN/DLEN se puede aumentar hasta 64K, alcanzando el cuello de botella de la arquitectura vectorial RISC-V. Incluye características importantes de las máquinas vectoriales, como carriles, encadenamiento y una gran LSU pendiente de forma predeterminada, pero también puede ser una plataforma general para MMIO DSA. T1 está diseñado con Chisel y proporciona el T1Emulator. Se integra con cualquier núcleo escalar RISC-V y ofrece varias opciones de configuración para que los usuarios puedan equilibrar el rendimiento, el área y la frecuencia, permitiendo diseños de alta eficiencia o alto rendimiento.

(github.com)

Hardware Procesador Vectorial

La valoración de OpenAI de 157.000 millones de dólares: ¿Una burbuja de la IA?

2025-01-28

La valoración de OpenAI de 157.000 millones de dólares: ¿Una burbuja de la IA?

La reciente ronda masiva de financiación de OpenAI, que resultó en una valoración de 157.000 millones de dólares, ha generado un debate. El autor Ashu Garg argumenta que esta valoración sobreestima el valor futuro de OpenAI. Señala los altos costes de computación de OpenAI, la fuga de talento y un modelo de negocio insostenible. En contraste, empresas como Meta están construyendo robustos ecosistemas de IA mediante estrategias de código abierto, logrando costes operativos más bajos. Garg predice que los verdaderos ganadores en IA serán las startups que se centren en resolver problemas específicos del sector con aplicaciones de IA, en lugar de las que construyen modelos de propósito general.

(foundationcapital.com)

IA Valoración de IA Modelo de negocio de IA

Optimización de memoria del compilador Pascal retro: técnicas inteligentes de tokenización

2025-03-20

Este artículo profundiza en las estrategias de optimización de memoria de un compilador Pascal retro. Para adaptarse a la memoria limitada, el compilador emplea la tokenización, convirtiendo mensajes de error, palabras reservadas, identificadores y otros elementos en bytecodes. El artículo proporciona representaciones hexadecimales detalladas y los significados de los códigos de error, tokens de origen y códigos P (códigos de máquina pseudo), revelando cómo el compilador maneja eficientemente el proceso de compilación mediante la tokenización inteligente y la manipulación de bytecode. Esta es una lectura valiosa para quienes estudian el diseño de compiladores, la ingeniería inversa y la programación de sistemas embebidos.

(www.gammon.com.au)

Desarrollo diseño de compiladores optimización de memoria

Predicciones para 2025: Kernel de Linux, Software Libre y el Futuro Incierto

2025-01-17

Las predicciones de LWN.net para 2025 presentan una imagen de avances emocionantes y desafíos inminentes en el panorama del kernel de Linux y el software libre. El artículo prevé cambios transformadores con la clase de programación extensible (sched-ext), una mayor adopción de Rust en el kernel, el descubrimiento de nuevos intentos de puertas traseras, riesgos asociados con proyectos de un solo mantenedor, las posibles consecuencias del código generado por IA, un mayor apoyo a la IA generativa gratuita y a los mantenedores, fallos persistentes de productos en la nube y violaciones de datos, un aumento en el hardware abierto, un resurgimiento de las distribuciones de dispositivos móviles y el impacto de los factores geopolíticos. El año que se avecina promete grandes oportunidades y obstáculos considerables para la comunidad de software libre.

(lwn.net)

Desarrollo

Linux 6.14 añade soporte para la tecla Microsoft Copilot

2025-01-24

El kernel de Linux 6.14 introduce soporte para la tecla Microsoft Copilot que se encuentra en los nuevos portátiles precargados con Windows. Esta tecla, utilizada para iniciar el asistente de IA Microsoft Copilot o un software de chatbot similar, no estaba mapeada en Linux anteriormente. La actualización modifica el controlador de teclado atkbd, mapeando la tecla F23 al atajo de Copilot (Meta+Shift+F23). Además, Linux 6.14 cuenta con un soporte mejorado para controladores de juegos y otras mejoras en el subsistema de entrada.

(www.phoronix.com)

Desarrollo Soporte de Hardware

Redis: ¿Realmente lo necesitas?

2025-03-08

Durante más de una década y en tres empresas, el autor observó un patrón recurrente: Redis se usaba con frecuencia en exceso. Incluso en Tantan, un sistema de base de datos de alto rendimiento, Redis, inicialmente destinado a almacenar en caché una pequeña cantidad de datos de conteo de interacción del usuario, resultó innecesario. Podía almacenarse eficientemente directamente en PostgreSQL sin complejidad adicional. Se encontraron implementaciones innecesarias similares de Redis en otras dos empresas, agregando complejidad a sistemas de baja carga sin ganancias significativas de rendimiento. El autor aboga por una evaluación cuidadosa de las nuevas tecnologías, evitando la 'tecnología por la tecnología', y optando por alternativas más simples y confiables.

(www.viblo.se)

Desarrollo Selección de tecnología

Un Mundo al Revés: Christopher Hill y la Historia desde Abajo

2025-05-23

Un Mundo al Revés: Christopher Hill y la Historia desde Abajo

Este artículo examina la vida y obra de Christopher Hill, uno de los historiadores más prolíficos e influyentes del siglo XX. Formado por los movimientos de la vieja y la nueva izquierda, el trabajo académico de Hill, particularmente *El Mundo al Revés*, fue pionero en la 'historia desde abajo', enfocándose en la agencia de la gente común. Sus interpretaciones únicas de la Revolución Inglesa, compromiso inquebrantable con la igualdad social y atención meticulosa a los detalles impactaron profundamente los estudios históricos. Incluso en medio de debates con historiadores revisionistas, las contribuciones de Hill siguen siendo innegables, inspirando generaciones a ver a las personas trabajadoras no solo como sujetos, sino como agentes activos en la configuración de la historia.

(www.thenation.com)

Varios Revolución Inglesa Historia Social

La Gran Estafa de los Hubs USB-C: Una Historia de Desmontaje

2025-07-18

La Gran Estafa de los Hubs USB-C: Una Historia de Desmontaje

El autor compró tres hubs USB-C de diferentes marcas, solo para descubrir que todos usaban hardware casi idéntico, incluyendo el problemático chip de red Realtek RTL8153, lo que provocó problemas de compatibilidad con macOS. A pesar de las enormes diferencias de precio, el costo real era bajo, lo que destaca los enormes márgenes de beneficio de las marcas. Un hub incluso se sobrecalentó peligrosamente. Los desmontajes revelaron que estas marcas revendían productos de bajo costo, lo que llevó a un llamado a la conciencia del consumidor y al rechazo de la exageración del marketing.

(overengineer.dev)

Hardware Revisión de Hardware Consumismo Tecnológico

Disección del Muslo: Una Sinfonía de Diseño Biológico

2025-04-29

La disección de un muslo por un estudiante de medicina revela una estructura sorprendentemente intrincada. La fascia no está desorganizada; es una vaina cohesiva que envuelve los músculos, con la vena safena magna trazando un camino claro. Este arreglo ayuda eficientemente al retorno venoso, particularmente durante actividades intensas, donde las contracciones musculares impulsan el flujo sanguíneo para satisfacer las demandas de oxígeno. La elegante organización de los músculos del muslo refuerza aún más este diseño. El autor concluye que esto no es arbitrario, sino un producto de la selección natural, donde el movimiento es fundamental para la evolución, y la extremidad inferior es su punto crucial.

(ponnekanti.net)

Varios

DeepSeek-Prover-V2: Avanzando el razonamiento matemático formal mediante aprendizaje por refuerzo

2025-04-30

DeepSeek-Prover-V2: Avanzando el razonamiento matemático formal mediante aprendizaje por refuerzo

DeepSeek-Prover-V2 es un modelo de lenguaje grande de código abierto diseñado para la demostración de teoremas formales en Lean 4. Utiliza un pipeline de demostración de teoremas recursivo impulsado por DeepSeek-V3 y aprendizaje por refuerzo para integrar el razonamiento matemático informal y formal. El modelo comienza descomponiendo problemas complejos en subobjetivos usando DeepSeek-V3, sintetizando las demostraciones de estos subobjetivos para crear datos iniciales para el aprendizaje por refuerzo. DeepSeek-Prover-V2-671B logra un rendimiento de vanguardia, alcanzando una tasa de aprobación del 88,9% en MiniF2F-test y resolviendo 49 problemas de PutnamBench. También se presenta un nuevo conjunto de datos de referencia, ProverBench, que contiene 325 problemas formalizados de competiciones de secundaria y libros de texto.

(github.com)

IA Demostración de Teoremas demostración de teoremas

Discurso inaugural del Papa León XIV: Legado y Renovación

2025-05-10

En su discurso inaugural, el Papa León XIV expresó su respeto por su predecesor y su determinación de continuar su legado. Enfatizó la necesidad de seguir el espíritu del Concilio Vaticano II, continuar reformando la Iglesia, centrarse en la justicia social y los derechos humanos, particularmente ante los nuevos desafíos que plantea la era de la inteligencia artificial. Convocó a los miembros de la Iglesia a unirse y responder a los cambios de los tiempos con amor y fe, concluyendo con una cita de Pablo VI, esperando que la luz de la fe ilumine el mundo.

(www.vatican.va)

Varios

Fallo de seguridad grave: Tarjetas eSIM comprometidas, millones de usuarios en riesgo

2025-07-09

Security Explorations, un laboratorio de investigación de AG Security Research, ha descubierto una vulnerabilidad crítica en la tecnología eSIM. Han comprometido con éxito una tarjeta Kigen eUICC, extrayendo la clave privada para el certificado de consumidor GSMA. Esto permite a los atacantes descargar perfiles eSIM arbitrarios de los operadores de red móvil, obteniendo acceso a datos confidenciales del usuario y claves de red. La vulnerabilidad explota fallas conocidas de Java Card de 2019, demostrando que las eSIM no son tan seguras como se anuncia. Millones de usuarios que dependen de eSIM Kigen están en riesgo, destacando una debilidad significativa en la arquitectura eSIM.

(security-explorations.com)

Tecnología seguridad eSIM

Universidad renueva el plan de estudios de programación: Enfoque en el diseño explícito y sistemático

2024-12-19

El departamento de informática de la Northeastern University ha desarrollado un plan de estudios de programación único que enfatiza el diseño de programas explícito y sistemático, en lugar de centrarse en los lenguajes de programación de moda. El plan de estudios comienza con un lenguaje de enseñanza simple, introduciendo gradualmente los principios de diseño a los estudiantes antes de aplicarlos a lenguajes industriales. Este enfoque fomenta el razonamiento lógico y las habilidades para resolver problemas de software grandes y complejos. El plan de estudios también destaca los aspectos sociales de la programación, fomentando la programación en parejas para mejorar la comunicación y la colaboración. Este método no solo mejora las perspectivas laborales de los estudiantes, sino que también sienta una base sólida para sus futuras carreras.

(felleisen.org)

Desarrollo diseño de programa

Cazando un error fantasma incrustado: Error -22

2025-01-26

El equipo de Tweede golf encontró un error frustrante en su software incrustado Rust para el microcontrolador nRF9160, lo que resultó en el error Error::NrfError(-22) al enviar datos a un servidor. Después de semanas de investigación, rastrearon el problema hasta la función de inicialización de la biblioteca libmodem. Un puntero a una estructura de configuración asignada en la pila se usó después de que la estructura se destruyó, causando escrituras no intencionales en la configuración de la región de memoria compartida y resultando en una longitud de datos de 0. Agregar `black_box` y usar puntos de vigilancia finalmente localizaron y corrigieron el error. El equipo destacó los beneficios de usar Rust para el desarrollo incrustado para prevenir errores de bajo nivel como este.

(tweedegolf.nl)

Desarrollo sistemas empotrados

← Previous 1 2 … 422 423 424 425 426 427 428 429 430 … 595 596 Next →