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

Depurando luces de freno con un vibrador: una historia de hacker

2025-09-24

Depurando luces de freno con un vibrador: una historia de hacker

El desarrollador detrás de BrakeBright, una mejora para la luz de freno de motocicleta, detalla su viaje para eliminar falsos positivos. Los intentos iniciales usando promedios y filtros de paso bajo no lograron solucionar completamente el parpadeo de la luz de freno causado por baches en la carretera y vibraciones del motor. Luego, cambió a filtrado mediano, ajustó los tiempos de muestreo y agregó vibración para evitar la sincronización con los pulsos del motor. De manera ingeniosa, un vibrador reutilizado simuló las condiciones del mundo real para las pruebas, lo que llevó a la adición de un mecanismo inteligente de eliminación de rebote que resolvió eficazmente el problema. La historia está llena de humor y giros inesperados, mostrando la dedicación del desarrolvedor a la mejora del producto y la experiencia del usuario.

(bikesafe.me)

Hardware Iteración de Producto

¿Es la vida una forma de computación?

2025-09-24

¿Es la vida una forma de computación?

Este artículo explora la profunda conexión entre la vida y la computación. Basándose en las ideas iniciales de Alan Turing y John von Neumann, quienes sugirieron que la lógica de la vida y la lógica del código podrían ser una sola, examina el modelo de autómata celular autorreplicante de von Neumann. El artículo explica la naturaleza del ADN como un programa, comparando y contrastando la computación biológica y la computación digital. La computación biológica es masivamente paralela, descentralizada y ruidosa, mientras que la computación digital depende de la ejecución centralizada y secuencial de instrucciones. El artículo concluye introduciendo autómatas celulares neuronales, que combinan redes neuronales modernas, la morfogénesis de Turing y los autómatas celulares de von Neumann para simular el comportamiento celular, mostrando cómo la computación puede producir un comportamiento similar a la vida a diferentes escalas.

(thereader.mitpress.mit.edu)

IA

El auge del equipo de limpieza de IA: los humanos arreglan el desastre de la IA

2025-09-24

El auge del equipo de limpieza de IA: los humanos arreglan el desastre de la IA

El auge de herramientas de IA como ChatGPT ha llevado a un aumento en el contenido de baja calidad, denominado "lodo de IA". Esto incluye contenido impreciso, poco original e irreal en varios medios. Irónicamente, mientras la IA desplaza empleos humanos, simultáneamente crea una nueva industria: "conserjes digitales" que arreglan los errores de la IA. Esto destaca las limitaciones de la IA en el trabajo creativo y el papel insustituible de los humanos para garantizar la calidad y la autenticidad. Debemos repensar la relación entre la IA y la creatividad humana para evitar la proliferación del lodo de IA y construir un mundo digital más auténtico y sostenible.

(www.sify.com)

IA calidad del contenido

Registro de actualizaciones del proyecto Vterm: Mejoras continuas de rendimiento y funciones

2025-09-24

El desarrollador de Vterm, Tom Szilagyi, ha realizado numerosas confirmaciones recientemente, que abarcan optimizaciones de rendimiento, correcciones de errores y nuevas funciones. Estas actualizaciones incluyen mejoras en el rendimiento de la GPU, la corrección de un error de signo, la adición de nuevas opciones de línea de comandos y el refinamiento de la representación de caracteres y la visualización de subrayados. Las mejoras continuas del código mejoran la estabilidad y la eficiencia de Vterm.

(git.hq.sig7.se)

Desarrollo actualizaciones de código

fetch_max de Rust: Una inmersión profunda en la optimización del compilador

2025-09-24

fetch_max de Rust: Una inmersión profunda en la optimización del compilador

Durante una reciente entrevista de ingeniería, un candidato usó una sola línea de código Rust para resolver un problema clásico de concurrencia: rastrear el valor máximo en múltiples subprocesos productores. Esto despertó la curiosidad del autor: ¿cómo funciona realmente `fetch_max` de Rust? El artículo profundiza en el proceso de compilación, desde el código Rust hasta el ensamblaje, revelando las capas de optimización que involucran macros, representación intermedia LLVM, intrínsecos del compilador y detalles específicos de la arquitectura de destino. En x86-64, `fetch_max` se compila en un bucle compare-and-swap (CAS); en ARM, utiliza directamente la instrucción max atómica del hardware. Este artículo demuestra el poder de los compiladores modernos y los detalles de bajo nivel detrás de las abstracciones de alto nivel.

(questdb.com)

Desarrollo

Val Town reescribe la integración de TypeScript para un rendimiento ultrarrápido

2025-09-24

Val Town reescribe la integración de TypeScript para un rendimiento ultrarrápido

Val Town ha reescrito completamente la integración de TypeScript de su editor en línea, reemplazando la implementación anterior del lado del cliente basada en Web Worker con un servidor de lenguaje Deno basado en contenedores en la nube. Esto soluciona problemas con importaciones lentas de paquetes NPM e incompatibilidad entre TypeScript y Deno en el sistema antiguo, logrando velocidades de implementación de 100 ms al guardar. El nuevo sistema utiliza contenedores de Cloudflare para garantizar el aislamiento de la carga de trabajo del usuario y los límites de recursos, y todo el código es de código abierto, ofreciendo a los desarrolladores una experiencia de desarrollo TypeScript más fluida y eficiente.

(blog.val.town)

Desarrollo Editor en línea

Del Hype de la IA a las Cadenas de Markov: Un Regreso a lo Básico

2025-09-24

Del Hype de la IA a las Cadenas de Markov: Un Regreso a lo Básico

El autor relata su viaje a través de las cuatro etapas del ciclo de exageración de la IA con respecto a los modelos de lenguaje grandes: asombro inicial, frustración posterior, confusión persistente y aburrimiento final. Cansado de la corriente constante de nuevos modelos, el autor decidió volver a los fundamentos y explorar las cadenas de Markov. El artículo detalla cómo construir una función de autocompletado de texto utilizando cadenas de Markov, cubriendo la construcción de matrices de transición, cálculos de probabilidad y aplicación a la generación de texto. Esta pieza no solo explora los principios de las cadenas de Markov, sino que también refleja las reflexiones del autor sobre el estado actual del desarrollo de la IA y su deseo de explorar tecnologías más fundamentales.

(elijahpotter.dev)

IA

Pruebas de Conocimiento Cero en Espacio Sublineal: Un Gran Avance

2025-09-24

Pruebas de Conocimiento Cero en Espacio Sublineal: Un Gran Avance

Los investigadores han desarrollado SSZKP, un sistema de prueba de conocimiento cero en espacio sublineal con una implementación en Rust usando KZG/BN254. Alcanza un uso de memoria O(√T) para una traza de longitud T, empleando IFFTs en bloques y acumuladores de transmisión. SSZKP utiliza compromisos KZG estándar sin almacenar polinomios completos, ofreciendo un enfoque altamente eficiente para construir sistemas zk escalables. El proyecto incluye herramientas CLI completas para el probador y el verificador, además de scripts de prueba de extremo a extremo.

(github.com)

Desarrollo

El Futuro de los Lenguajes de Programación: ¿Se Acaba la Popularidad?

2025-09-24

El Futuro de los Lenguajes de Programación: ¿Se Acaba la Popularidad?

Las clasificaciones de lenguajes de programación de 2023 están disponibles, con Python nuevamente en la cima. Sin embargo, el auge de la IA está alterando el panorama. Las herramientas de codificación asistidas por IA, como ChatGPT y Cursor, están reduciendo la dependencia de los programadores en lenguajes específicos, incluso haciendo que el concepto de popularidad del lenguaje en sí mismo sea ambiguo. Los programadores están menos preocupados por los detalles sintácticos y más centrados en el diseño de la arquitectura de los programas y los algoritmos. Esto dificulta la aparición de nuevos lenguajes, y la popularidad de los lenguajes puede volverse tan oscura como la popularidad relativa de los anchos de vía de los ferrocarriles. Los programadores del futuro necesitarán una base sólida en informática, en lugar de dominar un lenguaje en particular.

(spectrum.ieee.org)

Desarrollo

Webshell oculto: Archivos PHP con hash MD5 idéntico

2025-09-24

Webshell oculto: Archivos PHP con hash MD5 idéntico

Dos archivos PHP comparten el mismo hash MD5, pero uno de ellos es un webshell. Esta técnica permite a los atacantes eludir la detección de webshells en caché. Un volcado hexadecimal revela pequeñas diferencias entre los archivos, lo que resulta en hashes MD5 idénticos a pesar de tener funcionalidades muy diferentes. Esto destaca la insuficiencia de depender únicamente del hash MD5 para las comprobaciones de seguridad; se necesita una estrategia de seguridad más completa.

(github.com)

Desarrollo colisión MD5 detección de seguridad

Se lanza la biblioteca de emulador de terminal integrable libghostty de Ghostty

2025-09-24

El proyecto Ghostty ha lanzado libghostty, una biblioteca integrable para que cualquier aplicación integre un emulador de terminal moderno y rápido. La primera versión, libghostty-vt, es una biblioteca sin dependencias (ni siquiera libc), que proporciona una API para analizar secuencias de terminal y mantener el estado del terminal, extraída directamente del núcleo de Ghostty. Una API Zig está disponible para pruebas ahora, y una API C llegará pronto. libghostty pretende solucionar las deficiencias comunes de las implementaciones existentes de emuladores de terminal: falta de completitud, errores y lentitud, ofreciendo a los desarrolladores una solución estable y reutilizable. Los planes futuros incluyen la expansión de la funcionalidad con manejo de entrada, renderizado de GPU y mucho más.

(mitchellh.com)

Desarrollo biblioteca integrable

Baldur's Gate 3 en Steam Deck: Versión nativa, migración de partidas guardadas y mods

2025-09-24

Baldur's Gate 3 en Steam Deck: Versión nativa, migración de partidas guardadas y mods

La actualización de Baldur's Gate 3 para Steam Deck incluye una versión nativa, mejorando el rendimiento. Sin embargo, las ubicaciones de las partidas guardadas y los mods cambian. Las partidas guardadas en la nube de Steam se migrarán automáticamente; de lo contrario, copia manualmente las partidas guardadas a `/home/deck/.local/share/Larian Studios/Baldur's Gate 3/PlayerProfiles/Public`. La migración de los mods depende de tu cuenta de Larian y de la conexión con mod.io; copia manualmente los mods si no estás conectado.

(larian.com)

Juegos Versión Nativa

Consumo de energía de la IA: ¿Otro lobo con piel de cordero?

2025-09-23

Consumo de energía de la IA: ¿Otro lobo con piel de cordero?

Recientes predicciones sobre el enorme consumo de energía de la IA generativa han causado alarma, con algunos prediciendo que la IA consumirá hasta un 25% de la electricidad de EE. UU. para 2032. Sin embargo, la historia muestra que predicciones similares del fin del mundo, desde computadoras personales hasta la computación en la nube, han fallado consistentemente en materializarse. La participación del sector de TI en el consumo de electricidad se ha mantenido relativamente baja, mucho menor que sectores como la producción de cemento. Si bien la IA está creciendo rápidamente, las mejoras de eficiencia compensarán los aumentos de energía, y la IA actualmente constituye una pequeña parte de los presupuestos de TI corporativos. En última instancia, el alarmismo en torno al consumo de energía de la IA se debe en gran medida a intereses creados, preocupaciones sobre el crecimiento económico y ansiedades generales sobre la tecnología, en lugar de una amenaza real.

(johnquigginblog.substack.com)

Tecnología

Tres errores del compilador de C++: Una historia de características oscuras

2025-09-23

Tres errores del compilador de C++: Una historia de características oscuras

El ingeniero senior Michael Gibson relata el descubrimiento de un error del compilador clang++ derivado de la combinación de tres características de C++ raramente utilizadas. Al implementar una afirmación REACHABLE en su SDK de C++, utilizaron la inicialización estática, los parámetros de plantilla no tipados y los espacios de nombres anónimos. Sin embargo, un nuevo pipeline de optimización en clang++ 17+ entró en conflicto con esta combinación, lo que provocó errores de deduplicación de símbolos. Esto destaca el riesgo de errores oscuros que surgen de interacciones de características inusuales en sistemas complejos y muestra el poder de las pruebas automatizadas para descubrir tales problemas.

(antithesis.com)

Desarrollo Error del Compilador

MrBeast y Feastables bajo investigación por prácticas publicitarias infantiles

2025-09-23

MrBeast y Feastables bajo investigación por prácticas publicitarias infantiles

La estrella de YouTube, MrBeast, y su marca de chocolate, Feastables, están bajo el escrutinio de la Children's Advertising Review Unit (CARU) por violar la Ley de Protección de la Privacidad en Línea de los Niños (COPPA) y las pautas publicitarias de CARU. CARU descubrió que el canal de YouTube de MrBeast carecía de identificadores de publicidad claros, los anuncios de Feastables hicieron afirmaciones engañosas, las promociones de sorteos no revelaron claramente los métodos de entrada gratuitos y las restricciones de edad, y no se obtuvo el consentimiento parental verificable antes de recopilar información de los niños. El sitio web de Feastables también tuvo problemas con la recopilación de información de niños sin el consentimiento de los padres. Si bien el equipo de MrBeast ha tomado medidas para rectificar los problemas, no está de acuerdo con algunas de las conclusiones de CARU.

(bbbprograms.org)

Tecnología publicidad infantil

Estrategia en una era de recursos limitados: Un enfoque equilibrado

2025-09-23

Estrategia en una era de recursos limitados: Un enfoque equilibrado

Este artículo profundiza en el arte de elaborar y ser percibido como estratégico, especialmente en el entorno actual de recursos limitados. El autor argumenta que la estrategia no es simplemente definir el objetivo final, sino más bien una serie de objetivos incrementales, adaptables a las cambiantes condiciones del mercado. Se destacan cuatro elementos clave: tiempo, contexto, dirección y experiencia. Utilizando analogías convincentes, el autor demuestra cómo equilibrar estos elementos, evitando trampas como centrarse únicamente en apariencias o detalles. En última instancia, una estrategia eficaz requiere la integración de estrategias de producto, técnica, equipo y personal para el éxito en tiempos de escasez.

(cate.blog)

Startup

Zig: Una Opción Más Práctica que Rust para Herramientas CLI del Mundo Real

2025-09-23

Zig: Una Opción Más Práctica que Rust para Herramientas CLI del Mundo Real

Este artículo profundiza en las ventajas prácticas de Zig sobre Rust para la creación de interfaces de línea de comandos. El autor ilustra las diferencias a través de una herramienta CLI simple de gestión de notas. Si bien el verificador de préstamos de Rust garantiza la seguridad de la memoria, su complejidad y formalidad resultan engorrosas para CLIs simples. Zig ofrece un enfoque más directo para la gestión de la memoria, combinando instrucciones `defer` y los asignadores para facilitar la creación de código eficiente y seguro con menos sobrecarga del compilador. Para herramientas CLI pequeñas, la naturaleza ligera, rápida y directa de Zig lo hace más práctico. Si bien la seguridad de la memoria es importante, el código mantenible y la eficiencia del desarrollador son igualmente críticos.

(dayvster.com)

Desarrollo

Conquistando la Fatiga de JavaScript: MESH, un framework SSR modular basado en HTMX

2025-09-23

El desarrollo web se enfrenta a la "fatiga de JavaScript" y la "fatiga de frameworks". Este artículo explora el uso de HTMX, un enfoque declarativo para el desarrollo web utilizando atributos HTML, como solución. Sin embargo, la falta de estructura de HTMX llevó al autor a crear el framework MESH, un framework modular de renderizado del lado del servidor (SSR). MESH utiliza un modelo "un componente, un punto final", aprovechando Go y Web Components para SSR e hidratación. Los desafíos con la incapacidad de HTMX para cruzar los límites de Shadow DOM se superaron con soluciones ingeniosas. La colaboración en tiempo real con Server-Sent Events (SSE) también se implementó. Finalmente, el autor incluso eliminó HTMX por completo, utilizando un JS más limpio para lograr la misma funcionalidad, y reflexiona sobre las deficiencias y las futuras direcciones de HTMX.

(ajmoon.com)

Desarrollo

WebKit de Apple: Una inmersión profunda en la participación en los estándares web

2025-09-23

WebKit de Apple: Una inmersión profunda en la participación en los estándares web

Este artículo presenta una inmersión profunda en la participación de Apple en los estándares web, utilizando datos y gráficos para ilustrar la adopción tardía y la falta de colaboración de Apple en APIs web cruciales como Web MIDI, Web USB y Web Bluetooth. El autor argumenta que Apple con frecuencia cita preocupaciones de 'privacidad y seguridad' para rechazar o retrasar estas funciones, pero proporciona poca evidencia para respaldar estas afirmaciones. En cambio, los datos sugieren que Apple principalmente se pone al día con otros navegadores, en lugar de participar activamente en el diseño conjunto. El artículo cuestiona el compromiso de Apple con los estándares web y sugiere que sus acciones pueden estar relacionadas con la protección de los intereses comerciales de su App Store.

(infrequently.org)

Desarrollo

oLLM: Ejecutando LLMs de Contexto Extenso en GPUs de Consumo

2025-09-23

oLLM: Ejecutando LLMs de Contexto Extenso en GPUs de Consumo

oLLM es una biblioteca Python ligera que permite la inferencia de LLMs de contexto extenso como gpt-oss-20B y qwen3-next-80B en GPUs de consumo con 8 GB de VRAM (por ejemplo, una Nvidia 3060 Ti de 200$), manejando hasta 100.000 contextos. Esto se logra sin cuantización, descargando pesos de capa y caché KV a SSD y empleando técnicas como FlashAttention-2 y MLPs segmentadas. Admite varios modelos de LLM y ofrece una API fácil de usar para tareas de procesamiento de texto a gran escala, como el análisis de contratos, el resumen de literatura médica y el procesamiento de archivos de registro masivos.

(github.com)

Desarrollo Inferencia de LLM

Las ventas de Tesla en Europa caen a pesar del auge del mercado de vehículos eléctricos

2025-09-23

Las ventas de Tesla en Europa caen a pesar del auge del mercado de vehículos eléctricos

Mientras el mercado europeo de vehículos eléctricos está en auge, con un aumento del 26% en las ventas en agosto en comparación con el año anterior, Tesla está experimentando una caída en las ventas en Europa. Los datos revelan caídas significativas en las ventas del Model Y (34%) y Model 3 (29%). Aunque Tesla sigue siendo uno de los 10 principales fabricantes de vehículos eléctricos en Europa, su cuota de mercado está siendo erosionada por marcas como Volkswagen, que registró un aumento del 45% en las ventas en agosto en comparación con el año anterior. A pesar de los problemas de Tesla, el mercado general de vehículos eléctricos en Europa sigue siendo robusto, con las ventas de agosto alcanzando las 154.582 unidades, lo que representa el 20% de las ventas de coches nuevos, suficiente para cumplir con los objetivos de emisiones de la UE para 2025-2027.

(www.notebookcheck.net)

Tecnología

Michigan City: Un Rincón Tranquilo de la Resiliencia Estadounidense

2025-09-23

Michigan City: Un Rincón Tranquilo de la Resiliencia Estadounidense

Una semana en Michigan City, Indiana, revela una ciudad que produce silenciosamente bienes industriales vitales y una vida sorprendentemente tranquila. Aunque aparentemente insignificante, la ciudad fabrica productos industriales importantes, desde herramientas de troquelado para envases hasta soluciones de drenaje: engranajes invisibles en la maquinaria del mundo moderno. Las interacciones con los residentes muestran la simplicidad y la calidez de sus vidas, un contraste marcado con el ambiente online a menudo tóxico. Esta experiencia lleva a la reflexión sobre el equilibrio entre el compromiso político y una perspectiva fundamentada, destacando la fuerza silenciosa de la ciudad como piedra angular de una sociedad sana.

(walkingtheworld.substack.com)

Varios ciudad estadounidense

arXivLabs: Colaboraciones Comunitarias en Nuevas Funciones de arXiv

2025-09-23

arXivLabs es un marco experimental que permite a los colaboradores desarrollar y compartir nuevas funciones de arXiv directamente en el sitio web. Tanto las personas como las organizaciones que trabajan con arXivLabs han adoptado y aceptado nuestros valores de apertura, comunidad, excelencia y privacidad de los datos de los usuarios. arXiv está comprometido con estos valores y solo trabaja con socios que los respetan. ¿Tienes una idea para un proyecto que agregue valor a la comunidad de arXiv? Obtén más información sobre arXivLabs.

(arxiv.org)

Desarrollo

Imagen Docker qBittorrent infectada minera criptomonedas en secreto

2025-09-23

Durante la migración de servidores, el autor descubrió un proceso sospechoso, netservlet, que consumía recursos excesivos de la CPU dentro de un contenedor Docker hotio/qbittorrent. La investigación reveló que netservlet es un minero de criptomonedas oculto, probablemente XMRig o una variante. El análisis de un volcado de núcleo reveló cadenas relacionadas con la minería de criptomonedas (por ejemplo, cryptonight, ethash_calculate_dag_item) y una dirección de pool de minería (auto.c3pool.org:19999). Esto destaca la importancia de no confiar en imágenes Docker aleatorias, monitorear regularmente los recursos del sistema y auditar hosts y contenedores para evitar infracciones de seguridad.

(apogliaghi.com)

Desarrollo Seguridad Docker minería de criptomonedas

Las superficies interiores actúan como esponjas químicas masivas, reteniendo COV nocivos durante un año

2025-09-23

Las superficies interiores actúan como esponjas químicas masivas, reteniendo COV nocivos durante un año

Investigadores de la UC Irvine han descubierto que las superficies interiores, como la madera, el cemento y la pintura, actúan como reservorios sorprendentemente efectivos para los compuestos orgánicos volátiles (COV), reteniéndolos hasta por un año. Estos COV, que provienen de fuentes como insecticidas, humo de cigarrillo y humo de incendios forestales, representan riesgos significativos para la salud. El estudio revela que estas superficies absorben cantidades mucho mayores de COV de lo que se pensaba anteriormente, actuando como esponjas masivas. Incluso después de eliminar la fuente, los COV se liberan lentamente de nuevo al aire o se transfieren a los humanos a través del contacto. La simple ventilación es insuficiente; la limpieza regular es crucial para eliminar estos contaminantes persistentes.

(news.uci.edu)

Tecnología compuestos orgánicos volátiles

StringZilla v4: Lanzamiento de la biblioteca de procesamiento de cadenas SIMD con aceleración CUDA

2025-09-23

StringZilla v4: Lanzamiento de la biblioteca de procesamiento de cadenas SIMD con aceleración CUDA

¡StringZilla v4 ya está aquí! Esta biblioteca de procesamiento de cadenas SIMD ahora admite CUDA, lo que significa que es increíblemente rápida, no solo en CPU, sino también en GPU. La versión 4 cuenta con numerosas funciones nuevas, incluidos algoritmos de programación dinámica acelerados por GPU, varias funciones hash (incluida una nueva función basada en AES) e identificación de biosecuencias mediante enteros de 52 bits. Los puntos de referencia muestran que StringZilla v4 alcanza más de 500 GCUPS en cálculos de distancia de Levenshtein, superando a otras bibliotecas en decenas o incluso cientos de veces. La biblioteca tiene licencia Apache 2.0 y es gratuita para uso comercial.

(ashvardanian.com)

Desarrollo

¿YAML: El archivo de configuración del infierno?

2025-09-23

Este artículo es una crítica a la complejidad de los archivos de configuración YAML, argumentando que su supuesta 'amigable para humanos' esconde numerosos problemas. El autor utiliza varios ejemplos para ilustrar inconsistencias entre versiones de YAML, resultados de análisis impredecibles y potenciales riesgos de seguridad, como problemas con números sexagesimales, etiquetas y análisis booleano. El autor recomienda alternativas más simples como TOML o generar JSON para evitar los problemas de YAML, sugiriendo opciones más potentes como Nix y Python para configuraciones complejas.

(ruudvanasseldonk.com)

Desarrollo

Metalente multicapa para enfoque multicolor: un avance en la óptica miniaturizada

2025-09-23

Metalente multicapa para enfoque multicolor: un avance en la óptica miniaturizada

Investigadores de la Australian National University y la Friedrich Schiller University Jena han desarrollado una novedosa metalente multicapa utilizando metamateriales que puede enfocar simultáneamente una gama de longitudes de onda desde una fuente no polarizada, superando una limitación clave de las metalentes convencionales. Este diseño cuenta con una baja relación de aspecto, lo que lo hace fácil de fabricar e insensible a la polarización. Sus aplicaciones potenciales incluyen sistemas ópticos miniaturizados, de bajo coste y de alto rendimiento para dispositivos portátiles como teléfonos y drones. Utilizando un algoritmo de diseño inverso y optimización de forma, el equipo creó elementos de metamateriales en una sorprendente variedad de formas, permitiendo patrones de enfoque arbitrarios. Aunque actualmente está limitado a aproximadamente cinco longitudes de onda, esta tecnología tiene un inmenso potencial para futuros sistemas de imagen portátiles.

(www.sciencedaily.com)

Tecnología

Compilando un pequeño lenguaje funcional a LLVM: Un ejemplo de calculadora simple

2025-09-23

Este artículo detalla el proceso de compilar un pequeño lenguaje funcional a LLVM. Comenzando con un lenguaje de calculadora básico, el autor construye progresivamente un analizador léxico, un analizador sintáctico y un generador de código LLVM. El artículo explica detalladamente cada paso, incluyendo el análisis con la biblioteca megaparsec, la generación de código LLVM IR usando las bibliotecas llvm-hs-pure y llvm-hs-pretty, y finalmente la compilación y ejecución del resultado. A través de este ejemplo, los lectores pueden aprender cómo traducir características de lenguajes funcionales (como la coincidencia de patrones) a LLVM IR y cómo usar LLVM para la generación y compilación de código.

(danieljharvey.github.io)

Desarrollo Lenguaje Funcional

Cierre de la aplicación de cerradura inteligente Kevo: Es hora de actualizar

2025-09-23

ASSA ABLOY anunció la interrupción de la aplicación y el portal web de la cerradura inteligente Kevo el 14 de noviembre de 2025. Esto significa que la funcionalidad remota para todas las cerraduras Kevo (marcas Kwikset, Weiser y Baldwin) cesará. Los usuarios aún pueden usar llaves físicas o llaveros. Para facilitar la transición, ASSA ABLOY ofrece descuentos significativos en cerraduras inteligentes de reemplazo. Los usuarios de EE. UU. pueden obtener hasta US$ 130 de descuento en ciertas cerraduras a través del sitio web de Level, mientras que los usuarios canadienses pueden llamar al servicio de atención al cliente de Weiser. Esta oferta vence el 14 de diciembre de 2025.

(www.kwikset.com)

Hardware cerradura inteligente cierre de aplicación

← Previous 1 2 3 4 5 6 7 8 9 … 595 596 Next →