<![CDATA[I just want an slop-free open source operating system, preferably Unix-like, that has a kernel and software package repository free from slop.]]>I just want an slop-free open source operating system, preferably Unix-like, that has a kernel and software package repository free from slop. I know it won't be perfect, but with just a bit of ethical fortitude, we can create a human-centered operating system. I don't think I'm owed that, but I'm willing to pitch in and help build it.

]]>https://board.circlewithadot.net/topic/4e92c738-0bac-4e2c-a710-cb74478dae2d/i-just-want-an-slop-free-open-source-operating-system-preferably-unix-like-that-has-a-kernel-and-software-package-repository-free-from-slop.RSS for NodeThu, 14 May 2026 21:38:28 GMTFri, 08 May 2026 17:46:14 GMT60<![CDATA[Reply to I just want an slop-free open source operating system, preferably Unix-like, that has a kernel and software package repository free from slop. on Fri, 08 May 2026 21:07:13 GMT]]>@thezerobit @rl_dane
If NetBSD counts with it pkgsrc collection then you also have illumos-based OpenIndiana.

]]>https://board.circlewithadot.net/post/https://mammut.moe/users/gemelen/statuses/116540993291934480https://board.circlewithadot.net/post/https://mammut.moe/users/gemelen/statuses/116540993291934480Fri, 08 May 2026 21:07:13 GMT<![CDATA[Reply to I just want an slop-free open source operating system, preferably Unix-like, that has a kernel and software package repository free from slop. on Fri, 08 May 2026 20:32:44 GMT]]>@rl_dane this gives me hope

]]>https://board.circlewithadot.net/post/https://anticapitalist.party/users/thezerobit/statuses/116540857650782736https://board.circlewithadot.net/post/https://anticapitalist.party/users/thezerobit/statuses/116540857650782736Fri, 08 May 2026 20:32:44 GMT<![CDATA[Reply to I just want an slop-free open source operating system, preferably Unix-like, that has a kernel and software package repository free from slop. on Fri, 08 May 2026 19:19:52 GMT]]>@thezerobit

Heres a POSIX kernel in Ada under the GPL3 and their contributor rules say please don't submit AI generated code we don't want it.

Link Preview Image
Ironclad

Ironclad is a free software formally verified kernel written in SPARK/Ada

favicon

(ironclad-os.org)

]]>https://board.circlewithadot.net/post/https://timeloop.cafe/users/alienghic/statuses/116540571132001927https://board.circlewithadot.net/post/https://timeloop.cafe/users/alienghic/statuses/116540571132001927Fri, 08 May 2026 19:19:52 GMT<![CDATA[Reply to I just want an slop-free open source operating system, preferably Unix-like, that has a kernel and software package repository free from slop. on Fri, 08 May 2026 19:03:32 GMT]]>@thezerobit Why can't Americans use articles?

]]>https://board.circlewithadot.net/post/https://mastodon.world/users/humanhorseshoes/statuses/116540506935142667https://board.circlewithadot.net/post/https://mastodon.world/users/humanhorseshoes/statuses/116540506935142667Fri, 08 May 2026 19:03:32 GMT<![CDATA[Reply to I just want an slop-free open source operating system, preferably Unix-like, that has a kernel and software package repository free from slop. on Fri, 08 May 2026 18:14:37 GMT]]>@thezerobit you may be interested in Redox by @soller et al. https://www.redox-os.org

]]>https://board.circlewithadot.net/post/https://social.vivaldi.net/users/RosaCtrl/statuses/116540314601434229https://board.circlewithadot.net/post/https://social.vivaldi.net/users/RosaCtrl/statuses/116540314601434229Fri, 08 May 2026 18:14:37 GMT