software · 37 menciones
HyperProbe es una herramienta de observabilidad para servicios en producción que coloca sondas de solo lectura y no bloqueantes en la línea exacta de código donde se origina un fallo. Captura el estado de variables en tiempo real, sobre tráfico real, y desaparece tras la captura, de forma que el ser
JetBrains ha anunciado una extensión en versión preliminar que expone las funciones inteligentes de IntelliJ IDEA para Java y Kotlin a editores de terceros mediante el protocolo LSP (Language Server Protocol). La extensión, llamada "Java & Kotlin by IntelliJ IDEA", ya está disponible en Visual Studi
El desarrollador detrás de la herramienta Shoppy, pensada para su app de listas de la compra, detalla en un artículo extenso cómo construyó un sistema de categorización de productos sin recurrir a aprendizaje automático. Ante la falta de datos masivos y de presupuesto para externalizar el trabajo, o
Los métodos guarded permiten asociar restricciones al receptor (self) únicamente a métodos concretos, de modo que solo puedan invocarse cuando el receptor cumpla dichas restricciones. OCaml no admite esta construcción de forma nativa en su sintaxis, pero el artículo muestra cómo codificarla mediante
Los tipos de prueba, también conocidos como tipos testigo o de evidencia, son un patrón de programación en el que la mera existencia de un valor garantiza que un determinado cómputo se ha ejecutado. En Dart 3.0, este patrón se materializa combinando cuatro mecanismos: el modificador final, que impid
Lynavo Drive es una herramienta de código abierto diseñada para sincronizar de forma incremental las fotos y vídeos del móvil al escritorio a través de la red local, sin depender de servicios en la nube como iCloud o Google Fotos. Funciona sobre la misma LAN: las aplicaciones de iOS y Android descub
Artículo técnico que detalla una configuración de producción de Eglot, el cliente LSP integrado por defecto en Emacs desde la versión 29, orientada al trabajo diario con Scala, Kotlin y algo de Java. El autor, integrante de la configuración heks-emacs, defiende que Emacs, frente a IntelliJ IDEA, ofr
GALA es un lenguaje de programación de tipado estático y orientación funcional, creado como proyecto open source en GitHub, que se transpila a Go. Su objetivo es incorporar en Go el sistema de tipos que muchos desarrolladores echan en falta, especialmente quienes proceden de Scala, Kotlin, F# u OCam
'The Java Story | The Official Documentary' es un documental de 74 minutos publicado por el canal CultRepo que repasa la historia del lenguaje de programación Java, desde su nacimiento como proyecto interno en Sun Microsystems hasta su papel actual en la empresa y la nube. El filme, dirigido por Joe
minikotlin es un compilador de Kotlin escrito desde cero en C que genera bytecode de WebAssembly GC a mano, sin JVM, sin LLVM, sin Binaryen y sin Gradle. El propio compilador se compila a WASM, de forma que el código fuente entra por un extremo y por el otro sale un módulo .wasm en ejecución, todo d
Este artículo recoge la experiencia de un año desarrollando Digital Carrot, una aplicación multiplataforma, con Go Mobile como capa de lógica de negocio y Flutter para la interfaz. El autor detalla por qué eligió esta combinación, cómo resuelve la comunicación entre ambos mundos y qué resultados ha
Temper es un lenguaje de programación concebido desde el origen para traducirse de forma limpia a otros lenguajes, lo que permite compartir definiciones de tipos ricas y lógica de negocio entre ecosistemas distintos. Sus funciones y tipos se convierten en funciones y tipos convencionales, sin interf
Moss, una infraestructura de búsqueda semántica en tiempo real para inteligencia artificial conversacional respaldada por Y Combinator, ha abierto una vacante para ingeniero senior o staff de SDK. La compañía, que afirma que los sistemas de retrieval convencionales añaden latencia y rompen el contex
Slopo es una herramienta de línea de comandos diseñada para localizar fragmentos de código similares que se encuentran dispersos dentro de un mismo proyecto, un tipo de duplicación especialmente difícil de identificar tanto para herramientas tradicionales como para la inspección manual. A diferencia
LibrePods es un proyecto de código abierto que permite utilizar en dispositivos Android y Linux funciones de los AirPods reservadas en exclusiva al ecosistema de Apple. Para ello, la aplicación implementa por ingeniería inversa el protocolo propietario que los AirPods utilizan para comunicarse con l
Rhombus es un lenguaje de programación de propósito general, funcional, dinámico y extensible que acaba de alcanzar su versión 1.0. Está construido sobre Racket, del que hereda herramientas como el entorno DrRacket y la suite de línea de comandos raco, y se activa simplemente iniciando un módulo con
El proyecto Iroh, una pila de red en Rust que sustituye el direccionamiento por IP por un modelo basado en claves criptográficas, anunció el lanzamiento de su primera versión estable, Iroh 1.0, tras más de cuatro años de desarrollo y 65 iteracciones previas. Sus relays públicos registran más de 200
Fauxx es una aplicación Android de código abierto diseñada no para impedir que las redes publicitarias y los corredores de datos recopilen información, sino para envenenar lo que recogen. Su premisa es que bloquear la recolección resulta insuficiente: los modelos de inferencia actuales extraen perfi
rustc_codegen_jvm es un backend alternativo para el compilador de Rust (rustc) que traduce código fuente escrito en Rust a bytecode de la Java Virtual Machine (JVM) y produce archivos .jar ejecutables compatibles con JVM 8 o superior. El proyecto, alojado en GitHub bajo la cuenta IntegralPilot, conf
El desarrollador Bingud ha lanzado Filemat, un nuevo gestor de archivos web disponible en GitHub. Esta herramienta permite gestionar archivos locales de forma remota mediante una interfaz web, ofreciendo una alternativa self-hosted a soluciones como Nextcloud o FileBrowser. Filemat incluye gestión d
Anthropic ha anunciado la adquisición de Stainless, empresa especializada en el desarrollo de kits de desarrollo de software (SDKs) y herramientas de servidores MCP, con el objetivo de fortalecer la conectividad de sus agentes de IA. Fundada en 2022, Stainless ha generado todos los SDKs oficiales de
GlycemicGPT es una nueva plataforma de código abierto que utiliza inteligencia artificial para simplificar la gestión de la diabetes. La herramienta conecta dispositivos médicos mediante Bluetooth, incluyendo el sensor de glucosa Dexcom G7 y las bombas de insulina Tandem t:slim X2 y Tandem Mobi, par
Usmon Narzullayev, un joven de 16 años de Uzbekistán, desarrolló GitHub Store, una plataforma de distribución de aplicaciones que utiliza los lanzamientos de GitHub como alternativa a las tiendas de aplicaciones convencionales. En seis meses, el proyecto alcanzó más de 12.500 estrellas en GitHub y s
Desarrolladores han presentado RaTeX, una nueva biblioteca en Rust que ofrece renderizado de ecuaciones matemáticas de calidad KaTeX para aplicaciones nativas y WebAssembly (WASM). RaTeX analiza la notación LaTeX, aplica reglas de TeX y genera una lista de visualización plana compatible con diversas
MoqBoy ha introducido un innovador sistema de entrega de medios bajo demanda para emuladores, optimizando el uso de recursos y reduciendo costes. El sistema, implementado en máquinas virtuales en Texas, permite a los usuarios acceder a juegos retro (principalmente homebrew para evitar problemas de d
Anthropic, una empresa de inteligencia artificial, ha publicado dos nuevas bibliotecas de código abierto para el lenguaje de programación Rust: `buffa` e `connect-rust`. `buffa` es una implementación de Protocol Buffers (protobuf) en Rust que ofrece soporte para ediciones y vistas de mensajes de cer
Google ha anunciado el lanzamiento de Android CLI, una nueva herramienta para desarrolladores de Android que promete acelerar el proceso de desarrollo hasta en un 300%. La CLI, junto con la Base de Conocimiento de Android y el repositorio de 'Android Skills', están diseñadas para mejorar la eficienc
Este artículo del blog de Allegro.tech explora el análisis estático de código en Kotlin, una técnica crucial para mantener la calidad, consistencia y seguridad del código. El análisis estático examina el código fuente sin ejecutarlo, identificando problemas potenciales como errores, violaciones de e
El artículo de Sumato AI introduce Spath y Splan, dos nuevas herramientas diseñadas para mejorar la eficiencia y la calidad de los agentes de codificación basados en IA. Tradicionalmente, la programación ha estado intrínsecamente ligada al sistema de archivos, lo que implica una estructura jerárquic
Un nuevo análisis, basado en el benchmark AutoCodeBench, revela resultados sorprendentes sobre el rendimiento de diferentes lenguajes de programación con modelos de IA para codificación. Contrario a la expectativa de que los lenguajes con mayor cantidad de datos de entrenamiento (como JavaScript) se
La versión 1.26 de Go introduce una nueva herramienta llamada 'source-level inliner' dentro del comando `go fix`, diseñada para ayudar a los desarrolladores a modernizar su código Go y mantenerlo actualizado. Esta herramienta permite a los autores de paquetes expresar migraciones y actualizaciones d
Skir, una nueva herramienta de código abierto, ha sido lanzada para simplificar el desarrollo de APIs. Se trata de un lenguaje declarativo que permite a los desarrolladores definir tipos de datos, constantes y APIs en un único archivo .skir. A partir de este archivo, Skir genera código idiomático y
Este artículo explora el concepto de "costos ocultos" en la programación, desafiando la idea de que los lenguajes de alto nivel son inherentemente menos eficientes que los lenguajes de bajo nivel como C o C++. El autor observa que los programadores de sistemas a menudo evitan lenguajes con recolecci
Un reciente artículo destaca cómo el lenguaje de programación Elixir, construido sobre la máquina virtual BEAM (originalmente desarrollada por Erlang en 1986), está ganando terreno en el desarrollo de inteligencia artificial, desafiando los marcos tradicionales basados en Python. Un estudio de Tence
MiniMax ha anunciado el lanzamiento de su nuevo modelo de lenguaje, MiniMax M2.5, diseñado para aumentar la productividad en tareas del mundo real. El modelo, entrenado con aprendizaje por refuerzo en una amplia variedad de entornos complejos, destaca en programación, uso de herramientas, búsqueda y
El artículo del blog 'The Clean Code' explora una tendencia preocupante en el desarrollo de lenguajes de programación modernos, específicamente Swift y Kotlin. Ambos lenguajes, aunque con orígenes distintos (Swift derivado de Objective-C y Kotlin de Java), comparten una marcada inclinación hacia la
Se ha lanzado un nuevo kit de herramientas de Kotlin Multiplatform llamado KtKit para simplificar el desarrollo de aplicaciones de servidor con Ktor. Desarrollado por Yorgos S. (@smyrgeorge), KtKit agrupa varias bibliotecas en un conjunto de herramientas cohesivas, automatizando tareas repetitivas e
