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

Bootc: Crea tu propia distribución Linux atómica

2025-03-24

¿Cansado de las complejas configuraciones de distribución de Linux? Bootc te permite crear un sistema operativo como una aplicación. Usando tecnología de contenedores, puedes crear fácilmente distribuciones atómicas, garantizando la operación consistente del sistema. El artículo usa Nginx como ejemplo para mostrar la simplicidad de Bootc y presenta el proyecto Universal Blue, que usa Bootc para crear una experiencia de escritorio comparable a SteamOS. Bootc abre nuevas posibilidades para la creación de escritorios Linux estables y fáciles de usar, lo que lo convierte en una herramienta digna de aprender para todos los entusiastas de Linux.

Leer más
(sean.thrailkill.cloud)
Desarrollo Linux Atómico Tecnología de Contenedores

El proteccionismo no revertirá la desindustrialización de EE. UU.

2025-05-20
El proteccionismo no revertirá la desindustrialización de EE. UU.

Las políticas comerciales proteccionistas del presidente Trump no han logrado detener el declive a largo plazo de la manufactura en EE. UU. El artículo argumenta que la disminución de la participación de la manufactura en las economías desarrolladas desde la década de 1940 es una tendencia universal de "terciarización", donde los servicios dominan. Los intentos de revertir esto mediante restricciones comerciales son ineficaces. Las estrategias más eficaces son las inversiones públicas, incluido el apoyo a las PYME, la educación y la infraestructura, en lugar de los recortes de impuestos o la supresión salarial.

Leer más
(blog.waldrn.com)
Tecnología desindustrialización

Cap: Una alternativa CAPTCHA de código abierto, ligera y privada

2025-05-30
Cap: Una alternativa CAPTCHA de código abierto, ligera y privada

Cap es una alternativa CAPTCHA ligera, moderna y de código abierto que utiliza prueba de trabajo SHA-256. Es rápida, privada y extremadamente fácil de integrar. Compuesta por un widget JavaScript (@cap.js/widget) y un componente del lado del servidor (@cap.js/server), Cap ofrece varias extensiones y admite varios tiempos de ejecución y lenguajes de programación. Incluso funciona de forma independiente en Docker. En comparación con hCaptcha, Cap es 250 veces más pequeña y, utilizando prueba de trabajo, no requiere ningún seguimiento del usuario. Totalmente de código abierto, Cap ofrece modos como invisible y flotante para adaptarse a diversas necesidades.

Leer más
(capjs.js.org)
Desarrollo Prueba de Trabajo

reMarkable Digest: Resumenes de Lectura Personales para tu reMarkable

2025-01-14
reMarkable Digest: Resumenes de Lectura Personales para tu reMarkable

reMarkable Digest es una aplicación de resumenes de lectura personal diseñada para la tableta reMarkable. Permite a los usuarios extraer fragmentos importantes de artículos y libros para su fácil revisión y organización posterior. Aprovechando la experiencia de escritura similar al papel del reMarkable, la aplicación hace que tomar notas sea natural y eficiente, mejorando la comprensión lectora y la gestión del conocimiento.

Leer más
(digest.ferrucc.io)
Varios notas

RV reimagina la Expedición de Lewis y Clark

2025-05-26
RV reimagina la Expedición de Lewis y Clark

Estudiantes de la Universidad de Shenandoah han creado una innovadora experiencia de RV, "Siguiendo sus pasos", que recrea la Expedición de Lewis y Clark. Un proyecto de nueve meses que culminó en un viaje por todo el país, el equipo capturó video en 360° y entrevistas con más de 20 expertos. Este programa de RV inmersivo tiene como objetivo educar a un público más amplio sobre este momento crucial de la historia estadounidense, ofreciendo una exploración interactiva de lugares y artefactos importantes. Con su lanzamiento en otoño de 2025, promete una nueva perspectiva sobre esta aventura icónica.

Leer más
(www.su.edu)
Tecnología Educación Histórica Lewis y Clark

Inmersión profunda en macros higiénicas en Scheme

2025-05-08

El sistema de macros de Scheme emplea un mecanismo de 'higiene' para evitar conflictos de nombres de variables durante la expansión de macros. Este artículo profundiza en el concepto de identificadores en Scheme, que abarcan no solo un nombre simbólico, sino también un contexto léxico y un contexto histórico. Los predicados `bound-identifier=?` y `free-identifier=?` comparan la equivalencia de identificadores; el primero se centra en la intercambiabilidad de identificadores enlazados después de la expansión de la macro, mientras que el segundo se centra en los identificadores libres. El artículo utiliza varios ejemplos para ilustrar las diferencias entre estas dos relaciones de equivalencia y el papel del contexto histórico en el mecanismo de macro higiénica. Finalmente, explica cómo Scheme utiliza la información histórica de los identificadores para garantizar la higiene de las macros y evitar conflictos de nombres de variables.

Leer más
(mnieper.github.io)
Desarrollo

OKRs en cascada: Podemos hacerlo mejor

2025-01-17
OKRs en cascada: Podemos hacerlo mejor

El método tradicional de OKRs en cascada, que descompone los objetivos de la empresa en metas departamentales y de equipo, a menudo falla debido a su naturaleza aditiva. Esto ignora las interdependencias entre los departamentos. El autor propone un enfoque de 'habilitación', centrándose en cómo los equipos apoyan los objetivos estratégicos de la empresa en lugar de simplemente descomponerlos. Incluso si los OKRs de un equipo no están directamente relacionados con los de la empresa, su papel de apoyo es crucial. El artículo enfatiza que los OKRs deben servir a la estrategia general de la empresa, no solo a los objetivos trimestrales. Los equipos deben considerar su contribución a la visión estratégica a largo plazo.

Leer más
(jessitron.com)
Desarrollo Gestión de Equipos

Drama Cuántico: Un Siglo de Debate Más Allá de Copenhague

2025-03-29
Drama Cuántico: Un Siglo de Debate Más Allá de Copenhague

El libro 'Drama Cuántico', de Jim Baggott y John L Heilbron, ofrece una visión completa de la historia centenaria de la mecánica cuántica, yendo más allá del enfoque habitual en la Conferencia de Solvay de 1927. Se adentra en el debate continuo sobre las interpretaciones de la mecánica cuántica, destacando el trabajo experimental de Aspect, Clauser y Zeilinger en las desigualdades de Bell y las contribuciones teóricas de Zurek, Joos y otros sobre el entrelazamiento y la decoherencia. Si bien es accesible para un público amplio, algunos detalles técnicos podrían ser más fácilmente comprendidos por físicos profesionales. El lanzamiento oportuno del libro coincide con el centenario de la física cuántica, proporcionando una nueva perspectiva sobre este duradero enigma científico.

Leer más
(cerncourier.com)
Tecnología Interpretación Cuántica

Revisión del Nivel Gratuito de AWS: Sistema basado en créditos llega el 15 de julio de 2025

2025-07-12
Revisión del Nivel Gratuito de AWS: Sistema basado en créditos llega el 15 de julio de 2025

AWS está cambiando drásticamente su Nivel Gratuito a partir del 15 de julio de 2025. La prueba gratuita de 12 meses se reemplazará por un sistema basado en créditos que ofrece hasta US$ 200 en créditos para nuevos usuarios, obtenibles mediante diversas actividades. Sin embargo, esto conlleva limitaciones: una duración máxima de 6 meses, cierre automático de la cuenta tras la expiración y acceso restringido a servicios. Los usuarios existentes no se ven afectados. Los nuevos usuarios deben crear cuentas antes del 15 de julio para obtener el nivel gratuito de 12 meses; después de esa fecha, deben elegir cuidadosamente entre los planes Gratuito y Pago, monitorizando el uso de créditos para evitar el cierre de la cuenta.

Leer más
(freetier.co)
Tecnología

Artículo de Apple cuestiona a los LLMs: ¿Los modelos de razonamiento a gran escala están fundamentalmente limitados?

2025-06-16

Un artículo reciente de Apple afirma que los Modelos de Razonamiento a Gran Escala (LRMs) tienen limitaciones en el cálculo exacto, no logran utilizar algoritmos explícitos y razonan de manera inconsistente en los rompecabezas. Esto se considera un golpe significativo al impulso actual de usar LLMs y LRMs como base para la AGI. Un artículo de refutación en arXiv intenta contrarrestar los hallazgos de Apple, pero es defectuoso. Contiene errores matemáticos, confunde la ejecución mecánica con la complejidad del razonamiento y sus propios datos contradicen sus conclusiones. Críticamente, la refutación ignora el hallazgo clave de Apple de que los modelos reducen sistemáticamente el esfuerzo computacional en problemas más difíciles, lo que sugiere limitaciones de escalamiento fundamentales en las arquitecturas actuales de LRM.

Leer más
(victoramartinez.com)
IA Modelos de Lenguaje Amplios Limitaciones de Razonamiento

La estricta política de desbloqueo del bootloader de Xiaomi genera controversia

2025-01-03
La estricta política de desbloqueo del bootloader de Xiaomi genera controversia

Xiaomi ha endurecido drásticamente su política de desbloqueo del bootloader, limitando a los usuarios a desbloquear solo un dispositivo por año. Si bien este cambio afecta mínimamente a los consumidores promedio, podría obstaculizar significativamente el desarrollo de ROMs personalizadas. Esta medida ha generado un debate sobre la propiedad del dispositivo y la libertad del usuario, con especulaciones sobre las motivaciones de Xiaomi, incluyendo la prevención de que los usuarios eludan los anuncios y el seguimiento integrados, o la frustración de revendedores que venden teléfonos con software personalizado. Los usuarios lo ven como una restricción a la elección, mientras que los desarrolladores temen una reducción de la eficiencia en el desarrollo de ROMs personalizadas.

Leer más
(www.androidpolice.com)
Tecnología

PgDog: Un gestor de pool de transacciones y replicación lógica de alto rendimiento para PostgreSQL

2025-05-26
PgDog: Un gestor de pool de transacciones y replicación lógica de alto rendimiento para PostgreSQL

PgDog, escrito en Rust, es un administrador de pool de transacciones y replicación lógica rápido, seguro y escalable para PostgreSQL, capaz de gestionar cientos de bases de datos y cientos de miles de conexiones. Incluye particionamiento de bases de datos, balanceo de carga con comprobaciones de estado y conmutación por error, agrupación de transacciones y sesiones para una gestión eficiente de las conexiones de los clientes. La monitorización se facilita mediante OpenMetrics, e incluye un analizador CSV y soporte de replicación lógica para una ingesta de datos optimizada y particionamiento de bases de datos.

Leer más
(github.com)
Desarrollo Particionamiento de bases de datos

Proyecto HEIST de la OTAN: Copia de seguridad por satélite para cables submarinos

2025-01-01
Proyecto HEIST de la OTAN: Copia de seguridad por satélite para cables submarinos

En respuesta al creciente número de interrupciones de cables submarinos, la OTAN está desarrollando el Proyecto HEIST, un sistema para la conmutación perfecta entre cables submarinos y satélites. HEIST identificará los daños en los cables con una precisión de un metro y redireccionará los datos a redes satelitales en caso de interrupción. Esto es crucial, ya que los cables submarinos transportan más de 10 billones de dólares en transacciones anuales. Si bien el ancho de banda del satélite actualmente está por detrás de la fibra óptica, se están realizando esfuerzos para actualizar las velocidades del satélite. Además, la OTAN planea abrir el código de partes del proyecto para acelerar el desarrollo y mejorar la seguridad contra ataques deliberados.

Leer más
(www.tomshardware.com)
Tecnología Cables Submarinos Comunicación Satelital

La Hormiga de Collatz: Visualización de Secuencias de Collatz con la Hormiga de Langton

2024-12-23

La Hormiga de Collatz visualiza secuencias de Collatz utilizando las reglas de la Hormiga de Langton. Basada en la función de Collatz (números pares divididos entre dos, números impares multiplicados por tres y sumados a uno), la hormiga gira 90 grados en el sentido de las agujas del reloj para números pares y en sentido contrario para números impares. El estado de la celda cambia con cada movimiento, repitiéndose hasta que n=1. El código y ejemplos muestran trayectorias consecutivas de 10^30 a 10^30+20.

Leer más
(gbragafibra.github.io)
IA Conjetura de Collatz Hormiga de Langton

Antes del CGI: Cómo los cineastas creaban escenas épicas de batalla

2025-01-07

Este artículo explora cómo los cineastas creaban escenas épicas de batalla antes de la llegada del CGI. Examina las técnicas empleadas por varios directores, desde el uso innovador del montaje y los efectos de humo de D.W. Griffith hasta la magistral manipulación de los ángulos de cámara y la posproducción de Sergei Eisenstein para crear la ilusión de ejércitos masivos. El artículo contrasta diferentes interpretaciones de Guerra y Paz de Tolstói, mostrando los desafíos y las soluciones creativas involucradas en la representación de batallas a gran escala con recursos limitados. Aunque la precisión histórica a veces se vio afectada, el ingenio y la escala de estos esfuerzos previos al CGI son notables.

Leer más
(battlefieldanomalies.com)
Varios Películas de Guerra

¿El Visual Studio te pudre el cerebro? El lamento de un programador

2025-03-10

Este artículo explora el impacto de Visual Studio en la forma de pensar de los programadores. Si bien reconoce su utilidad, el autor argumenta que la fuerte automatización de Visual Studio, en particular IntelliSense, puede obstaculizar el desarrollo de habilidades de programación reales y la creatividad. El autor contrasta esto con la alegría pura de programar sin tales ayudas, enfatizando los beneficios mentales de un enfoque más práctico. La pieza también profundiza en la historia de las herramientas de programación y especula sobre los cambios futuros que traerán Avalon (WPF) y XAML.

Leer más
(charlespetzold.com)
Desarrollo

Gmail dejará de admitir el cifrado 3DES en las conexiones SMTP

2025-05-08
Gmail dejará de admitir el cifrado 3DES en las conexiones SMTP

Google anunció que dejará de admitir el Estándar de Cifrado de Datos Triple (3DES) para las conexiones SMTP entrantes a partir del 30 de mayo de 2025. Después de esa fecha, los sistemas de correo electrónico que utilicen 3DES no podrán enviar correos electrónicos a las cuentas de Gmail. Este cambio mejora la seguridad al mitigar las vulnerabilidades asociadas con los métodos de cifrado obsoletos. Todos los sistemas de envío deben configurarse para utilizar cifras TLS modernas y seguras. Consulte el Centro de Ayuda de Gmail para obtener más información.

Leer más
(workspaceupdates.googleblog.com)
Tecnología Cifrado 3DES

Los LLM son sorprendentemente baratos de ejecutar

2025-06-09

Esta publicación cuestiona la idea errónea generalizada de que los Grandes Modelos de Lenguaje (LLM) son prohibitivamente caros de operar. Al comparar los costos de los LLM con los de los motores de búsqueda web y citando varios precios de API de LLM, el autor demuestra que los costos de inferencia de LLM han disminuido drásticamente, siendo incluso una orden de magnitud más baratos que algunas API de búsqueda. El autor también refuta objeciones comunes a las estrategias de precios de LLM, como el subsidio de precios y los altos costos subyacentes, y señala que el verdadero desafío de costos radica en los servicios de back-end que interactúan con la IA, no en los propios LLM.

Leer más
(www.snellman.net)
IA Análisis de Costos

Llama desde cero: Una guía práctica (sin lágrimas)

2025-05-19
Llama desde cero: Una guía práctica (sin lágrimas)

Esta entrada de blog documenta meticulosamente el viaje del autor para implementar una versión reducida del modelo de lenguaje Llama desde cero, entrenándolo en el conjunto de datos TinyShakespeare. Empleando un enfoque iterativo, el autor implementa progresivamente componentes clave como RMSNorm, incrustaciones posicionales rotatorias (RoPE) y la función de activación SwiGLU, probando y visualizando rigurosamente cada parte para asegurar la corrección. La entrada enfatiza la importancia del desarrollo iterativo y comparte numerosas técnicas de depuración, como verificaciones de forma de tensor, aserciones y herramientas de visualización, proporcionando una experiencia práctica invaluable. El autor entrena con éxito un modelo capaz de generar texto al estilo shakespeariano y evalúa su rendimiento.

Leer más
(blog.briankitano.com)
Desarrollo implementación de modelo

Avance en la Complejidad Espacial Óptima para la Estimación de Momentos de Frecuencia

2024-12-29

Un artículo de Mark Braverman y Or Zamir demuestra un límite inferior de espacio óptimo de Ω(log(nε²)/ε²) para la estimación de momentos de frecuencia, donde ε = Ω(1/√n). Esta investigación resuelve un problema de larga data en la complejidad computacional, coincidiendo con el límite superior clásico de Alon-Matias-Szegedy en un cierto rango. Para valores más pequeños de ε, el artículo también introduce un algoritmo mejorado que refina aún más la complejidad espacial de la estimación de momentos de frecuencia. Este avance proporciona una guía teórica crucial para el procesamiento de datos de flujo y el diseño de algoritmos.

Leer más
(eccc.weizmann.ac.il)
IA estimación de momentos de frecuencia complejdidad espacial procesamiento de datos de flujo

Desmitificando la Recursión: Un Enfoque Basado en Proyectos

2025-01-04

El libro "El Libro Recursivo de la Recursión" desafía la reputación intimidante de los algoritmos recursivos. Usando ejemplos en Python y JavaScript, explica progresivamente los fundamentos de la recursión, algoritmos comunes (factoriales, secuencias de Fibonacci, recorrido de árboles, resolución de laberintos, etc.) y técnicas de optimización (optimización de llamada de cola, memorización). Abarca temas avanzados como dividir y conquistar, permutaciones, combinaciones y programación dinámica, culminando en la generación de arte fractal. Basado en proyectos y altamente accesible, este libro es perfecto para principiantes y programadores experimentados.

Leer más
(inventwithpython.com)
Desarrollo

Cloudflare previene conflictos DNS con verificación formal

2025-01-07
Cloudflare previene conflictos DNS con verificación formal

Cloudflare utiliza Topaz, un sistema que verifica formalmente la corrección de su comportamiento de direccionamiento DNS interno. Topaz codifica los objetivos de negocio de DNS como programas declarativos, cada uno con una función de coincidencia, una función de respuesta y una configuración. Antes del despliegue, un verificador de modelo personalizado verifica estos programas para detectar conflictos y errores, asegurando una configuración DNS fiable y consistente. Esto mejora la fiabilidad de Internet, evitando inconsistencias en la resolución de direcciones IP.

Leer más
(blog.cloudflare.com)
Tecnología Verificación Formal

Dr.TVAM: Un framework de renderizado inverso para fabricación aditiva volumétrica tomográfica

2025-01-17
Dr.TVAM: Un framework de renderizado inverso para fabricación aditiva volumétrica tomográfica

Dr.TVAM es un framework de renderizado inverso para fabricación aditiva volumétrica tomográfica (TVAM) basado en el renderizador Mitsuba. Utiliza el renderizado diferenciable basado en física para optimizar patrones para TVAM, admitiendo medios de impresión de dispersión, formas de vial arbitrarias y movimientos del proyector. También se incluye un esquema de discretización mejorado para la forma objetivo. Se proporciona una herramienta de línea de comandos y una documentación completa para facilitar la personalización y la optimización.

Leer más
(github.com)
Desarrollo renderizado inverso fabricación aditiva volumétrica

Reviviendo la Mejora de Procesos de la Era de la Segunda Guerra Mundial: Una Herramienta para la Eficiencia Moderna

2025-04-02
Reviviendo la Mejora de Procesos de la Era de la Segunda Guerra Mundial: Una Herramienta para la Eficiencia Moderna

Este artículo anuncia un proyecto para recrear y actualizar el Programa de Simplificación del Trabajo, una herramienta de mejora de procesos gubernamentales de la era de la Segunda Guerra Mundial. El objetivo es hacer que la mejora de procesos sea accesible para ciudadanos comunes y organizaciones locales, no solo para grandes corporaciones. El proyecto, alojado en un sitio web llamado "Standards", tiene como objetivo ayudar a identificar y eliminar procesos ineficientes, lo que lleva a una mayor eficiencia y mejores servicios públicos. A diferencia de los enfoques corporativos modernos que se centran en la reducción de costos a corto plazo, este programa enfatiza la efectividad a largo plazo y la experiencia del ciudadano. El equipo ya ha digitalizado los manuales de capacitación originales y planea recrear otros materiales, como gráficos de procesos.

Leer más
(www.governance.fyi)
Tecnología mejora de procesos Simplificación del Trabajo

Crisis en el fútbol americano: disminución de la participación y preocupaciones por la salud

2025-06-24
Crisis en el fútbol americano: disminución de la participación y preocupaciones por la salud

El fútbol americano se enfrenta a una crisis grave: disminución de la participación juvenil, principalmente debido a las preocupaciones de los padres sobre la salud de los jugadores. A pesar de que la NFL ha tomado medidas en respuesta a numerosos estudios clínicos que destacan los riesgos para la salud, el artículo enfatiza repetidamente que 'algo está terriblemente mal', lo que sugiere que el deporte necesita cambios fundamentales para asegurar su futuro.

Leer más
(www.sbnation.com)
Juegos Fútbol Americano Riesgos para la Salud Participación Juvenil

Zig: Reflexiones después de meses de uso

2025-02-05

Después de meses usando Zig, el autor ofrece una perspectiva madura. El artículo detalla tanto las fortalezas como las debilidades. Las fortalezas incluyen enteros de tamaño arbitrario, structs empaquetados, funciones genéricas a nivel de tipo y una excelente interoperabilidad con C. Las debilidades se centran en el manejo de errores insuficiente, la prohibición de las variables de sombra, las incertidumbres de la escritura de patos en tiempo de compilación, la falta de clases de tipos/traits y los conceptos erróneos sobre la seguridad de la memoria. El autor concluye que Zig sacrifica la seguridad de la memoria y la robustez en aras de la simplicidad, lo que plantea riesgos en proyectos grandes, llevando a la decisión final de abandonar su uso.

Leer más
(strongly-typed-thoughts.net)
Desarrollo

Crea una Autoridad de Certificación diminuta y segura con YubiKey para tu Homelab

2025-01-19
Crea una Autoridad de Certificación diminuta y segura con YubiKey para tu Homelab

Este tutorial te guía en la creación de una Autoridad de Certificación (CA) segura y protegida con YubiKey en una Raspberry Pi. Utilizando el software de código abierto step-ca y un Infinite Noise TRNG opcional para una aleatoriedad mejorada, crearás un pequeño servidor ACME interno para las necesidades TLS de tu homelab. La guía cubre la configuración del sistema, la creación de PKI, la configuración de la CA, la adición de un provisionador ACME y la implementación de servicios systemd para manejar la extracción/inserción de la YubiKey. El resultado: una CA diminuta, segura y sin SSH.

Leer más
(smallstep.com)
Desarrollo autoridad de certificación

CyberScript: Un lenguaje de scripting rápido, eficiente y concurrente

2025-06-23

CyberScript es un lenguaje de scripting de tipado estático (con soporte para tipado dinámico) diseñado para velocidad, eficiencia y concurrencia. Su sintaxis concisa y legible, combinada con un rico conjunto de características, incluyendo varios tipos de datos (booleanos, números, cadenas, matrices, listas, tablas, mapas), operadores e sentencias de control de flujo, lo convierte en una herramienta poderosa. También se admiten características avanzadas como programación orientada a objetos, metaprogramación, programación asíncrona, concurrencia e interoperabilidad con C.

Leer más
(fubark.github.io)
Desarrollo
1 2 … 573 574 575 577 579 580 581 … 595 596