Craft Basic 1.7.1: Un intérprete BASIC retro para Windows

2025-05-18

Craft Basic 1.7.1 es un intérprete BASIC gratuito para Windows 95 y versiones posteriores. Aprende a programar, crea juegos simples, escribe código interactivo, realiza cálculos complejos, muestra gráficos geniales, crea formularios, escribe scripts útiles y mucho más. Los comandos simples te permiten dibujar mapas de bits y reproducir archivos WAV; cuenta con manejo de formularios para texto estático y botones; e incluye muchos programas de ejemplo para que comiences. Es compatible con Win9X, Win2K, WinXP, Win10 y Win11.

Leer más
Desarrollo intérprete BASIC

Quantus: Plataforma de Trading Cuantitativo Revolucionaria

2024-12-12

Quantus es una plataforma de trading cuantitativo avanzada, diseñada para proporcionar soluciones de trading eficientes y fiables a traders profesionales e inversores institucionales. Integra potentes herramientas de análisis de datos, capacidades de backtesting flexibles y un sistema de ejecución de baja latencia, permitiendo a los usuarios aprovechar mejor las oportunidades del mercado y mejorar los retornos de inversión. Con su robusta tecnología e interfaz fácil de usar, Quantus se está convirtiendo rápidamente en una estrella en ascenso en el panorama de las fintech.

Leer más
Tecnología trading cuantitativo

Clean: Un DSL incrustado y un framework de verificación formal para circuitos ZK en Lean4

2025-03-27

Los investigadores han desarrollado Clean, un lenguaje específico de dominio (DSL) incrustado y un framework de verificación formal en Lean4 para construir circuitos de conocimiento cero (ZK). Los circuitos ZK son propensos a errores, y Clean tiene como objetivo mejorar la corrección al permitir a los usuarios definir circuitos en Lean4, especificar sus propiedades deseadas y probarlos formalmente. Este proyecto es parte del Proyecto de Verificación Formal zkEVM, cuyo objetivo es proporcionar la infraestructura y las herramientas para la verificación formal de zkEVMs. Clean admite cuatro operaciones básicas para definir circuitos: witness, assert, lookup y subcircuit, y ofrece una interfaz monádica para una mejor usabilidad. Su núcleo es la estructura FormalCircuit, que empaqueta de forma fuertemente tipada la definición del circuito, los supuestos, la especificación, las pruebas de solidez y completitud. Los circuitos grandes se pueden verificar formalmente reemplazando recursivamente las restricciones de los subcircuitos por sus especificaciones (formalmente verificadas). El framework ya ha verificado con éxito circuitos simples como la suma de 8 bits, con planes futuros para agregar más gadgets de bajo nivel, definir circuitos de funciones hash comunes y construir una máquina virtual mínima formalmente verificada para un subconjunto de RISC-V.

Leer más

Portspoof: Herramienta de suplantación de puertos de código abierto frustra los análisis de puertos

2024-12-25
Portspoof: Herramienta de suplantación de puertos de código abierto frustra los análisis de puertos

Portspoof es una herramienta de suplantación de puertos de código abierto diseñada para mejorar la seguridad del sistema operativo. Confunde a los escáneres de puertos manteniendo siempre abiertas las 65535 puertos TCP y respondiendo con SYN+ACK a cada intento de conexión. Además, Portspoof cuenta con una base de datos masiva de firmas de servicio dinámicas, imitando varios banners de servicio para dificultar aún más que los atacantes identifiquen los servicios reales. Esto aumenta significativamente el tiempo y la dificultad para que los atacantes realicen análisis de puertos e identificación de servicios, mejorando eficazmente la seguridad del sistema sin necesidad de privilegios de root.

Leer más

arXivLabs: Proyectos experimentales con colaboradores de la comunidad

2025-02-22
arXivLabs: Proyectos experimentales con colaboradores de la comunidad

arXivLabs es un marco que permite a los colaboradores desarrollar y compartir nuevas funciones de arXiv directamente en nuestro sitio web. Las personas y 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. ¿Tiene una idea para un proyecto que agregará valor a la comunidad de arXiv? Obtenga más información sobre arXivLabs.

Leer más
Desarrollo

Construye un SO en 1000 líneas de código: Una guía para principiantes

2025-01-08

Este libro te guiará en la construcción de un pequeño sistema operativo desde cero, paso a paso. Si bien el desarrollo del kernel del SO puede parecer desalentador, las funciones fundamentales son sorprendentemente simples. Usando C, implementarás cambio de contexto, paginación, modo de usuario, un shell de línea de comandos, un controlador de disco y E/S de archivos, todo en 1000 líneas de código. El desafío? La depuración. Aprenderás técnicas de depuración esenciales para el desarrollo de SO, enfrentando desafíos como el proceso de arranque y la paginación. ¡Prepárate para un viaje emocionante al mundo del desarrollo de SO!

Leer más
Desarrollo Lenguaje C

Nuevas Funciones Hash Rain Hashes: Velocidad y Seguridad Combinadas

2024-12-13
Nuevas Funciones Hash Rain Hashes: Velocidad y Seguridad Combinadas

DOSAYGO Research ha lanzado Rain Hashes, una nueva familia de funciones hash con los algoritmos Rainbow y Rainstorm. Rainbow se destaca por su velocidad excepcional, lo que lo hace ideal para el hashing de propósito general. Su implementación en C++ ha superado todas las pruebas de SMHasher3 y se caracteriza por su código conciso y eficiente. Rainstorm prioriza la seguridad; aunque no ha sido auditado formalmente, su diseño incorpora elementos de funciones hash criptográficas y ofrece tamaños de salida de 64 a 512 bits. El proyecto proporciona implementaciones en C++, WASM y Node.js, junto con una herramienta de línea de comandos y pruebas de evaluación comparativa para una fácil evaluación y uso.

Leer más
Desarrollo función hash

Finlandia casi erradica la falta de vivienda: Lecciones de una estrategia exitosa

2025-01-10
Finlandia casi erradica la falta de vivienda: Lecciones de una estrategia exitosa

La notable reducción de personas sin hogar en Finlandia durante tres décadas, de más de 16.000 en 1989 a alrededor de 4.000 en 2020, se debe a una estrategia nacional sostenida centrada en un enfoque de "Vivienda Primero". Esto prioriza el suministro de vivienda inmediata, independiente y permanente, junto con servicios de apoyo social integrados y asistencia financiera a través del sistema de prestaciones sociales. A diferencia de las soluciones temporales, esta estrategia garantiza una base sólida para abordar otras necesidades como el empleo y la atención médica. El éxito destaca la importancia de un enfoque equilibrado que combine ayuda financiera, apoyo integral y un mayor suministro de viviendas, lo que resulta mucho más eficaz que depender de una sola palanca. El modelo finlandés ofrece valiosas lecciones para otros países de la OCDE que buscan abordar la falta de vivienda de manera eficaz.

Leer más

Putnam-AXIOM: Un nuevo benchmark que desafía la capacidad de razonamiento matemático de los LLM

2025-01-01
Putnam-AXIOM: Un nuevo benchmark que desafía la capacidad de razonamiento matemático de los LLM

Los investigadores presentaron Putnam-AXIOM, un benchmark desafiante que consta de 236 problemas de la William Lowell Putnam Mathematical Competition, diseñado para evaluar las capacidades de razonamiento matemático de alto nivel de los modelos de lenguaje grandes (LLM). Para mitigar la contaminación de datos, también se creó un benchmark de variaciones con alteraciones funcionales de 52 problemas. Los resultados muestran que incluso los modelos de mejor rendimiento experimentan una caída significativa en la precisión (alrededor del 30%) en las variaciones en comparación con los originales, lo que destaca un espacio sustancial para mejorar el razonamiento matemático de los LLM.

Leer más

Iteradores Go: Manejo eficiente de APIs paginadas

2024-12-21

Este artículo muestra cómo manejar eficientemente APIs paginadas usando la característica de iteradores introducida en Go 1.23. Utilizando la API de GitHub como ejemplo, el autor demuestra cómo escribir un iterador personalizado para abstraer la lógica de paginación, haciendo el código más legible y reutilizable. El artículo se centra en la implementación y las pruebas del iterador, incluyendo la simulación de llamadas a la API y el uso de iteradores pull para asegurar que el iterador devuelve los resultados esperados. Los iteradores permiten a los desarrolladores separar la lógica de paginación de la lógica de negocio, mejorando la mantenibilidad y legibilidad del código.

Leer más
Desarrollo

Primeros pasos en ensamblador: Optimización de un analizador léxico con vectores de bits

2024-12-25

Después de leer "Writing an Interpreter in Go", un programador intentó reescribirlo en Zig y Rust, centrándose en la optimización del rendimiento del analizador léxico. Exploró varios métodos: ramificaciones, tablas de búsqueda y vectores de bits. Los vectores de bits comprimen la representación del estado asignando caracteres ASCII a bits, reduciendo el uso de memoria y mejorando la eficiencia de búsqueda. Si bien un intento de usar instrucciones SIMD falló, implementó con éxito vectores de bits en Zig y obtuvo buenos resultados en las pruebas de rendimiento, adquiriendo una valiosa experiencia en programación en ensamblador y optimización del rendimiento.

Leer más

Pyper: Python Concurrente Simplificado

2025-01-15
Pyper: Python Concurrente Simplificado

Pyper es un framework flexible para el procesamiento de datos concurrente y paralelo, basado en patrones de programación funcional. Integra a la perfección operaciones con threads, multiprocesamiento y asincrónicas, simplificando la creación de sistemas ETL, microservicios de datos y pipelines de recolección de datos. Con una API limpia y colas eficientes, Pyper ofrece una solución ligera en Python puro (sin dependencias) que prioriza la facilidad de uso, la seguridad y la eficiencia. Los desarrolladores pueden concentrarse en la construcción de la lógica en lugar de gestionar detalles de concurrencia de bajo nivel.

Leer más
Desarrollo

Tarjetas Perforadas: Un Fragmento Olvidado de la Historia de la Computación

2025-02-26
Tarjetas Perforadas: Un Fragmento Olvidado de la Historia de la Computación

En las décadas de 1950 y 1960, las tarjetas perforadas eran omnipresentes en contabilidad, recolección de datos e informática temprana, con millones producidas mensualmente por cientos de empresas en todo el mundo. Sin embargo, rápidamente se volvieron obsoletas y desaparecieron del conocimiento público. Este archivo conserva una pequeña selección de estas tarjetas y materiales relacionados, documentando un fragmento olvidado de la historia de la tecnología.

Leer más
Tecnología archivo histórico

Prolog: La elegancia de la programación declarativa

2025-01-26

Este artículo profundiza en la simplicidad y el poder de Prolog, un lenguaje de programación lógica. A diferencia de los populares lenguajes imperativos (como Python, Java), Prolog emplea un paradigma declarativo, centrándose en describir el problema en lugar de especificar los pasos de la solución. El autor demuestra las ventajas de Prolog en concisión y adaptabilidad comparando implementaciones en Prolog y Kotlin de un sistema de autorización. El código Prolog es significativamente más compacto, y las modificaciones son más fáciles cuando cambian los requisitos (por ejemplo, añadiendo una dimensión de tiempo). Aunque Prolog tiene una curva de aprendizaje más pronunciada, dominarlo amplía las perspectivas de programación y ayuda a mantener la simplicidad del sistema.

Leer más

La Docena de Datasaurus: Exponiendo las Trampas de la Estadística

2024-12-17

Trece conjuntos de datos, con estadísticas descriptivas simples casi idénticas, ¡pero con distribuciones y visualizaciones muy diferentes! Esta es la fascinante Docena de Datasaurus. Compuesta por un conjunto de datos con forma de dinosaurio y otros doce con formas variadas, todos comparten casi las mismas medias, varianzas y correlaciones. Esto demuestra poderosamente el peligro de depender únicamente de estadísticas descriptivas básicas; la visualización es crucial. La Docena de Datasaurus sirve como una advertencia, instando a los analistas de datos a priorizar la visualización antes del análisis para evitar conclusiones engañosas.

Leer más

Blue Origin: Un Nuevo Capítulo en la Exploración Espacial

2025-01-13
Blue Origin: Un Nuevo Capítulo en la Exploración Espacial

El sitio web de Blue Origin muestra sus motores de cohetes reutilizables, los cohetes New Shepard y New Glenn y el módulo lunar Blue Moon. El sitio ofrece información sobre la empresa, sostenibilidad, noticias, una galería, oportunidades de carrera y una tienda, invitando a los usuarios a registrarse para recibir actualizaciones. Blue Origin está comprometida con la exploración espacial y ofrece oportunidades para que las personas viajen al espacio.

Leer más
Tecnología

Descubrimiento accidental: Nanomaterial recoge agua del aire sin energía externa

2025-05-26
Descubrimiento accidental: Nanomaterial recoge agua del aire sin energía externa

Una observación fortuita en un laboratorio de Ingeniería Química en Penn Engineering ha llevado al descubrimiento de una nueva clase de materiales nanoestructurados que pueden extraer agua del aire, recogerla en poros y liberarla en superficies sin necesidad de energía externa. Este material, una mezcla de nanopores hidrofílicos y polímeros hidrofóbicos, utiliza la condensación capilar para capturar la humedad del aire, incluso con baja humedad, y expulsarla en forma de gotas. El descubrimiento promete aplicaciones en la recolección pasiva de agua en regiones áridas y en el enfriamiento de dispositivos electrónicos o edificios mediante enfriamiento evaporativo.

Leer más

Las hormigas superan a los humanos en un experimento de trabajo en equipo

2024-12-25
Las hormigas superan a los humanos en un experimento de trabajo en equipo

Un experimento del Instituto Weizmann enfrentó a hormigas contra humanos en un desafío de transporte colaborativo de carga a través de un laberinto. Sorprendentemente, los equipos de hormigas, incluso con comunicación limitada, superaron a los equipos humanos. Los investigadores atribuyen esto a la naturaleza altamente social de las hormigas y a sus objetivos compartidos, mientras que los equipos humanos lucharon con las diferencias individuales y las fallas de comunicación, sin lograr realizar plenamente la 'sabiduría de la multitud'. Este estudio arroja luz sobre la toma de decisiones en grupo y las ventajas y desventajas de la cooperación, cuestionando la aplicabilidad universal de la 'sabiduría de las multitudes' en contextos humanos.

Leer más

Desafíos visuales únicos para los astronautas en el polo sur lunar

2024-12-29
Desafíos visuales únicos para los astronautas en el polo sur lunar

El programa Artemis de la NASA, que tiene como objetivo establecer una base lunar permanente en el Polo Sur, enfrenta un desafío único: el duro entorno de iluminación. El bajo ángulo de elevación solar crea variaciones extremas de luz y sombra, afectando gravemente la visión y el rendimiento de las tareas de los astronautas. A diferencia de las misiones anteriores en las que el diseño del casco era suficiente, Artemis requiere sistemas innovadores de apoyo a la visión. Estos sistemas, que incluyen cascos, ventanas e iluminación, deben garantizar una visión clara en diversas condiciones de iluminación, protegiendo los ojos de los astronautas de lesiones. La NASA está desarrollando diversas técnicas de simulación para abordar este desafío, allanando el camino para una exploración lunar exitosa.

Leer más

El Puerto de Expansión de NES Finalmente Despierta Después de 39 Años

2024-12-12
El Puerto de Expansión de NES Finalmente Despierta Después de 39 Años

Después de 39 años de inactividad, el puerto de expansión olvidado del Nintendo Entertainment System finalmente se está utilizando en productos comerciales. Este artículo explora la historia del puerto de expansión de NES y por qué permaneció en gran parte sin usar durante tanto tiempo, examinando factores como la estrategia de Nintendo, las limitaciones tecnológicas y el entorno del mercado. Ahora, gracias a los esfuerzos de la comunidad de hardware de código abierto y entusiastas, el puerto de expansión se está utilizando para agregar funciones como soporte para controlador Bluetooth y compatibilidad con el sistema de disco Famicom, lo que marca un gran avance en la modificación de consolas de juegos retro.

Leer más

Di adiós al rastreo: Configurando un Pi-hole en casa

2025-05-05
Di adiós al rastreo: Configurando un Pi-hole en casa

¿Cansado del rastreo online constante y de los anuncios? Este artículo te guía en la configuración de un Pi-hole, un proxy DNS que se ejecuta en un Raspberry Pi, para bloquear eficazmente anuncios, rastreadores y otros dominios maliciosos, protegiendo tu privacidad en la red. El autor detalla el proceso de configuración, incluyendo los requisitos de hardware, la instalación del software, la configuración de listas de bloqueo de dominios y técnicas avanzadas, como el uso de reglas iptables para evitar que los dispositivos ignoren la configuración de DNS. El resultado: Tráfico de red significativamente reducido y una experiencia online mejorada.

Leer más
Tecnología

El Estado de Vigilancia Tecnológica de Trump: Una Distopía Tecnológica Desatada

2025-06-08
El Estado de Vigilancia Tecnológica de Trump: Una Distopía Tecnológica Desatada

Desde el regreso de Donald Trump a la Casa Blanca, el gobierno de EE. UU. ha intensificado la vigilancia masiva utilizando IA, apuntando a inmigrantes, extranjeros y estudiantes. Esto implica el escaneo no autorizado de redes sociales, el análisis de datos biométricos, la interceptación telefónica y mucho más, todo sin supervisión judicial. Trump y Elon Musk, junto con actores del sector privado como Palantir y Anduril, están impulsando esta expansión. Agencias como DHS e ICE utilizan herramientas como Babel X y SocialNet, recopilando datos de diversas fuentes, incluidas las redes sociales. El gobierno incluso utiliza la actividad en redes sociales como base para negar asilo o ciudadanía. El Departamento de Eficiencia Gubernamental (DOGE) recopila datos sensibles de ciudadanos, alimentando una nueva plataforma de deportación. Los expertos advierten sobre violaciones de los derechos humanos y la expansión de esta vigilancia a Europa.

Leer más
Tecnología Tecno-vigilancia

TinyZero: Desbloquea el razonamiento en LLM con bajo coste

2025-01-25
TinyZero: Desbloquea el razonamiento en LLM con bajo coste

El proyecto TinyZero demuestra cómo dotar a los grandes modelos de lenguaje (LLM) de capacidades de autoverificación y búsqueda a bajo coste, utilizando el aprendizaje por refuerzo. Construido sobre veRL y experimentando con la serie Qwen2.5, TinyZero proporciona instrucciones detalladas para la instalación, la preparación de datos y el entrenamiento. Incluso los modelos más pequeños pueden lograr un razonamiento sofisticado. El proyecto muestra la viabilidad de mejorar los LLM mediante RL, ofreciendo un nuevo enfoque para la investigación de IA rentable.

Leer más

Despidos en Google: La amarga despedida de un ingeniero de Chrome

2025-04-14
Despidos en Google: La amarga despedida de un ingeniero de Chrome

Un ingeniero de Chrome de Google fue despedido inesperadamente después de un evento de creación de equipo, dejándolo conmocionado, enojado y con el corazón roto. Cree que el despido no estaba relacionado con su rendimiento y expresa indignación por el trato injusto de la empresa. Perdió proyectos, colaboraciones, compromisos de orador y expresa preocupación por su futuro profesional.

Leer más

Visor de registros gigante: Navega instantáneamente en archivos de texto de 4 TB

2025-04-15
Visor de registros gigante: Navega instantáneamente en archivos de texto de 4 TB

¿Cansado de esperar para abrir archivos de registro enormes? `giant-log-viewer` carga instantáneamente archivos de texto de hasta 4 TB con una huella de memoria minúscula, usando solo ~80 MB de memoria de montón JVM. Admite codificación UTF-8 y ASCII, pero tiene limitaciones: no maneja líneas de más de 1 MB, emojis o sistemas sin GUI; actualmente solo funciona en Windows, macOS y Linux. Si bien no es tan completo en funciones como `less`, es perfecto para navegar rápidamente por registros gigantes mediante arrastrar y soltar o atajos de teclado. El proyecto es de código abierto en GitHub, y se agradecen las donaciones para ayudar al desarrollador a firmar los ejecutables.

Leer más
Desarrollo archivos grandes

Recortes presupuestarios en el Servicio Nacional de Meteorología provocan retrasos en las alertas de tornados y víctimas

2025-05-18
Recortes presupuestarios en el Servicio Nacional de Meteorología provocan retrasos en las alertas de tornados y víctimas

Los recortes presupuestarios en el Servicio Nacional de Meteorología a principios de este año obligaron a algunas oficinas a cesar las operaciones las 24 horas, incluida la oficina de Jackson, Kentucky, que perdió a su meteorólogo nocturno a tiempo completo. Esto contribuyó directamente a los retrasos en las alertas de tornados en una reciente tormenta devastadora, lo que resultó en al menos 27 muertes y varias personas desaparecidas. El New York Times había informado anteriormente sobre cómo estos recortes socavarían las mejoras en la previsión meteorológica. Ahora, un equipo de relaciones públicas de la NOAA, bajo leales a Trump, está luchando por negar y minimizar la situación. Esta tragedia destaca las graves consecuencias de la financiación insuficiente de los servicios meteorológicos y suscita serias preocupaciones sobre la seguridad pública durante futuros eventos climáticos extremos.

Leer más
Tecnología alerta meteorológica

Pesadilla de copia de seguridad de archivos de 1 TB de Backblaze: ¿un límite de 100.000 fragmentos?

2025-02-04

Un usuario informa que Backblaze sigue volviendo a cargar un archivo de más de 1 TB, con errores en el registro que sugieren un límite de 100.000 fragmentos (10 MB cada uno). Esto contradice el almacenamiento ilimitado anunciado por Backblaze. El usuario sospecha de un límite recién implementado, que posiblemente incluso haya provocado la eliminación de copias de seguridad existentes. La respuesta del soporte ha sido poco útil, ofreciendo solo pasos estándar de solución de problemas.

Leer más

Plantillas de Documentos Esenciales para Equipos de Alto Rendimiento

2025-05-09
Plantillas de Documentos Esenciales para Equipos de Alto Rendimiento

Este artículo presenta una colección de plantillas de documentos esenciales diseñadas para fomentar el trabajo en equipo eficaz. Estas plantillas cubren la documentación de decisiones, retrospectivas, planificación estratégica, seguimiento de proyectos, investigaciones de problemas, informes individuales, diapositivas de reuniones generales y aclaración de funciones. El objetivo es mejorar la cohesión del equipo, perfeccionar los procesos y aclarar las responsabilidades, aumentando en última instancia la eficiencia y la colaboración del equipo. Estas plantillas son herramientas prácticas beneficiosas para equipos de todos los tamaños y alcances de proyectos.

Leer más

SQL NULLs: Rompiendo tu intuición

2025-01-09

El tratamiento de valores NULL en SQL a menudo desafía las expectativas. Esta publicación revela el comportamiento sorprendente de los NULL en columnas con restricciones únicas: múltiples NULL pueden coexistir. A través de ejemplos prácticos en SQLite, Postgres y MySQL, el autor demuestra cómo los NULL se comportan de manera diferente con los operadores '=' e 'IS', explicando las razones subyacentes. Se exploran dos soluciones para garantizar la unicidad: crear una columna generada y usar un índice parcial. Usar un índice parcial se recomienda como mejor práctica, evitando aumentos en el tamaño de la tabla y posibles errores.

Leer más
Desarrollo

arXivLabs: Proyectos experimentales con colaboradores de la comunidad

2025-06-08
arXivLabs: Proyectos experimentales con colaboradores de la comunidad

arXivLabs es un marco que permite a los colaboradores desarrollar y compartir nuevas funciones de arXiv directamente en nuestro 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 respeten. ¿Tiene una idea para un proyecto que agregue valor a la comunidad de arXiv? Obtenga más información sobre arXivLabs.

Leer más
Desarrollo
1 2 578 579 580 582 584 585 586 595 596