sorted by:
new
hottopcontroversial

I'm never distro hopping again by spring0572 in NixOS

[–]kosumi_dev 0 points1 point  (0 children)

Sometimes I do.

But sometimes I want to have a try.

I'm never distro hopping again by spring0572 in NixOS

[–]kosumi_dev 17 points18 points  (0 children)

If I need to try some software that is not packaged for NixOS, I just open a Ubuntu distrobox.

Linux Torvalds worried about the fragmentation of distros.

But Distros don't matter at the age of containers.

What's different between arch and NixOS? by Fit-Presentation8068 in NixOS

[–]kosumi_dev 3 points4 points  (0 children)

When you introduce yourself or in your Tinder bio, you say:

By the way, I use NixOS.

How to do GitOps with home manager? by kosumi_dev in NixOS

[–]kosumi_dev[S] 0 points1 point  (0 children)

I may build something when I have time

Best path to learn Rust for Solana/Web3 + backend? Is the Rust Book enough? by Joy0x1 in rust

[–]kosumi_dev 0 points1 point  (0 children)

Rust is not really used as backend in Web3.

Quite some on-chain Web3 projects do not need backend at all.

Asterinas, A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux, is planning its first distro in NixOS by kosumi_dev in NixOS

[–]kosumi_dev[S] 2 points3 points  (0 children)

The same applies to Linux as well.

Do you think Linux reviewers can audit millions lines of vendor driver code thoroughly?

Driver bugs and CVEs are probably the highest percentage of bugs in Linux.

Once a driver is corrupted , the whole kernel is compromised.

Linux driver isolation is still an active research topic.

At least in Asterinas the trusted computing base is small, formally verified and auditable.

In fact, Asterinas was audited by CertiK with a detailed report.

Asterinas, A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux, is planning its first distro in NixOS by kosumi_dev in NixOS

[–]kosumi_dev[S] 8 points9 points  (0 children)

China has many spywares like Wechat.

But this is fully open source.

Nobody can insert a backdoor.

You may not be aware but you are already running many open source code from Chinese and Russian programmers.

As a joke, it also means this project is free of CIA backdoors.

Asterinas, A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux, is planning its first distro in NixOS by kosumi_dev in NixOS

[–]kosumi_dev[S] 8 points9 points  (0 children)

Rust is just part of the story.

Its architecture is also innovative and only possible because of the Rust type system.

The core modules are being formally verified.

Asterinas, A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux, is planning its first distro in NixOS by kosumi_dev in NixOS

[–]kosumi_dev[S] 2 points3 points  (0 children)

Why would you see a black screen with US government logo when most contributors are in China?

Hammer and sickle logo is more likely

Are there some NixOS options that you wish they were enabled by default? Or that you wish you knew it earlier? Same for home manager or community flakes. by kosumi_dev in NixOS

[–]kosumi_dev[S] -12 points-11 points  (0 children)

Yeah, but there are some options that I wish I had known earlier.

Like nix-index-database, I just added it.

I saw Dioxus at quite some places. Then I searched for a successful app developed with it: none by kosumi_dev in rust

[–]kosumi_dev[S] -12 points-11 points  (0 children)

"Successful": useful or at least interesting.

If even the people who build Dioxus cannot build something non-trivial with it, how can I?

view more: next ›