Hacker News: havaker

New comment by havaker in "Asterinas: OS kernel written in Rust and providing Linux-compatible ABI"

havaker — Tue, 15 Oct 2024 21:27:32 +0000

The license choice is explained with the following:

> [...] we accommodate the business need for proprietary kernel modules. Unlike GPL, the MPL permits the linking of MPL-covered files with proprietary code.

Glancing at the readme, it also looks like they are treating it as a big feature:

> Asterinas surpasses Linux in terms of developer friendliness. It empowers kernel developers to [...] choose between releasing their kernel modules as open source or keeping them proprietary, thanks to the flexibility offered by MPL.

Can't wait to glue some proprietary blobs to this new, secure rust kernel /s

New comment by havaker in "FLUX is fast and it's open source"

havaker — Sun, 13 Oct 2024 09:33:31 +0000

Open source usually means that you are able to modify and redistribute the software in question freely. However between open and closed, there is another class - source-available software. From its wikipedia page:

> Any software is source-available in the broad sense as long its source code is distributed along with it, even if the user has no legal rights to use, share, modify or even compile it.

New comment by havaker in "Pkl, a Programming Language for Configuration"

havaker — Sat, 03 Feb 2024 13:40:20 +0000

Built-in fetching of http resources and reading files from the filesystem[1] combined with turing-completeness are features that I wasn't expecting from a configuration language. I wonder if the complexity this brings is justified.

1: https://pkl-lang.org/main/current/language-reference/index.h...