HN Digest

Últimos análisis

El asistente de pruebas Lean introduce núcleos verificados para combatir las vulnerabilidades impulsadas por la IA

Leer el artículo completo →
leodemoura.github.io

Claude de Anthropic identifica el origen de las semillas de las curvas elípticas de NIST

Leer el artículo completo →

La aplicación de escritorio Codex enfrenta un crecimiento ilimitado de disco por volcados de Crashpad

Leer el artículo completo →

Chrome y Edge dejarán de admitir XSLT

Leer el artículo completo →
news.ycombinator.com · Resumen del debate en HN

Furifont: Una fuente japonesa que utiliza ligaduras para mostrar furigana

Leer el artículo completo →
news.ycombinator.com · Resumen del debate en HN