I had not heard of Genode/Sculpt, but it looks interesting. These days, I feel like if I boot a new operating system, I have no idea what all it's doing and whether or not things are secure--I'm basically relying on the operating system to have good defaults. And then it's so easy to screw something up!
I like the idea of Qubes and it looks like Genode might be an even better idea...
It's a very similar philosophy to Qubes - one of their open challenges is to port the qubes infrastructure over since qubes is (in theory at least) hypervisor independent. https://genode.org/about/challenges Which would be nice since NOVA hypervisor is dramatically less code then Xen and Nitpicker/Dialog for the management console is dramatically less code than Fedora.
I've looked into it briefly but it seems like too much work for me right now.
The True Genode Way of course is that everything worth having would eventually be ported as a native genode component instead of a qubes style VM. They've put a lot of effort into making that as easy as they can with Goa (a nix-inspired package management and build tool) and adding to their C standard library and ports of popular 3rd party libs like SDL
As pointed out in a sibling comment, it appears that quote only shows up if you're logged in (apologies--I wasn't aware when I originally replied), but assuming you have an account and are logged in, it's on the homepage (https://projecteuler.net/), second paragraph under the following heading:
> I learned so much solving problem XXX, so is it okay to publish my solution elsewhere?
> It appears that you have answered your own question. There is nothing quite like that "Aha!" moment when you finally beat a problem which you have been working on for some time. It is often through the best of intentions in wishing to share our insights so that others can enjoy that moment too. Sadly, that will rarely be the case for your readers. Real learning is an active process and seeing how it is done is a long way from experiencing that epiphany of discovery. Please do not deny others what you have so richly valued yourself.
> However, the rule about sharing solutions outside of Project Euler does not apply to the first one-hundred problems, as long as any discussion clearly aims to instruct methods, not just provide answers, and does not directly threaten to undermine the enjoyment of solving later problems. Problems 1 to 100 provide a wealth of helpful introductory teaching material and if you are able to respect our requirements, then we give permission for those problems and their solutions to be discussed elsewhere.
You could say that providing code in an obscure language isn't really to "instruct methods", but I think it's within the spirit of the rules.
thank you very much! pointer to the home page would suffice. your willingness to walk an extra mile (and copy relevant text) is much appreciated.
as i mentioned, i read home page years ago. in that time, third paragraph did not exist and 1-100 were considered a challenge. the language of request changes since that times.
I like the idea of Qubes and it looks like Genode might be an even better idea...