Debian decides not to decide on AI-generated contributions [LWN.net]
lwn.netNo discussions yet
More from lwn.net
lwn.netDebian decides not to decide on AI-generated contributions [LWN.net]
Debian is the latest in an ever-growing list of projects to wrestle (again) with the question o [...]
lwn.netModernizing swapping: virtual swap spaces [LWN.net]
The kernel's unloved but performance-critical swapping subsystem has been undergoing multiple r [...]
Discover
owl.billpg.comThe Road Not Taken: A World Where IPv4 Evolved – billpg industries™
github.comGitHub - understudy-ai/understudy: An understudy watches. Then performs. · GitHu…
An understudy watches. Then performs. Contribute to understudy-ai/understudy development by creating an account on GitHu…
e360.yale.eduLong Overlooked as Crucial to Life, Fungi Start to Get Their Due - Yale E360
Fungi create soil, sequester vast amounts of carbon, and contribute $55 trillion to the global economy, but knowledge ab…
med.stanford.eduOne vaccine may provide broad protection against many respiratory infections and…
Stanford Medicine researchers and their colleagues invented a new vaccine that protects mice from respiratory viruses, b…
github.comGitHub - loderunner/scrt: A command-line secret manager for developers, sysadmin…
A command-line secret manager for developers, sysadmins, and devops. - loderunner/scrt
lf-lean: The frontier of verified software engineering | Theorem
We present lf-lean, a verified translation of all 1,276 statements of the Logical Foundations textbook from Rocq to Lean…