#netbsd 11.0

2 artículos · Todas las etiquetas

📰 Digests

August 3, 2026

Karpathy da por superado el benchmark Pelican, un bug de soundness en Lean destapado por un falso contraejemplo de Collatz generado por un LLM, NetBSD 11.0 ya es oficial

KarpathyPelicanbenchmark de IALean

August 2, 2026

Cursor elimina los datos de coste, la comparativa de consumo de tokens entre harness muestra una diferencia de 29 veces, NetBSD 11.0 lanzado, el análisis de IA del segfault de RipGrep musl señalado por un desarrollador del kernel, la polémica de Ruby Central sigue creciendo

Cursorcostes de la programación con IANetBSD 11.0RipGrep