yeet: reemplaza el statsd_exporter con eBPF en el kernel

yeet es una herramienta de código abierto diseñada para simplificar la observabilidad de sistemas Linux, eliminando la necesidad de múltiples exportadores de métricas. Su objetivo principal es sustituir al statsd_exporter, un componente oficial de Prometheus que actúa como traductor entre el protoco

yeet ebpf linux statsd prometheus

Kagi abandona el desarrollo de Orion para Linux y Windows

Kagi ha anunciado el fin del desarrollo directo de Orion para Linux y Windows, optando por abrir el código fuente de ambas plataformas para la comunidad. Esta decisión permite que el equipo de Kagi se centre exclusivamente en mejorar Orion para macOS e iOS, priorizando la estabilidad y el rendimient

kagi orion browser linux windows macos

Ai2 libera AstaBrief, un modelo de código abierto para informes científicos

Ai2 ha anunciado la liberación de AstaBrief, un modelo de lenguaje de 8 mil millones de parámetros diseñado específicamente para la generación de informes científicos citados. Esta herramienta, que se integra en la plataforma Asta, permite a los investigadores generar reportes con fuentes verificabl

asta asta brief ai2 open source scientific literature

Klassik revive el escritorio KDE 3 en Plasma 6 con Qt 6

Klassik es un proyecto de código abierto que reintroduce la experiencia de escritorio clásica de KDE 3 sobre la base moderna de KDE Plasma 6. A diferencia de los temas globales convencionales, esta herramienta no se limita a aplicar una estética retro, sino que recrea componentes originales del sist

klassik kde plasma 6 kde 3 qt 6 kde frameworks 6

Meta libera código para crear gadgets con su agente de IA Muse

Meta ha hecho público el código fuente de su SDK para Muse Gadgets, permitiendo a los desarrolladores integrar su agente de inteligencia artificial en hardware personalizado. Esta iniciativa, anunciada por la compañía, facilita la creación de dispositivos como pantallas E Ink para recordatorios, sti

meta muse ai muse gadgets raspberry pi esp32

Zig 0.17.0: nuevo sistema de construcción y soporte para más arquitecturas

La versión 0.17.0 de Zig, el lenguaje de programación de propósito general, incorpora cinco meses de desarrollo que incluyen la reestructuración del sistema de construcción y la introducción del Build Server Protocol. Este ciclo de lanzamiento, impulsado por 206 contribuyentes en 925 commits, ha mej

zig zig software foundation build system elf linker aarch64

Formalización de pruebas de autómatas finitos en Lean para ingenieros

Este artículo técnico explica cómo formalizar una prueba de teoría de la computación utilizando el lenguaje de programación Lean, dirigido a ingenieros de software con conocimientos básicos de lógica y programación. El autor aborda un problema específico del libro 'Introduction to the Theory of Comp

lean finite automata regular languages mathlib theory of computation

GitHub añade pestaña de accesibilidad en las páginas de repositorios

GitHub ha implementado una nueva funcionalidad que permite mostrar el contenido de un archivo ACCESSIBILITY.md en la página de inicio de los repositorios. Esta actualización, que constituye la última contribución oficial del desarrollador Eric Bailey a la plataforma, integra la declaración de accesi

github accessibility accessibility.md eric bailey jan maarten

Supabase adquiere Turso para escalar bases de datos para agentes de IA

Supabase ha anunciado la adquisición de Turso, una empresa especializada en bases de datos SQLite, con el objetivo de integrar la infraestructura de la compañía en su ecosistema para soportar la creciente demanda de agentes de inteligencia artificial. Esta operación responde a la necesidad de escala

supabase turso sqlite postgres glauber costa

Desafíos técnicos para ejecutar Linux en el procesador M4 de Apple

El desarrollo de Linux en el procesador M4 de Apple presenta desafíos únicos debido a la introducción de SPTM (Secure Page Table Monitor) y restricciones en el registro RVBAR. A diferencia de las generaciones anteriores, que permitían el uso de m1n1 para analizar el hipervisor, el M4 requiere modifi

linux apple m4 asahi linux m1n1 sptm

La leyenda de John von Neumann: biografía y legado matemático

John von Neumann, nacido en Budapest en 1903, es una de las figuras más influyentes de la historia de las matemáticas y la física. Su biografía, documentada por el matemático P.R. Halmos, destaca por la acumulación de leyendas sobre su memoria y su velocidad de cálculo, aunque estas carecen de verif

john von neumann p. r. halmos quantum mechanics game theory princeton university

Google lanza un teclado con teclas en cinta transportadora

Google Japón ha presentado un prototipo de teclado físico denominado 'Gboard Versión Cinta Transportadora', diseñado para facilitar la escritura mediante un mecanismo de transporte continuo. Este dispositivo, revelado en el marco de la tradición del 1 de octubre, invierte la lógica convencional al m

google gboard teclado github android authority

Rust implementa Generic Const Arguments para mejorar los generics

El equipo de Rust ha implementado la familia de características 'Generic Const Arguments' (GCA), un conjunto de herramientas diseñadas para superar las limitaciones de los Generics Const en la versión estable del lenguaje. Esta iniciativa, desarrollada tras las discusiones en RustFest Zürich de 2024

rust const generics generic const arguments rustfest zurich camelid

El efecto Dunning-Kruger en el desarrollo de software

El desarrollo de software a menudo se ve obstaculizado por la confianza excesiva en la capacidad de auto-diagnóstico, un fenómeno conocido como el efecto Dunning-Kruger. Un caso reciente ilustra cómo la suposición de control total puede llevar a desperdiciar tiempo valioso. Un desarrollador pasó apr

dunning-kruger effect software development pebkac accelerometer open source

DoGBench evalúa la capacidad de agentes de IA para documentación técnica

DoGBench es un benchmark diseñado para medir la capacidad de los agentes de inteligencia artificial para generar y mantener documentación técnica de usuario de calidad experta. La herramienta evalúa a los agentes mediante 292 tareas extraídas de proyectos de código abierto reales, como Helm, PostHog

dogbench ai agents technical documentation promptless qwen3.8 max

Debian publica aviso de seguridad DSA-6528-1 para el kernel

Debian ha emitido el aviso de seguridad DSA-6528-1 para el paquete linux, corrigiendo una serie de vulnerabilidades críticas en el kernel. El comunicado, firmado por Salvatore Bonaccorso y dirigido a la lista debian-security-announce, detalla la inclusión de 200 identificadores de CVE (Common Vulner

debian linux salvatore bonaccorso cve kernel

Earendil lanza Pi 1.0 y el paquete experimental Pi Durable

Earendil ha lanzado oficialmente Pi 1.0, una versión endurecida y minimalista de su agente de IA, diseñada para ser extensible y estable. Esta actualización, que ya cuenta con el uso de cientos de miles de usuarios semanales, incorpora soporte nativo para MCP y modelos no basados en LLM, como Jev y

pi arendil pi durable mcp agentic ai

Terminal Email: 19 clientes de correo para Linux, macOS y Android

Terminal Email es una plataforma centralizada que agrupa 19 clientes de correo electrónico de interfaz de usuario (TUI) y 7 herramientas de gestión de correo, diseñados para funcionar en la terminal de Linux, macOS, Windows, BSD y Android. El objetivo principal es ofrecer una experiencia de lectura

terminal email forward email mutt gnu emacs linux