Urgent.News

What's breaking now, across thousands of outlets.

AI

AlpineBSD Announced - an AI-free FOSS OS

Lproven (Slashdot reader #6,030) shares his article about a new OS in the BSD family "combining NetBSD's kernel and libc with a port of the Alpine Linux userland" — and promising it won't use AI-generated code: AlpineBSD is so new that it barely exists yet. There are no installation media available, though it's possible to manually bootstrap an installation. What AlpineBSD does already have is an…

AlpineBSD, a new operating system in the BSD family, has been announced, promising to be AI-free. This unique OS combines NetBSD's kernel and libc with the userland from Alpine Linux. Currently, no installation media are available, but it is possible to manually bootstrap an installation. The project has a clear AI policy, stating that any software containing AI-generated code, whether in code, documentation, binaries, or other assets, is considered tainted.

The NetBSD project also has a stance on AI, with their commit guidelines considering code generated by a Large Language Model to be tainted. AlpineBSD's ports repository and source code are hosted on Sourcehut, run by Drew DeVault, also known as sircmpwn. The project aims to provide an alternative to AI-driven solutions, appealing to users who wish to avoid the trending wave of AI.

The article does note that installing software using the pkgin package manager could be challenging, as NetBSD has its own ideas about what is considered normal. Some users on the mailing list prefer compiling from source code rather than using binary packages.

Written by urgent.news from Slashdot's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.

Read the original at bsd.slashdot.org →

More in AI

The AI Understood My Payment Request. My Rust Code Refused It.

An AI that can read "send 0.05 SOL to Ada for lunch" is useful. An AI that can decide to send money is a liability. For the MLH Solana Hackathon, I built SpendGuard , a payment agent for Solana…

  • AI understood payment request via LLM
  • Rust policy engine blocked transaction due to rules
  • Author highlights importance of separating understanding from authorization

AI Now Writes Lean Proofs Faster Than Lean Can Check Them

AI is getting better at writing mathematical proofs, which raises a question: can we keep up with checking what it writes? The usual answer is formal verification.

  • AI models write Lean proofs faster than Lean can check them
  • Average 450-line file written in under a minute by AI, 2.6 hours for Lean to check
  • AI-written proofs rely on search and computation steps that slow Lean's checking

More from Sunday 8 November →