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

Piccolo OS: Un pequeño sistema operativo multitarea para Raspberry Pi Pico

2024-12-19

Piccolo OS es un pequeño sistema operativo multitarea diseñado para Raspberry Pi Pico, principalmente como herramienta educativa. Demuestra los fundamentos de un sistema operativo multitarea cooperativo y la arquitectura Arm Cortex-M0+. Las tareas se programan de forma sencilla, en round-robin, utilizando punteros de pila MSP y PSP para el cambio de contexto y la transición entre los modos Thread y Handler. Si bien se ha simplificado su funcionalidad, ilustra claramente los principios centrales de un sistema operativo multitarea, lo que lo hace ideal para aprender sobre los aspectos internos de un sistema operativo.

(github.com)

Desarrollo sistema operativo

EIP de Señalización de Actualización On-Chain de Ethereum: El Consenso de la Comunidad Impulsa las Actualizaciones

2024-12-22

Esta propuesta introduce un mecanismo on-chain que permite a los clientes de Ethereum señalar su disposición para actualizaciones de protocolo mediante la incorporación de un indicador de "voto" en el campo extraData de los bloques recién minados. Los futuros bloques de activación de bifurcación solo ocurrirán si suficientes bloques dentro de una ventana específica señalan "a favor" de la actualización. Esto traslada las decisiones de actualización de la Fundación Ethereum a los participantes de la red, aumentando la descentralización y mitigando los riesgos de centralización.

(ethereum-magicians.org)

Desarrollo Actualización de Protocolo Descentralización

Estados Unidos en 2024: Un año de rabia y confusión

2024-12-29

El año 2024 en Estados Unidos estuvo marcado por un marcado contraste entre la ira generalizada y la confusión de las élites. El aumento del sinhogarismo, especialmente entre las familias, alimentó el resentimiento público. Esta ira se manifestó de diversas maneras, desde la schadenfreude hacia las víctimas del sumergible Titán hasta el apoyo a Trump y la indignación por el asesinato de un CEO del sector sanitario. Las élites, sin embargo, lucharon por comprender esta ira, recurriendo a medidas de seguridad ineficaces, como una línea directa de crisis para los CEOs, lo que alienó aún más al público. El intento de la senadora Warren de articular la raíz de la ira fue sofocado, destacando una ruptura de comunicación crítica.

(www.kenklippenstein.com)

Varios sociedad estadounidense desigualdad inestabilidad política

Sobrecarga de la Abstracción Lambda en Haskell: Un Enfoque Elegante para el Diseño de EDSL

2024-12-30

Este artículo presenta un nuevo método para sobrecargar la abstración lambda en Haskell para construir lenguajes de dominio específicos incrustados (EDSL). Utilizando ingeniosamente un tipo `Port` y funciones `encode`/`decode`, el autor traduce elegantemente funciones Haskell en morfismos dentro de una categoría personalizada. Esto resulta en una sintaxis concisa e intuitiva, evitando las complejidades de las abstracciones Arrow y la notación proc. El enfoque requiere un código Haskell mínimo y ninguna metaprogramación o plugins de compilador. Un ejemplo de EDSL de diagrama de flujo demuestra la aplicación del método, junto con discusiones sobre cómo prevenir la duplicación y manejar los efectos secundarios.

(acatalepsie.fr)

Desarrollo Abstracción Lambda

Los detectores de ondas gravitacionales podrían encontrar estrellas de neutrones más ligeras que las enanas blancas

2024-12-26

Científicos utilizaron datos de los observatorios de ondas gravitacionales LIGO y Virgo para buscar estrellas de neutrones de baja masa con menos de 1,4 masas solares. Si bien aún no se ha encontrado ninguna, el estudio sugiere que tales estrellas de neutrones podrían formarse debido a la rápida compresión del núcleo durante una explosión de supernova. Esta investigación proporciona nuevas restricciones a las propiedades de la materia de las estrellas de neutrones y a los límites de masa de las estrellas de neutrones. Detectores de ondas gravitacionales más sensibles en el futuro probarán aún más esta teoría.

(www.universetoday.com)

Tecnología Estrellas de neutrones Ondas gravitacionales

Construyendo productos de IA: Una inmersión profunda en la arquitectura de back-end

2024-12-27

Este artículo detalla el recorrido de un equipo de IA en la construcción de un asistente jefe de gabinete con tecnología de IA para líderes de ingeniería. Inicialmente utilizando pipelines de inferencia simples, hicieron la transición a un sistema multiagente a medida que la aplicación crecía. El autor explica los principios de diseño de agentes, las diferencias con los microservicios y la implementación orientada a objetos. Se discuten la gestión de la memoria, incluyendo CQRS y el seguimiento de eventos, y el manejo de eventos de lenguaje natural. El escalado a 10.000 usuarios implicó particionamiento, programación asincrónica, optimización de llamadas LLM y migración a Temporal.

(philcalcado.com)

IA Arquitectura de IA Desarrollo de back-end

SignWith: Solución de firma electrónica de pago por uso para pequeñas empresas

2024-12-21

SignWith es un servicio de firma electrónica de pago por uso diseñado para pequeñas empresas y autónomos, que ofrece una alternativa atractiva a los costosos modelos de suscripción mensual como DocuSign. Elimina las tarifas ocultas y los procesos complejos, permitiendo a los usuarios pagar solo por los documentos que realmente se firman. Con una funcionalidad amigable para dispositivos móviles y una asistencia al cliente confiable, SignWith simplifica la firma de documentos para empresas de todos los tamaños, desde el uso ocasional hasta los flujos de trabajo frecuentes.

(signwith.co)

Startup firma electrónica pago por uso pequeña empresa

Proyecto de código abierto yadm en GitHub: Otro gestor de archivos de configuración

2024-12-19

yadm es un gestor de archivos de configuración (dotfiles) basado en Git, que admite archivos alternativos específicos del sistema o archivos con plantillas, y que cifra datos privados utilizando herramientas como GnuPG y OpenSSL. Ofrece inicialización y ganchos personalizables para ejecutar scripts personalizados antes y después de cualquier operación. Las funciones incluyen agregar, confirmar, cifrar y descifrar archivos, y crear configuraciones específicas del sistema operativo. Dirección del proyecto: https://github.com/yadm-dev/yadm

(github.com)

Desarrollo gestión de dotfiles cifrado

Mini agujeros negros podrían haber dejado túneles en las rocas de la Tierra

2024-12-19

Los científicos proponen una hipótesis audaz: los mini agujeros negros primordiales, formados al principio del universo, podrían haber atravesado las rocas de la Tierra, dejando tras de sí túneles microscópicos invisibles a simple vista. Si bien estos túneles son minúsculos, los microscopios potentes podrían detectarlos, ofreciendo una vía potencial para descubrir estos objetos esquivos. Los investigadores sugieren que la búsqueda de estos túneles, a pesar de la baja probabilidad de éxito, podría generar recompensas inmensas. Además, plantean la hipótesis de que los mini agujeros negros primordiales podrían estar ocultos dentro de ciertos planetas, vaciándolos al consumir sus núcleos líquidos. Esta investigación ofrece un enfoque novedoso para encontrar mini agujeros negros primordiales, representando un paso significativo en la exploración de los orígenes del universo.

(gizmodo.com)

Tecnología agujeros negros origenes del universo

INFP de ByteDance: IA da vida a imágenes estáticas

2024-12-22

ByteDance ha presentado INFP, una IA innovadora que transforma imágenes estáticas en personajes animados capaces de hablar, cantar e interactuar con su entorno. Esta tecnología utiliza algoritmos avanzados para sincronizar perfectamente el audio con movimientos realistas, expresiones faciales y sincronización labial, dando vida a imágenes estáticas. Las aplicaciones abarcan la creación artística, la narración, las entrevistas virtuales y las actuaciones musicales, abriendo posibilidades emocionantes para la creatividad en IA y la interacción humano-computadora.

(pdftranslate.ai)

IA generación de imágenes

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

Investigación sobre la Rotura de Enlaces: Los Blogs Personales Enfrentan un Alto Riesgo

2024-12-24

El bloguero Wouter Groeneveld realizó una investigación sobre la rotura de enlaces en su blog, Brain Baking. Revisó 3179 enlaces externos en 453 publicaciones, descubriendo que aproximadamente el 7% estaban rotos, siendo los errores 404 y 403 los más frecuentes. Los enlaces rotos provenían principalmente de blogs personales, seguidos de sitios corporativos y otros recursos. Los hallazgos destacan la menor estabilidad de los enlaces en sitios personales y una alta tasa de rotura de enlaces en artículos académicos. El bloguero recomienda a los creadores de sitios web que usen enlaces permanentes, que los que enlazan elijan cuidadosamente sus destinos y que consideren el almacenamiento local para los recursos externos.

(brainbaking.com)

Varios rotura de enlaces

OpenAI: ¿La próxima Visa? Desafíos y riesgos en el camino al monopolio

2024-12-26

El artículo compara OpenAI con Visa, argumentando que su éxito no se debe a una tecnología superior, sino a la creación de barreras mediante acuerdos exclusivos, contratos gubernamentales y restricciones de licencias para limitar la competencia. OpenAI intenta construir estas barreras presionando por la regulación gubernamental, restringiendo a los inversores de financiar a los competidores y asegurando contratos exclusivos a largo plazo con grandes clientes. Sin embargo, esta estrategia enfrenta obstáculos políticos y competitivos. Al igual que Visa en el pasado, la creciente ubicuidad de la tecnología LLM amenaza el negocio principal de las API. La competencia de Elon Musk y la posible relajación de la regulación gubernamental complican aún más los esfuerzos de OpenAI para mantener su dominio. En última instancia, el futuro de OpenAI depende de si puede construir barreras de entrada suficientemente altas, tanto tecnológica como legalmente, para evitar repetir el litigio antimonopolio de Visa.

(sherwood.news)

IA monopolio competencia de IA

El Enigma de Ghostty: Un Misterio Sin Resolver

2024-12-26

Ghostty es una entidad misteriosa cuya identidad e información son en gran parte desconocidas, como un fantasma escondido en las profundidades de internet. Las discusiones sobre Ghostty se concentran principalmente en foros online y redes sociales, con varias especulaciones sobre su identidad. Algunos creen que es un individuo, otros un grupo, y algunos incluso lo consideran un personaje ficticio. El misterio que rodea a Ghostty ha atraído la atención de numerosos internautas, convirtiéndose en un fenómeno fascinante de la cultura de internet. Sin embargo, Ghostty permanece enigmático, y su verdadera identidad sigue sin revelarse.

(ghostty.org)

Varios misterio de internet cultura de internet

La Brecha Entre Ingenieros Fuertes y Débiles

2024-12-27

Este artículo explora las capacidades que diferencian a los ingenieros fuertes de los ingenieros promedio. Los ingenieros fuertes pueden realizar tareas que los ingenieros más débiles no pueden, como resolver errores complejos, mejorar los códigos heredados y realizar grandes rediseños arquitectónicos. Los ingenieros más débiles luchan con estas tareas incluso con tiempo suficiente. El artículo destaca que los ingenieros fuertes no son simplemente más eficientes, sino que poseen la capacidad de resolver problemas complejos, mientras que los ingenieros más débiles son prácticamente incapaces de completar la mayoría de las tareas de ingeniería. El artículo también ofrece consejos sobre cómo colaborar con ingenieros sénior más débiles, enfatizando la necesidad de ser amable pero proteger su tiempo, evitando demandas excesivas.

(www.seangoedecke.com)

Desarrollo capacidades del ingeniero

Fracciones Egipcias: Un Viaje a Través de las Matemáticas Antiguas

2024-12-18

Este artículo explora el fascinante mundo de las fracciones egipcias, un sistema matemático único utilizado por los antiguos egipcios. A diferencia de las fracciones modernas, las fracciones egipcias solo utilizan fracciones unitarias (fracciones con numerador 1) y todos los denominadores deben ser distintos. El artículo rastrea la historia de las fracciones egipcias, centrándose en el Papiro Matemático de Rhind, y examina sus aplicaciones prácticas, como dividir recursos de manera justa. Presenta el algoritmo codicioso para encontrar fracciones egipcias y métodos para encontrar las más cortas, explorando también problemas matemáticos no resueltos relacionados, incluida la conjetura de Erdős-Straus.

(r-knott.surrey.ac.uk)

Varios fracciones egipcias Fracciones egipcias Historia de las matemáticas

La UE ordena a Apple que mejore la interoperabilidad del iPhone

2024-12-22

Basándose en los hallazgos preliminares de la Ley de Mercados Digitales (DMA), la Comisión Europea ha ordenado a Apple que tome medidas para garantizar la interoperabilidad entre sus iPhones y dispositivos de otras marcas. El objetivo es fomentar la competencia e impedir que Apple aproveche su posición dominante con iOS para restringir la compatibilidad con productos de terceros como smartwatches, auriculares y cascos de RV. Apple argumenta que esto podría comprometer la privacidad del usuario y la innovación. Se espera que la Comisión emita una decisión final en torno a marzo de 2025.

(www.euronews.com)

Tecnología

Eliminación de carbono oceánico: las startups compiten por desarrollar tecnologías de captura de carbono marino

2024-12-26

Ante los desafíos de la crisis climática, varias startups de tecnología marina están desarrollando tecnologías innovadoras para eliminar el dióxido de carbono del océano. El artículo destaca el enfoque electroquímico de Captura para extraer CO2 del agua de mar y el método de Ebb Carbon para aumentar la alcalinidad del océano para almacenar carbono. Estos enfoques, si bien diversos, enfrentan desafíos en la ampliación y la cuantificación de los créditos de carbono. A pesar de las diferentes vías técnicas, el objetivo común es aprovechar la vasta capacidad de sumidero de carbono del océano para acelerar el ciclo del carbono de la Tierra y combatir el cambio climático.

(spectrum.ieee.org)

Tecnología captura de carbono oceánico eliminación de carbono

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

Reservoirs Lab: GUI ligera para base de datos vectorial Postgres

2024-12-19

Reservoirs Lab es una aplicación Electron ligera que se conecta directamente a una base de datos Postgres para visualizar incrustaciones vectoriales de alta dimensionalidad almacenadas junto con datos estructurados. Los usuarios pueden explorar sus datos de forma interactiva y ver las correlaciones entre los metadatos y la similitud semántica de las incrustaciones vectoriales. Las características incluyen la integración con Postgres, la visualización vectorial, la exploración de vecindad y un flujo de trabajo local que preserva la privacidad.

(github.com)

Desarrollo Base de Datos Vectorial Visualización de Datos

Discurso principal de Whittaker en NDSS 2024: IA, criptografía y una nueva era de amenazas

2024-12-18

En el Simposio NDSS 2024, Meredith Whittaker, presidenta de la Fundación Signal, pronunció un discurso principal que reflexionaba sobre las 'Guerras de la Criptografía' de los años 90. Destacó cómo las presiones políticas, técnicas y comerciales han moldeado el panorama actual de la criptografía. Whittaker advirtió contra la visión de la situación actual como simplemente 'Guerras de la Criptografía 2.0', argumentando que un motor económico impulsado por datos personales, tecnología de vigilancia e IA/ML representa una amenaza fundamentalmente diferente al panorama de la criptografía dominado por el gobierno de los años 90. Hizo hincapié en la necesidad de un nuevo enfoque, con la investigación de NDSS a la vanguardia de esta respuesta.

(www.ndss-symposium.org)

IA Criptografía Ciberseguridad

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

Crea tu propia Máquina Virtual: Una guía paso a paso

2024-12-26

Este tutorial te guía en la creación de tu propia máquina virtual (VM) capaz de ejecutar programas en lenguaje ensamblador, como los juegos 2048 o Roguelike. Incluso si ya eres programador, este proyecto proporciona una comprensión más profunda de la arquitectura de computadoras y de cómo funcionan los lenguajes de programación. El tutorial cubre conceptos básicos de VM, la arquitectura LC-3, conjuntos de instrucciones, rutinas de trampa, carga de programas y mucho más, con ejemplos de código detallados y explicaciones. El código final tiene aproximadamente 250 líneas en C, haciéndolo accesible a aquellos con conocimiento básico de C/C++.

(www.jmeiners.com)

Desarrollo

Proyecto GitHub ted: Un editor de archivos basado en Máquina de Turing

2024-12-18

ted es una herramienta de línea de comandos escrita en Go que permite a los usuarios editar archivos según las reglas de una máquina de Turing proporcionada. Inspirada en la necesidad del autor de procesar archivos de registro, ted utiliza máquinas de estado para extraer precisamente la información deseada. Admite varias operaciones, incluyendo la coincidencia de expresiones regulares, la ejecución de comandos sed, la asignación de variables, la captura y el control de salida, y ofrece funciones como la captura de varias líneas, grupos de captura de regex y el movimiento de cabeza/cola de archivo.

(github.com)

Desarrollo Edición de Archivos

Aprendizaje por Refuerzo Sin Conexión Mejora el Razonamiento en Múltiples Pasos de los LLMs

2024-12-23

Los investigadores presentan OREO, un método de aprendizaje por refuerzo sin conexión diseñado para mejorar las capacidades de razonamiento en múltiples pasos de los modelos de lenguaje grandes (LLMs). Basado en el aprendizaje por refuerzo de entropía máxima, OREO aprende conjuntamente un modelo de política y una función de valor optimizando la ecuación de Bellman suave. Esto resuelve las limitaciones de la Optimización Directa de Preferencias (DPO) en el razonamiento en múltiples pasos, específicamente la necesidad de datos de preferencia emparejados extensos y el desafío de la asignación de crédito eficaz. Los experimentos demuestran la superioridad de OREO sobre los métodos de aprendizaje sin conexión existentes en los puntos de referencia que involucran razonamiento matemático y control de agentes encarnados.

(arxiv.org)

IA Razonamiento en Múltiples Pasos

El USDA refuerza las medidas de seguridad alimentaria tras brotes mortales de Listeria

2024-12-18

Tras dos brotes mortales de Listeria monocytogenes relacionados con carnes frías Boar's Head y productos cárnicos y avícolas listos para el consumo de Yu Shang, que causaron decenas de enfermedades y varias muertes, el Servicio de Inspección y Seguridad Alimentaria (FSIS) del USDA finalmente ha actuado. A pesar de conocer previamente las deficiencias en las instalaciones de Boar's Head, el FSIS no intervino hasta después del brote. La agencia anunció medidas más estrictas, que incluyen pruebas ampliadas, capacitación mejorada para los inspectores y una supervisión más estricta de las instalaciones, para prevenir incidentes futuros. Esto pone de manifiesto las vulnerabilidades en la regulación de la seguridad alimentaria y la necesidad crítica de una intervención inmediata y eficaz.

(efoodalert.com)

Tecnología seguridad alimentaria brote

HyperEssays: Una Edición Online en Constante Evolución de los Ensayos de Montaigne

2024-12-22

El proyecto HyperEssays tiene como objetivo crear una edición online moderna y accesible de los Ensayos de Michel de Montaigne. El sitio web alberga cuatro ediciones de los Ensayos, incluyendo la edición original en francés, traducciones al inglés del inglés moderno antiguo y una traducción al inglés moderna, que se actualizan y mejoran continuamente. El objetivo del proyecto es proporcionar a los lectores una experiencia de lectura cómoda y recursos interpretativos ricos, incluyendo anotaciones, índices y archivos PDF descargables.

(hyperessays.net)

Varios Ensayos

GreptimeDB: Una inmersión profunda en el manejo de errores para proyectos Rust de gran tamaño

2024-12-19

Esta publicación del blog de GreptimeDB profundiza en sus prácticas de manejo de errores dentro de proyectos Rust de gran tamaño. Se detalla cómo construyeron una pila de errores más barata y precisa para reemplazar los seguimientos de pila del sistema, cómo organizan los errores en proyectos grandes y cómo presentan los errores de manera diferente a los registros y a los usuarios finales. GreptimeDB aprovecha el crate snafu para la gestión de errores e implementa una "pila de usuario virtual". Este enfoque resulta más eficiente y económico en cuanto a memoria que los seguimientos de pila del sistema, proporcionando mensajes de error más claros y comprensibles tanto para desarrolladores como para usuarios finales.

(greptime.com)

Desarrollo

Físicos descubren partícula que solo tiene masa cuando se mueve en una dirección

2024-12-19

Científicos han descubierto una cuasiparticula peculiar, el fermión semi-Dirac, que solo presenta masa efectiva cuando se mueve en una dirección. Predicho en 2008, este fenómeno ahora se ha confirmado en un cristal de semimetal ZrSiS a temperaturas extremadamente bajas (-269°C). Sus propiedades energéticas difieren drásticamente en direcciones perpendiculares, similar a un tren que experimenta resistencia al cambiar de vía, ganando así masa. Este descubrimiento podría tener implicaciones profundas para la física cuántica y los sensores electrónicos, pero se necesitan más investigaciones para explorar sus aplicaciones.

(www.sciencealert.com)

Tecnología fermión semi-Dirac cuasiparticula

Banco de Dakota del Norte: Un siglo de éxito, impulsando la economía del estado

2024-12-18

El Banco de Dakota del Norte (BND) es el único banco de servicio general de propiedad y gestión estatal en los Estados Unidos, establecido en 1919 para fomentar la agricultura, el comercio y la industria. Aprovecha los fondos estatales para proporcionar préstamos y servicios financieros para proyectos de infraestructura, agricultura y pequeñas empresas, y actúa como un banco mayorista para instituciones locales. El BND desempeñó un papel crucial durante la crisis financiera de 2008 y la pandemia de COVID-19 de 2020, demostrando su rentabilidad y su impacto positivo en la economía del estado. Su modelo único lo ha convertido en una historia de éxito destacada en el sistema financiero estadounidense.

(en.wikipedia.org)

Startup desarrollo económico servicios financieros

← Previous 1 2 … 33 34 35 36 37 38 39 40 41 … 62 63 Next →