KDE launches its own distribution(lwn.net)

643 points by Bogdanp 1 year ago | 449 comments

LWN article on KDE Linux, an alpha immutable distribution from the KDE Project built on Arch packages, released at Akademy 2025.

Owen Le Blanc: creator of the first Linux distribution(lwn.net)

123 points by sohkamyung 1 year ago | 24 comments

On the future of free long term support for Linux distributions(utcc.utoronto.ca)

94 points by ingve 3 years ago | 81 comments

NixOS for the Impatient(borretti.me)

139 points by yarapavan 3 years ago | 68 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.

What is GNU Radio?(wiki.gnuradio.org)

23 points by tripdout 1 year ago | 1 comments