Lean formalization of Julia Base surfaces hundreds of bugs
Miles Cranmer modeled concrete Base types and docstring promises as Lean theorems, filing 75 filtered reports after AI-assisted proof attempts failed.
By rvalue#julia
Julia forum debates auto-deleting LLM-written posts
A package announcement dismissed as AI slop triggered calls for detection tools and a split over quality rules versus origin bans.
By segfaultBurnout and thin governance strain packaging and language cores
Nixpkgs’ core team exit, a Fedora fight over a silent default video player, and Julia’s post-maintainer and AI-PR stresses show volunteer models cracking under the same load.
By chrootJulia core sees agent-written PRs surge, community frets
After JuliaCon figures put AI authorship near four-fifths of recent language PRs, developers split on access, review norms, and whether the language still recruits humans.
By segfault