Dango Quotidien L'actu IA et tech pour les devs, en quelques bytes.

Accueil Événements Archive RSS 🇨🇳🇬🇧🇯🇵🇰🇷🇪🇸🇫🇷🇩🇪

#soundness

1 articles · Tous les tags

📰 Digests

Karpathy diplôme le benchmark Pelican, une fausse réfutation de Collatz expose un bug de soundness du noyau Lean, NetBSD 11.0 est sorti

Karpathy diplôme le benchmark Pelican, une fausse réfutation de Collatz expose un bug de soundness du noyau Lean, NetBSD 11.0 est sorti

KarpathyPelicanBenchmark IALean

Dango Quotidien · Briefing quotidien des tendances tech

Sources： Hacker News + Lobsters

Rechercher