learn-c.org ha lanzado un tutorial interactivo gratuito de programación en C. Tanto si eres un programador principiante como experimentado, este sitio web está diseñado para cualquiera que quiera aprender C. No se necesitan descargas; simplemente haz clic en un capítulo para comenzar. El sitio todavía está en construcción y se agradecen las contribuciones.
Esta publicación reflexiona sobre cinco años de Dolt utilizando go-mysql-server, detallando el funcionamiento interno de su motor SQL. Se describe el recorrido de una consulta desde el análisis hasta la generación de resultados, abarcando análisis, enlace, simplificación del plan, exploración de uniones, optimización basada en costos y ejecución. Dolt emplea un analizador recursivo a la izquierda y programación dinámica de abajo hacia arriba para la optimización del plan de consulta, seleccionando la estrategia de ejecución óptima mediante un modelo de costos. La publicación también trata sobre la gestión de la memoria y las optimizaciones futuras, como la unificación de representaciones intermedias y la reducción de la rotación de memoria.
¿Cansado de la falta de soporte nativo para enumeraciones en Go? GoEnums genera implementaciones de enumeraciones completas y seguras para tipos a partir de declaraciones de constantes simples. Transforma constantes iota básicas en enumeraciones ricas en funciones con conversión de cadenas, validación, manejo de JSON, integración de bases de datos y mucho más. GoEnums admite campos personalizados, análisis de mayúsculas y minúsculas, y proporciona documentación y ejemplos detallados. ¡Simplifica tu código Go con GoEnums!
Este artículo demuestra cómo construir una biblioteca estándar C compacta usando Newlib en un sistema RISC-V bare-metal. El autor implementa funciones básicas de UART, pasándolas a Newlib para habilitar la funcionalidad printf. El proceso abarca el concepto de Newlib, la configuración de la cadena de herramientas de compilación cruzada, el controlador UART, las llamadas al sistema y la creación de un script de enlace. El artículo concluye ejecutando la aplicación en QEMU y analizando el registro de depuración. Este es un tutorial práctico sobre desarrollo de sistemas embebidos, que muestra cómo utilizar la biblioteca estándar C en entornos con recursos limitados.
HTTP Feeds es una especificación mínima para streaming de eventos asíncrono y replicación de datos usando APIs HTTP simples. Define un endpoint HTTP GET que devuelve una secuencia cronológica de eventos CloudEvents en respuestas en lote. Usando el parámetro de consulta `lastEventId`, los clientes pueden sondear infinitamente para actualizaciones en tiempo real, ofreciendo una alternativa a los brokers de mensajes (como Kafka o RabbitMQ). La especificación también cubre sondeo largo para menor latencia, compactación y eliminación de datos para mayor eficiencia, y manejo de IDs de eventos para un procesamiento robusto de eventos.
¿Cansado de las complejidades de JSON, YAML y TOML? Un ingeniero de software creó CONL, un formato de archivo de configuración minimalista que pretende ser el "Markdown" de los archivos de configuración. CONL es fácil de leer y editar, cuenta con un modelo de datos similar a JSON y es sencillo de implementar. Admite varios tipos de datos, incluidos escalares, listas y mapas, con buen soporte para cadenas multilínea. El autor también proporciona implementaciones para Rust y Go, junto con un servidor de lenguaje y una extensión Zed.
Rocal UI es un motor de plantillas simple escrito en Rust. Si bien está principalmente diseñado para usarse con el framework Rocal para crear vistas, es adaptable a cualquier proyecto Rust. Su sintaxis es sencilla, admite la incrustación de variables, instrucciones if-else y bucles for. La macro `view!{}` genera cadenas HTML que se pueden anidar, lo que facilita el uso de plantillas parciales. Comience rápidamente con `cargo install rocal --features="cli"` y `rocal new -n yourapp`.
Tilt simplifica el desarrollo de microservicios Kubernetes automatizando todo el proceso, desde los cambios de código hasta los nuevos procesos, incluyendo la supervisión de archivos, la creación de imágenes de contenedor y las actualizaciones del entorno. Dile adiós a los engorrosos comandos `docker build && kubectl apply`. Tilt ofrece tutoriales y guías completas, admite varios lenguajes de programación y cuenta con una comunidad activa y una documentación bien mantenida. Incluso los principiantes en Kubernetes pueden empezar rápidamente y aumentar su eficiencia de desarrollo.
La conocida técnica de depuración de programadores, "depuración con pato de goma", tiene un origen sorprendentemente nebuloso. Este artículo rastrea el origen de la técnica, desde el vago recuerdo inicial del autor de Bell Labs o Xerox PARC, hasta su uso generalizado confirmado en un equipo de Pixar. La historia involucra a programadores explicando problemas a un 'pato de goma' (en realidad, un colega), a menudo resolviendo el problema durante la explicación. Esto no es simplemente pedir ayuda; es usar el acto de explicar para aclarar el propio pensamiento. Si bien Xerox PARC es un posible lugar de nacimiento, el origen exacto sigue siendo un misterio, esperando una investigación adicional.
Stuffed-Naan es una biblioteca novedosa que aprovecha las peculiaridades de los valores NaN (Not a Number) de JavaScript para ocultar y transportar datos. Codificando datos inteligentemente en la mantisa de los valores NaN, Stuffed-Naan preserva los datos originales incluso después de las operaciones matemáticas. El artículo presenta esta biblioteca de forma humorística, destacando su alta tasa de compresión, velocidad y características de privacidad, además de mencionar las funciones adicionales de la edición empresarial. Aunque peculiar, explota eficazmente las características de los números de punto flotante IEEE 754.
De 1995 a 2019, el autor alojó su propio correo electrónico, evolucionando de UUCP a VPS. Pero las complejidades del correo electrónico moderno (SPF, DKIM, DMARC, TLS) se volvieron cada vez más difíciles. Presentamos NNCPNET, un sistema de correo electrónico construido sobre NNCP, una red segura, asíncrona y enrutada con cebolla. Al igual que SSH para Telnet, NNCP moderniza el transporte de correo electrónico. NNCPNET ofrece un contenedor Docker (multiarquitectura, compatible con Raspberry Pi) con Exim, NNCP, herramientas de verificación y actualizaciones automáticas de la lista de nodos. Es fácil de configurar, no requiere puertos entrantes o una conexión a Internet constante e incluso se integra con Thunderbird a través de IMAP. ¡Recupera la alegría de experimentar con el correo electrónico!
El gran tamaño y la complejidad de los sistemas operativos modernos, incluso los de código abierto, a menudo evocan nostalgia por los días de DOS. Un sistema operativo simple y ligero, DOS podía arrancar desde tres archivos y la configuración consistía en editar un par de archivos de texto. Ahora, un proyecto comunitario ofrece una experiencia DOS arrancable desde USB, precargada con aplicaciones clásicas de escritura como WordPerfect y Arnor Protext. Esto proporciona un entorno de escritura sin distracciones para quienes buscan desconectarse de internet. Si bien es limitado en funcionalidad, ofrece una experiencia de escritura sorprendentemente eficiente y enfocada, que recuerda tiempos más sencillos.
RetrOS-32 es un sistema operativo de 32 bits escrito en C y ensamblador, con gráficos, multitarea y funciones de red. Incluye la creación de usuarios, un sistema de archivos y aplicaciones básicas como una terminal, una calculadora y juegos simples. El proyecto admite varias plataformas de hardware y ofrece imágenes de Docker para la compilación multiplataforma. Si bien aún está en desarrollo, cuenta con una funcionalidad impresionante y es un proyecto de código abierto notable.
GPT Driver, una startup de soluciones de QA nativas de IA en etapa inicial fundada por veteranos de aplicaciones móviles, está contratando un ingeniero de backend/plataforma remoto. Su producto se centra en pruebas automatizadas de extremo a extremo para aplicaciones móviles, con planes de expansión a web, escritorio y pruebas no funcionales. El puesto requiere 3+ años de experiencia, familiaridad con sistemas de backend basados en la nube y experiencia (o un fuerte interés) en ejecutar emuladores/simuladores móviles y navegadores headless. Se ofrece una compensación competitiva (US$ 4.000-US$ 7.000/mes), trabajo remoto y acciones.
Empty Enter Expander es una herramienta zsh diseñada para aumentar la eficiencia del terminal. Permite ejecutar comandos predefinidos con solo unas pocas pulsaciones de teclas. Los comandos se almacenan en un directorio de módulos; los directorios y los nombres de archivo deben comenzar con letras minúsculas, que sirven como accesos directos. Por ejemplo, después de presionar Enter, 'g, l, Enter' ejecuta un comando git log predefinido. Los usuarios pueden personalizar comandos y accesos directos colocando scripts en los subdirectorios apropiados dentro del directorio del módulo. La configuración implica modificar el archivo .zprofile para establecer la ruta del módulo y la fuente de la función zsh.
Communications of the ACM (CACM) está buscando artículos para su nueva sección Práctica, enfocada en mejorar las habilidades y el rendimiento laboral de los profesionales de la computación. La sección acepta artículos sobre avances técnicos, prácticas de desarrollo, estructuras organizacionales, ejemplos de sistemas exitosos y otros temas relevantes. Los artículos deben ser ampliamente aplicables y perspicaces, evitando contenido altamente especializado o tutoriales detallados sobre tecnologías específicas. Las presentaciones están limitadas a 10 páginas (aproximadamente 6.000 palabras) y pueden haber sido publicadas previamente en blogs, pero no formalmente publicadas en otros lugares. Los autores retienen los derechos de autor. Se anima a los autores potenciales a ponerse en contacto con los copresidentes antes de enviar.
El autor Tavian Barnes se queja de la ineficiencia de los sistemas de compilación existentes (Autoconf, CMake, Meson, etc.) en la fase de configuración, que tarda mucho más que la fase de compilación. Propone una solución paralela basada en Makefiles, mejorando significativamente la eficiencia al dividir el proceso de configuración en varias tareas ejecutables de forma concurrente. La idea principal es aprovechar la capacidad de paralelismo de make, para paralelizar las tareas de prueba del compilador que originalmente eran secuenciales, reduciendo el tiempo de configuración de 38 segundos a 0,4 segundos. El artículo detalla la implementación, incluyendo scripts auxiliares, técnicas de escritura de Makefiles y estrategias de paralelismo. Este artículo es valioso para desarrolladores que buscan una mayor velocidad de compilación.
GS-Calc es una hoja de cálculo moderna que redefine lo que significa "big data" para software de escritorio. Maneja sin esfuerzo archivos CSV y XLSX masivos con millones de filas y miles de columnas, con un número ilimitado de hojas y subcarpetas. Sus optimizaciones de rendimiento superan significativamente a otras soluciones de hojas de cálculo en tareas como cargar archivos de texto, copiar y pegar y funciones VLOOKUP/MATCH. Además, GS-Calc ofrece funciones potentes que incluyen tablas dinámicas robustas, simulaciones de Monte Carlo, soporte para expresiones regulares e integración de Python, lo que lo convierte en una herramienta ideal para el análisis de datos a gran escala.
El autor generó un creador de logos totalmente funcional, con opciones de exportación, a partir de una sola indicación en Aider. Fragmentos de código demuestran la capacidad del LLM para generar enlaces de fuentes, dependencias y estilos CSS en línea, incluso incluyendo el hash SHA más reciente de una biblioteca CDN enlazada. Sin embargo, al expandir el código usando Sonnet 3.7, la complejidad del proyecto aumentó significativamente, resultando en código no compilable. El autor explora las diferencias en las capacidades de generación y expansión de código entre diferentes LLMs (como Claude y GPT-4o), y el impacto del tamaño de la ventana de contexto, los límites de salida y otros factores en las aplicaciones de LLM. Las limitaciones de las ventanas de contexto y los límites de salida en los LLMs se destacan como desafíos clave.
Este libro proporciona una guía completa de programación en D, que abarca desde la sintaxis básica hasta las funciones avanzadas. Con una estructura de capítulos clara, presenta progresivamente los conceptos centrales de D: variables, tipos de datos, operadores, flujo de control, funciones, clases, programación orientada a objetos, plantillas y concurrencia. Se incluyen numerosos ejemplos de código y ejercicios para ayudar a los lectores a comprender las técnicas de programación en D. Apto tanto para principiantes como para programadores experimentados.
Magnitude es un framework de pruebas de extremo a extremo de código abierto revolucionario para aplicaciones web, impulsado por agentes de IA visual que 'ven' tu interfaz y se adaptan a cualquier cambio. Crea casos de prueba fácilmente con lenguaje natural, aprovecha un potente agente de razonamiento para la planificación y el ajuste, y confía en un agente visual rápido para una ejecución fiable. Ejecuta pruebas localmente o en pipelines de CI/CD; el framework gestiona automáticamente los problemas encontrados durante las pruebas. Magnitude admite varios modelos de LLM, incluyendo Gemini 2.5 pro, Anthropic y OpenAI, y ofrece un modelo visual gratuito, Moondream. Simplifica significativamente la creación y ejecución de pruebas.
Este artículo presenta una potente técnica de depuración: el análisis de cobertura de código diferencial. Comparando la cobertura de código de las pruebas que pasan y las que fallan, se puede identificar rápidamente el código con errores. El autor utiliza la biblioteca `math/big` de Go como ejemplo, mostrando cómo usar `go test` y `go tool cover` para generar informes de cobertura y `diff` para comparar las diferencias. Esto identifica eficientemente el fragmento de código que causa el fallo en la prueba, reduciendo significativamente el tiempo de depuración en comparación con los métodos tradicionales. La técnica se ilustra encontrando un error en pocas líneas de código de más de 15.000.
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 abrazado 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 respalden. ¿Tienes una idea para un proyecto que agregue valor a la comunidad de arXiv? Obtén más información sobre arXivLabs.
Este proyecto pretende formalizar el primer volumen de la Principia Mathematica del Profesor Bertrand Russell utilizando el probador de teoremas Lean. El objetivo es asegurar que la formalización se alinee claramente con los teoremas correspondientes en el libro para evitar confusiones. El proyecto sigue rigurosamente las pruebas de Russell, con pocas o ninguna declaración adicional. Se creó una nueva táctica, `Syll`, para manejar una forma más general de silogismo. Aunque la Principia Mathematica se considera un 'fracaso monumental', el autor encontró el proceso de formalización enriquecedor.
Curry es un lenguaje de programación declarativo multiparadigma que combina a la perfección características de la programación funcional (expresiones anidadas, funciones de orden superior, tipado fuerte, evaluación perezosa) y la programación lógica (no determinismo, búsqueda integrada, variables libres, estructuras de datos parciales). En comparación con los paradigmas de programación únicos, Curry ofrece características adicionales, como la evaluación optimizada para cálculos orientados a la lógica y el emparejamiento de patrones flexible y no determinista con funciones definidas por el usuario.
arXivLabs es un marco que permite a los colaboradores desarrollar y compartir nuevas funciones 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.
UIT es una biblioteca diseñada para el procesamiento de archivos modular, de bajo consumo de memoria y de alto rendimiento a escala en la nube. Utiliza un proceso de cuatro pasos: ingestión, filtro/transformación, fusión y salida. Construida sobre streaming y paralelización, UIT puede ejecutarse de manera eficiente en entornos con poca memoria como Cloudflare Workers. Su diseño modular permite la composición y la adición de módulos personalizados. Los módulos actuales manejan tareas como la ingestión de archivos ZIP, la fusión de datos, la conversión de formato y la búsqueda. El objetivo de UIT es convertirse en un estándar para el procesamiento de archivos en la nube, proporcionando a los desarrolladores una herramienta poderosa y extensible.
Esta es la primera parte de una serie de diez partes sobre cómo construir un depurador de Linux desde cero. Aprende la mecánica central de los depuradores e implementa funciones como iniciar, detener, continuar, establecer puntos de interrupción (direcciones de memoria, líneas de código, entrada de función), lectura y escritura de registros y memoria y ejecución paso a paso. El tutorial usa C/C++, Linenoise y libelfin, con el código de cada parte disponible en GitHub. Futuros artículos cubrirán temas avanzados como depuración remota, soporte de bibliotecas compartidas, evaluación de expresiones y depuración multiproceso.
Al escribir una publicación técnica sobre resolución DNS en Substack, el autor encontró un 'Error de red' cada vez que escribía ciertas rutas de archivos del sistema Linux (por ejemplo, /etc/h*sts). La investigación reveló que el Firewall de Aplicaciones Web (WAF) de Substack estaba activando sus defensas contra ataques de traversal de ruta o inyección de comandos. Esto destaca un conflicto entre seguridad y usabilidad: el WAF, diseñado para proteger la plataforma, crea un obstáculo frustrante para los escritores técnicos que necesitan discutir estas rutas del sistema. El autor sugiere que Substack mejore la conciencia contextual de su WAF, proporcione mensajes de error más claros y ofrezca soluciones alternativas para equilibrar mejor la seguridad y las necesidades de los escritores técnicos.
Los desarrolladores de GCC se complacen en anunciar el lanzamiento de GCC 15.1, una versión principal con nuevas características y mejoras significativas con respecto a GCC 14.x. GCC, que antes era el GNU C Compiler, ahora representa la GNU Compiler Collection, que admite varios lenguajes de programación. Este lanzamiento es un testimonio de los numerosos contribuyentes que proporcionaron nuevas características, correcciones de errores y mejoras. Para obtener más información, visite el sitio web del proyecto GCC o póngase en contacto con la lista de correo de desarrollo de GCC.