SoftwareAttaLambda construye tipos y datos con lambdas sin tiparEl lenguaje se apoya en cálculo lambda puro y sin tipos: toda la computación son funciones unarias aplicadas entre sí, con sintaxis legible y comprobación de tipos en ejecución.15 sept 2026/2 min/Show HN/0 vistas
Softwarefcbnerd convierte cualquier controlador MIDI en un teclado extra para macOSUna utilidad de línea de comandos lee mensajes CoreMIDI y los mapea a comandos de shell, o los emite como JSON por línea para que otro programa decida.15 sept 2026/3 min/Show HN/0 vistas
Inteligencia artificialSunk Cost calcula cuándo se amortiza un equipo para ejecutar LLM localesLa herramienta compara el coste del hardware propio con el de alquilar tokens por API, a partir del uso diario y el modelo elegido.15 sept 2026/2 min/Show HN/0 vistas
SoftwareAmazon Linux 2027 llega en vista previa con SELinux en modo enforcingAWS publica AL2027 sobre la base de AL2023, con kernel 7.1 y SELinux bloqueando por defecto. No hay fecha de disponibilidad general ni de fin de soporte para AL2023.15 sept 2026/3 min/InfoQ/0 vistas
Inteligencia artificialUnisound lanza U2-Flash, modelo de MoE de 266 B con 10 B de parámetros activosEl nuevo modelo combina post‑entrenamiento de auto‑mejora recursiva y razonamiento latente para tareas de agentes y codificación.15 sept 2026/1 min/Pandaily/0 vistas
SoftwareTsingway y BAAI liberan Open3D-PIMC, un modelo de programación para chips de cómputo 3DEl framework se integra en la pila FlagOS y se anunció en la Conferencia de Potencia de Cómputo de China. El comunicado no incluye repositorio, licencia ni datos técnicos.15 sept 2026/2 min/Pandaily/0 vistas
Inteligencia artificialMicrosoft publica un código de conducta para sus modelos MAI: sin derechos ni vida interiorMicrosoft AI fija valores y límites para sus modelos MAI, con el control humano por encima de todo. Anthropic va por otro camino con Claude.15 sept 2026/3 min/The Decoder/0 vistas
SoftwareUna caché por inodo recorta un 90% el coste de CPU de un agente eBPF en el kernelEl agente guarda qué política aplica a cada inodo en un hash LRU en lugar de recorrer la ruta entera en cada apertura de fichero, y su repositorio ya es open source15 sept 2026/3 min/Lobsters/0 vistas
SoftwareGDScript, a examen: gran integración con Godot y un sistema de tipos a mediasUn desarrollador ha portado a GDScript un sistema que ya tenía escrito en TypeScript y repasa sus virtudes y carencias: buena integración con Godot, tipado sin terminar.15 sept 2026/3 min/Lobsters/0 vistas
Inteligencia artificialUn correo anónimo atribuido a un laboratorio puntero augura el triunfo de los pesos abiertosEl autor asegura trabajar en uno de los grandes laboratorios de IA y describe presión por el IPO, límites al escalado y modelos de pesos abiertos comiéndoles el terreno. Nadie ha podido verificarlo.15 sept 2026/3 min/Lobsters/0 vistas
SoftwareNueva proyección cartográfica para mapas web que transiciona a Mercator al hacer zoomUn desarrollador presenta una fórmula matemática simple que combina área constante y conformalidad según el nivel de zoom, simplifying la implementación en aplicaciones interactivas.15 sept 2026/3 min/Lobsters/0 vistas
SoftwareUn bug en el kernel de iOS hace que los sockets UNIX cambien de inodo tras el primer arranqueUn investigador encontró que fstat() devuelve inodos inconsistentes en los UNIX domain sockets de iOS debido a un incremento post-fijo en una variable global.15 sept 2026/2 min/Lobsters/0 vistas
