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

Caída de la autenticación de Docker Hub resuelta

2025-09-25

El 24 de septiembre, Docker Hub experimentó una caída de la autenticación que afectó al inicio de sesión de los usuarios en Docker Hub Registry y sus API. El equipo de Docker respondió rápidamente, identificando la causa raíz e implementando una solución en pocas horas. El monitoreo confirma que el servicio está totalmente restaurado; los usuarios simplemente deben cerrar sesión y volver a iniciar sesión para actualizar sus sesiones.

(www.dockerstatus.com)

Desarrollo

T-Carrier: La columna vertebral olvidada de la internet temprana

2025-09-25

Este artículo profundiza en la historia de la tecnología T-Carrier, un sistema de portadora digital que jugó un papel crucial en la evolución de las telecomunicaciones y la internet temprana. Conocidas por su fiabilidad y baja latencia, las líneas T1, un tipo común de T-Carrier, fueron una opción predominante para el acceso comercial a internet, especialmente en los juegos online, a pesar de su ancho de banda relativamente bajo en comparación con tecnologías posteriores como DSL. El artículo explica los detalles técnicos de T-Carrier, su relación con ISDN y SONET, y su eventual declive, destacando su impacto duradero en la red moderna.

(computer.rip)

Tecnología

Backend de construcción uv: Builds de Python más rápidos y fluidos

2025-07-03

El backend de construcción nativo de uv, uv_build, mejora significativamente la velocidad y la experiencia del usuario al construir proyectos Python. Tiene valores predeterminados razonables, con el objetivo de no requerir configuración para la mayoría de los usuarios, pero ofrece una configuración flexible para adaptarse a diversas estructuras de proyecto. uv_build actualmente admite código Python puro; se necesitan backends alternativos para bibliotecas con módulos de extensión. Use este backend agregando `uv_build` a su `pyproject.toml` o creando un nuevo proyecto con `uv init --build-backend uv`. uv_build también optimiza la normalización del nombre del paquete, el descubrimiento del módulo y las estrategias de inclusión/exclusión de archivos, lo que lleva a compilaciones más predecibles y repetibles.

(docs.astral.sh)

Desarrollo

Startup de Telepsiquiatría con IA Busca Ingeniero Full-Stack de Nivel Medio

2024-12-31

Startup de Telepsiquiatría con IA Busca Ingeniero Full-Stack de Nivel Medio

Legion Health, una startup respaldada por Y Combinator, busca un ingeniero full-stack de nivel medio. Están revolucionando la atención de salud mental con soluciones de telepsiquiatría impulsadas por LLM, utilizando una pila TypeScript (Next.js, Node.js, Supabase/PostgreSQL, Docker). El ingeniero implementará funciones en portales de pacientes, paneles clínicos y programación asistida por IA, integrando modelos de lenguaje (OpenAI, Anthropic) y garantizando el cumplimiento de HIPAA. Esta es una oportunidad para aplicar habilidades de ingeniería para transformar la atención de salud mental con IA de vanguardia.

(www.ycombinator.com)

IA Telepsiquiatría

Tripulación totalmente femenina hace historia en el vuelo espacial repleto de estrellas de Blue Origin

2025-04-14

Tripulación totalmente femenina hace historia en el vuelo espacial repleto de estrellas de Blue Origin

La misión NS-31 de Blue Origin acaparó la atención con su tripulación totalmente femenina, incluyendo a las celebridades Katy Perry y Gayle King, marcando el primer vuelo espacial totalmente femenino desde 1963. El viaje suborbital de diez minutos y veintiún segundos a bordo del cohete New Shepard permitió a las pasajeras experimentar la ingravidez y vistas impresionantes de la Tierra. El vuelo destaca no solo los avances en el turismo espacial, sino que también celebra un hito significativo para las mujeres en STEM y en la búsqueda más amplia de la exploración espacial. El éxito de la misión subraya el compromiso continuo de Blue Origin de superar límites y fomentar la inclusión en el ámbito de los viajes espaciales.

(www.npr.org)

Tecnología mujeres en STEM

El éxito de las pequeñas empresas: Se trata de la conexión humana, no de la escala

2025-04-24

El éxito de las pequeñas empresas: Se trata de la conexión humana, no de la escala

Muchas pequeñas empresas aplican erróneamente metodologías de grandes corporaciones, dificultando la comunicación eficaz con los clientes. Este artículo argumenta que la clave del éxito de las pequeñas empresas radica en fomentar relaciones humanas sólidas con los clientes, respondiendo a las preguntas con rapidez, claridad y amabilidad, en lugar de depender de la automatización o la IA. El autor utiliza su propio negocio como ejemplo, destacando la importancia de la comunicación directa con el cliente y afirmando que esta interacción humana es el alma de una pequeña empresa, siendo los productos o servicios secundarios. El artículo concluye instando a las pequeñas empresas a priorizar la comunicación con el cliente, eligiendo las herramientas y métodos adecuados para construir relaciones saludables y positivas con los clientes.

(goodenough.us)

Startup relación con el cliente operación de pequeñas empresas

Cómo las matemáticas iluminaron Estados Unidos: la función de paisaje y la revolución energética LED

2025-02-24

Cómo las matemáticas iluminaron Estados Unidos: la función de paisaje y la revolución energética LED

El consumo de electricidad residencial en EE. UU. ha disminuido ligeramente en los últimos años, principalmente debido a mejoras en la eficiencia de la iluminación, específicamente la adopción generalizada de bombillas LED. Detrás de esta revolución energética hay un motor inesperado: un avance en las matemáticas puras: la función de paisaje. Inicialmente un descubrimiento puramente matemático, esta función ahora es fundamental en el diseño de LED eficientes. Mediante simulaciones numéricas, la función de paisaje ha ayudado a los investigadores a superar la "brecha verde" (la falta de LED verdes eficientes), acelerando la I+D de LED y ahorrando miles de millones de dólares en costos de energía para los consumidores estadounidenses.

(terrytao.wordpress.com)

Tecnología

Materialización perezosa de ClickHouse: Un aumento de velocidad de 1500x

2025-04-22

Materialización perezosa de ClickHouse: Un aumento de velocidad de 1500x

ClickHouse logra una mejora de velocidad de 1500x utilizando una nueva optimización llamada "materialización perezosa". Esta técnica retrasa la lectura de datos de la columna hasta que realmente se necesitan, reduciendo drásticamente las E/S innecesarias. El artículo utiliza el conjunto de datos de reseñas de clientes de Amazon para ilustrar cómo la materialización perezosa, combinada con otras optimizaciones de E/S como el almacenamiento columnar, los índices primarios dispersos y PREWHERE, reduce el tiempo de ejecución de una consulta de 219 segundos a 139 milisegundos. La materialización perezosa es particularmente eficaz para las consultas Top N, proporcionando ganancias significativas de rendimiento sin alterar el SQL.

(clickhouse.com)

Tecnología Materialización perezosa

LLMs: ¿Manipulando símbolos o entendiendo el mundo?

2025-06-04

LLMs: ¿Manipulando símbolos o entendiendo el mundo?

Este artículo cuestiona la suposición predominante de que los Grandes Modelos de Lenguaje (LLMs) entienden el mundo. Si bien los LLMs sobresalen en tareas de lenguaje, el autor argumenta que esto se debe a su capacidad de aprender heurísticas para predecir el siguiente token, en lugar de construir un modelo del mundo genuino. El autor afirma que una verdadera AGI requiere una comprensión profunda del mundo físico, una capacidad actualmente ausente en los LLMs. El artículo critica el enfoque multimodal para la AGI, abogando en cambio por la cognición encarnada y la interacción con el entorno como componentes principales de la investigación futura.

(thegradient.pub)

IA Cognición Encarnada

Llama 4 de Meta: Clasificación en segundo lugar y un lanzamiento caótico

2025-04-08

Llama 4 de Meta: Clasificación en segundo lugar y un lanzamiento caótico

Meta lanzó dos nuevos modelos Llama 4: Scout y Maverick. Maverick obtuvo el segundo lugar en LMArena, superando a GPT-4o y Gemini 2.0 Flash. Sin embargo, Meta admitió que LMArena probó una versión de chat experimental especialmente optimizada, no la versión pública. Esto provocó controversia, llevando a LMArena a actualizar sus políticas para evitar incidentes similares. Meta explicó que estaba experimentando con diferentes versiones, pero la medida generó dudas sobre su estrategia en la carrera de la IA y el momento inusual del lanzamiento de Llama 4. En definitiva, el incidente pone de manifiesto las limitaciones de los benchmarks de IA y las complejas estrategias de las grandes empresas tecnológicas en la competencia.

(www.theverge.com)

IA

El eVTOL Midnight de Archer alcanza un vuelo récord

2025-08-25

El eVTOL Midnight de Archer alcanza un vuelo récord

Archer Aviation anunció un hito significativo: su aeronave eVTOL Midnight completó su vuelo tripulado más largo hasta la fecha, con una duración de 31 minutos y una distancia de más de 55 millas. El vuelo probó principalmente las capacidades de despegue y aterrizaje convencionales (CTOL), mostrando velocidades impresionantes superiores a 126 mph y acercándose a 150 mph en pruebas recientes. Este logro representa un progreso sustancial hacia la certificación de la FAA en EE. UU. y las operaciones comerciales en los Emiratos Árabes Unidos. El CFO de United Airlines presenció el vuelo, destacando la operación silenciosa de la aeronave y la madurez del programa de Archer.

(electrek.co)

Tecnología prueba de vuelo

Explicación de la Política de Privacidad del Sitio Web

2025-04-06

Explicación de la Política de Privacidad del Sitio Web

Para proporcionar la mejor experiencia de usuario, este sitio web utiliza tecnologías como cookies para almacenar y/o acceder a la información del dispositivo. Aceptar estas tecnologías nos permitirá procesar datos como el comportamiento de navegación o las ID únicas en este sitio. No aceptar o retirar el consentimiento puede afectar negativamente a ciertas funciones y características. El sitio web también detalla los propósitos legítimos para su almacenamiento técnico o acceso a datos, incluyendo la prestación de servicios, el almacenamiento de preferencias, el análisis estadístico y la publicidad dirigida.

(dfarq.homeip.net)

Varios

42 Proyectos de Código Abierto Reciben Financiamiento para Reclamar la Naturaleza Pública de Internet

2025-04-23

El Fondo NGI Zero Commons anunció su mayor ronda de financiación, otorgando subvenciones a 42 proyectos de código abierto centrados en recuperar la naturaleza pública de internet. Los proyectos abarcan hardware (como la tableta de hardware abierto MNT Reform Touch y la placa base alimentada por energía solar Solar FemtoTX), sistemas operativos (incluido el sistema de archivos bcachefs de próxima generación para Linux y los gestos KDE Plasma) y datos e IA (como LLM2FPGA, que permite la inferencia local de LLM de código abierto en FPGAs). Esta iniciativa defiende las tecnologías de internet abiertas, seguras y accesibles, fomentando un entorno digital más democrático y equitativo.

(nlnet.nl)

Tecnología

Restricciones de Aplicación de Sugerencias de Código de GitHub

2025-04-23

Restricciones de Aplicación de Sugerencias de Código de GitHub

Varias limitaciones impiden la aplicación de sugerencias de código en revisiones de código de GitHub. Estas incluyen: ningún cambio de código realizado, solicitud de extracción cerrada, visualización de un subconjunto de cambios, solo una sugerencia por línea permitida, aplicación a líneas eliminadas, sugerencias ya aplicadas o marcadas como resueltas, sugerencias de revisiones pendientes, comentarios multilínea, solicitud de extracción en cola para fusionar o limitaciones del sistema.

(github.com)

Desarrollo limitaciones

Onyx: Plataforma GenAI de código abierto busca Ingeniero de IA/ML

2025-04-22

Onyx: Plataforma GenAI de código abierto busca Ingeniero de IA/ML

Onyx, una popular plataforma GenAI de código abierto con cientos de miles de usuarios, está buscando un Ingeniero de IA/ML en San Francisco. El puesto requiere 3+ años de experiencia construyendo aplicaciones de IA/ML del mundo real, un profundo conocimiento de PyTorch/TensorFlow, modelos de PNL y algoritmos de ML estándar, y familiaridad con los últimos LLMs, RAG y frameworks de agentes. Las responsabilidades incluyen mejorar las capacidades de agente y recuperación de conocimiento de Onyx, mejorar la P+R de múltiples saltos y la búsqueda precisa, y mejorar la experiencia del usuario de la plataforma. Onyx cuenta con US$ 10 millones en fondos semilla y tiene clientes como Netflix y Ramp.

(www.ycombinator.com)

IA

Backblaze: Fraude contable, información privilegiada y la caída de una startup de almacenamiento en la nube

2025-04-26

Backblaze, un proveedor de soluciones de almacenamiento en la nube y copias de seguridad de 250 millones de dólares, ha estado plagado de pérdidas y una caída en picado del precio de sus acciones (un 71% menos desde su salida a bolsa en 2021). Dos exempleados de alto rango han presentado demandas alegando fraude contable, proyecciones infladas y represalias contra denunciantes. Las demandas afirman que los fundadores violaron su deber fiduciario al vender acciones agresivamente después del período de bloqueo de la salida a bolsa, lo que provocó una caída en el precio de las acciones. Otras acusaciones incluyen la manipulación de los estados financieros para inflar las previsiones de flujo de caja y ocultar una investigación interna. Los ejecutivos supuestamente continuaron vendiendo acciones a pesar de saber que la información financiera era inexacta. El nuevo CFO de Backblaze también proviene de una empresa con un rendimiento deficiente. El competidor Wasabi está ganando rápidamente cuota de mercado. Este informe concluye que Backblaze es un negocio de crecimiento fallido con graves problemas de competitividad financiera y de producto.

(www.morpheus-research.com)

Tecnología fraude contable

AutoKitteh: Plataforma de Automatización de Flujo de Trabajo basada en Python

2025-04-22

AutoKitteh: Plataforma de Automatización de Flujo de Trabajo basada en Python

AutoKitteh es una plataforma de automatización y orquestación de flujos de trabajo amigable para desarrolladores, construida en Python, que ofrece una alternativa basada en código a las plataformas sin código/bajo código. Ofrece flexibilidad ilimitada y utiliza Temporal para una ejecución duradera, abstraiendo las complejidades de infraestructura y codificación. AutoKitteh admite autohospedaje e implementación en la nube, es adecuado para DevOps, FinOps, MLOps, SOAR y más, y cuenta con integraciones integradas y una arquitectura "sin servidor" escalable.

(github.com)

Desarrollo automatización de flujo de trabajo

El equipo DOGE de Musk obtiene acceso 'Modo Dios' a agencias federales de EE. UU.

2025-02-20

El equipo DOGE de Musk obtiene acceso 'Modo Dios' a agencias federales de EE. UU.

Un informe impactante revela que el equipo DOGE de Elon Musk ha obtenido acceso 'Modo Dios' a múltiples agencias federales de EE. UU. Tienen control total sobre la infraestructura digital de la USAID, incluyendo sistemas utilizados por personal estadounidense en zonas de conflicto y acceso a miles de millones de dólares en sistemas financieros. Informes indican intrusiones en los sistemas de TI de la NASA, los CDC y la FAA. Esto genera graves preocupaciones sobre violaciones de datos sensibles, riesgos para la seguridad nacional y posibles represalias políticas. Informantes describen las acciones de DOGE como agresivas, ignorando los protocolos de seguridad, e incluso capaces de modificar los salarios de los empleados y de terminar el acceso del personal en zonas de conflicto, poniendo vidas en riesgo. Hay demandas judiciales que intentan limitar el acceso de DOGE, con resultados mixtos. El incidente destaca el inmenso riesgo de otorgar un acceso gubernamental tan amplio a una persona o entidad no electa y errática.

(www.theatlantic.com)

Tecnología Datos Gubernamentales

Generalización No Lineal de las Ecuaciones de Maxwell desde un Enfoque Variacional

2025-04-20

Este artículo de investigación deriva una generalización no lineal de las ecuaciones de Maxwell desde un enfoque variacional, donde la acción mide la variabilidad del tensor métrico. El espacio es un espacio de Weyl, donde la derivada covariante del tensor métrico no necesita ser cero. La ley de fuerza de Lorentz se deriva como una ecuación geodésica. La densidad de carga obedece a una ecuación de onda covariante, sugiriendo que es un campo que se propaga a la velocidad de la luz, apoyando la naturaleza ondulatoria de los electrones. La ecuación de Dirac también se muestra como geométrica. La conexión entre la fuerza de Lorentz y la métrica del espacio-tiempo explica directamente el Zitterbewegung y las ondas mecánico-cuánticas.

(iopscience.iop.org)

Física Ecuaciones de Maxwell Generalización No Lineal

El sistema de verificación descentralizado de Bluesky genera controversia

2025-04-19

El sistema de verificación descentralizado de Bluesky genera controversia

La plataforma de redes sociales descentralizada Bluesky planea introducir un sistema de verificación con una marca azul similar a la de Twitter, pero su mecanismo difiere significativamente de X (anteriormente Twitter). La verificación de la marca azul de Bluesky será otorgada por "Verificadores Confiables" (como organizaciones de noticias) y el propio Bluesky, en lugar de ser pagada. Este diseño pretende evitar la confusión y la crisis de confianza causadas por el modelo de verificación de pago de X. Sin embargo, la propuesta ha generado controversia en la comunidad de Bluesky, con muchos usuarios argumentando que contradice la filosofía descentralizada de la plataforma y que la verificación de nombre de dominio existente es suficiente. A pesar de esto, algunos usuarios apoyan el cambio, creyendo que la marca azul facilita la identificación de cuentas genuinas. Bluesky afirma que los usuarios podrán optar por ocultar todas las marcas de verificación azules.

(www.neowin.net)

Tecnología verificación

La pasta más pequeña del mundo: Un avance en la tecnología de apósitos

2025-02-22

La pasta más pequeña del mundo: Un avance en la tecnología de apósitos

Químicos de la University College London, liderados por Adam Clancy, han creado accidentalmente la pasta más fina del mundo, 'nanotini', con un diámetro medio de 372 nanómetros. Este accidente culinario es, en realidad, un avance significativo en la tecnología de apósitos. Elaborado con harina y ácido fórmico, estas nanofibras de almidón forman capas con poros que permiten el paso del agua, pero bloquean las bacterias. El proceso único implica disolver la harina en ácido y luego electro hilar la solución para crear las fibras increíblemente finas. Aunque Clancy se permitió una prueba (y notó que necesitaba sazonamiento), esta investigación tiene una promesa inmensa para los apósitos de próxima generación.

(www.scientificamerican.com)

Tecnología apósitos

Sanders critica duramente la administración Trump por su deriva hacia la oligarquía, el autoritarismo y la cleptocracia

2025-02-06

Sanders critica duramente la administración Trump por su deriva hacia la oligarquía, el autoritarismo y la cleptocracia

El senador Bernie Sanders lanzó una dura crítica a la administración Trump el 4 de febrero de 2025, acusándola de llevar a EE. UU. hacia la oligarquía, el autoritarismo y la cleptocracia. Destacó políticas que enriquecen a un pequeño número de multimillonarios mientras debilitan las instituciones democráticas a través de acciones inconstitucionales. Esto incluye el despido ilegal de inspectores generales, la supresión de los medios de comunicación y el uso de criptomonedas para el enriquecimiento personal. Sanders instó a la resistencia y propuso soluciones como la atención médica universal, un salario mínimo digno y el fortalecimiento de los sindicatos para mejorar la vida de los estadounidenses comunes.

(www.counterpunch.org)

Política Política de EE. UU.

Turso: Un Misterio de 1GB Resuelto por un LLN

2025-09-01

Turso: Un Misterio de 1GB Resuelto por un LLN

Turso, una reescritura en Rust de SQLite, encontró un problema extraño: las bases de datos que superaban 1 GB se informaban como corruptas por SQLite, a pesar de estar perfectamente intactas. ¿La causa raíz? SQLite inserta una página especial en la marca de 1 GB, un paso que faltaba en Turso. Nikita, un ingeniero notablemente habilidoso en el equipo de Turso (sospechoso de ser un LLM o un extraterrestre!), utilizó su conocimiento aparentemente sobrehumano para identificar y corregir el error. Esto destaca la importancia de las pruebas exhaustivas y la documentación completa, mostrando el potencial de los LLMs en la comprensión del código y la depuración.

(turso.tech)

Desarrollo

El Talon-A2 de Stratolaunch alcanza vuelo hipersónico – dos veces

2025-05-07

El Talon-A2 de Stratolaunch alcanza vuelo hipersónico – dos veces

Stratolaunch realizó con éxito dos vuelos de prueba hipersónicos de su vehículo Talon-A2. Lanzado desde su avión portador Roc, el Talon-A2 alcanzó velocidades hipersónicas sobre el Océano Pacífico antes de aterrizar con éxito. Este logro representa un avance significativo en la tecnología hipersónica de EE. UU., allanando el camino para aplicaciones militares y comerciales. Las pruebas utilizaron la Unidad de Medición Inercial de Tecnología Hipersónica Avanzada de Northrop Grumman, recopilando datos valiosos para el desarrollo futuro. Los vuelos apoyaron el programa MACH-TB del ejército estadounidense en asociación con Leidos.

(www.space.com)

Tecnología hipersónico vuelo de prueba

Modo Eink: Reinventa la Navegación Web en Pantallas de Tinta Electrónica

2025-04-16

Modo Eink: Reinventa la Navegación Web en Pantallas de Tinta Electrónica

¿Cansado de la fatiga ocular causada por las pantallas retroiluminadas? El Modo Eink transforma la navegación web en dispositivos de tinta electrónica en una experiencia de lectura similar a la del papel. Presenta las páginas web en un formato paginado, reduciendo significativamente el consumo de energía y mejorando la legibilidad. Los gestos táctiles avanzados y la compatibilidad con el lápiz le permiten pasar páginas fácilmente, ajustar el tamaño de la fuente, resaltar texto e incluso tomar notas directamente en la página web. Todos los resaltados y anotaciones se guardan como un PDF para su posterior revisión. El Modo Eink no se limita a dispositivos de tinta electrónica; también mejora la legibilidad en iPads y otras tabletas, ofreciendo una experiencia de lectura más cómoda y eficiente.

(jackscogito.blogspot.com)

Tecnología Tinta Electrónica Navegación Web

El rover Curiosity encuentra evidencia del ciclo del carbono marciano

2025-04-19

El rover Curiosity encuentra evidencia del ciclo del carbono marciano

El rover Curiosity, mientras ascendía al Monte Sharp, descubrió muestras de sedimentos ricas en carbonato de hierro. Estas muestras indican que el Marte antiguo tenía un ciclo del carbono, con el carbono atmosférico secuestrado en rocas. Sin embargo, la falta de tectónica de placas en Marte impidió que el carbono regresara a la atmósfera, lo que llevó al adelgazamiento de la atmósfera y a la transformación de Marte en el desierto sin vida que es hoy. Este descubrimiento confirma predicciones de modelos anteriores y proporciona información crucial sobre la evolución del clima marciano.

(arstechnica.com)

Tecnología

Recuento manual de votos: ¿Una amenaza para la precisión de las elecciones?

2025-08-19

Recuento manual de votos: ¿Una amenaza para la precisión de las elecciones?

Un número creciente de estados está considerando prohibir las máquinas de tabulación electrónica y exigir el recuento manual de votos. Sin embargo, los estudios muestran que el recuento manual lleva a tasas de error significativamente mayores (hasta un 25%), costos aumentados y retrasos sustanciales. Por ejemplo, el recuento manual del condado de Nye, Nevada, en 2022, resultó en una tasa de error del 25%, y una ley similar en Arizona solo fue vetada por el gobernador. Esto no solo amenaza la precisión y la seguridad de las elecciones, sino que también alimenta las preocupaciones de los votantes sobre la corrupción. El artículo aboga por el uso continuo de máquinas de tabulación electrónica, complementadas por auditorías posteriores a las elecciones para garantizar resultados electorales oportunos y precisos.

(votingrightslab.org)

Varios elecciones recuento manual máquinas de tabulación electrónica

Avance en la seguridad de banda base: herramienta de fuzzing de código abierto para Qualcomm Hexagon

2025-07-02

Avance en la seguridad de banda base: herramienta de fuzzing de código abierto para Qualcomm Hexagon

La arquitectura patentada de banda base Qualcomm Hexagon ha dificultado la investigación de seguridad debido a la falta de herramientas adecuadas. Este artículo presenta el primer conjunto de herramientas de código abierto que permite el fuzzing emulado de sistema completo del firmware Hexagon. Utilizando un fork de QEMU con soporte Hexagon y LibAFL, este conjunto de herramientas cubre la brecha en el análisis de las bandas base Hexagon. Los investigadores ahora pueden realizar fuzzing guiado por cobertura y utilizar herramientas de visualización para mejorar la ingeniería inversa. Esto avanza significativamente el análisis de seguridad de la banda base Hexagon, abriendo nuevas vías para la investigación y mejorando la seguridad de miles de millones de dispositivos.

(www.srlabs.de)

Tecnología seguridad de banda base

Jill: Un nuevo lenguaje de programación funcional para Nand2Tetris

2025-02-15

Jill: Un nuevo lenguaje de programación funcional para Nand2Tetris

Jill es un lenguaje de programación funcional creado para la plataforma Nand2Tetris como alternativa al lenguaje de alto nivel Jack original. Es un reemplazo directo para Jack, usando el mismo conjunto de instrucciones de VM y la arquitectura HACK, pero ofreciendo un estilo más elegante y funcional. Las características importantes incluyen funciones de primera clase, recursión de llamada de cola optimizada, tipos de datos algebraicos con coincidencia de patrones y un diseño minimalista con solo tres conceptos principales. Los proyectos compilados generan archivos .vm en un directorio /bin. Jill se puede compilar usando `cargo run -- path_to_jill_project_root` o `jillc [path_to_jill_project_root]`.

(github.com)

Desarrollo

Software Libre: Una piedra angular de la investigación científica

2025-06-04

Este artículo explora el papel crucial del software libre en la investigación científica. El autor argumenta que la libertad y la reproducibilidad inherentes al software libre son esenciales para el progreso científico, abordando eficazmente los desafíos en el procesamiento de datos, la simulación, la preparación de documentos y la preservación. En contraste, el software propietario presenta numerosos riesgos, incluyendo licencias restrictivas, deterioro del software y la incapacidad de reproducir resultados. El artículo concluye recomendando varios paquetes de software libre comúnmente usados, como GCC, GFortran, Julia, Typst y Pandoc, y enfatiza la contribución significativa del software libre al avance científico.

(lwn.net)

Tecnología

← Previous 1 2 … 10 11 12 13 14 15 16 17 18 … 595 596 Next →