InitWare
firefly-boot
InitWare | firefly-boot | |
---|---|---|
19 | 12 | |
177 | 47 | |
0.0% | - | |
1.8 | 9.8 | |
over 2 years ago | 2 days ago | |
C | JavaScript | |
GNU Lesser General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
InitWare
- What do you understand under "FreeBSD way" and "Linuxism"?
-
These @rustlang ads are getting out of control.
Fear not. They get to be part of the future too.
-
Framework: Open Sourcing Our Firmware
> Yes indeed, I should've expanded to requiring user namespaces and other kernel magic I can't expect from any random box i wanna work on.
That's fair, do have to make sure to avoid to modules that do user systemd services.
Longer term, though, I am hoping https://github.com/InitWare/InitWare will help with the userland part. And I hope to personally help with things like
https://lists.freebsd.org/archives/freebsd-arch/2022-January...
https://lore.kernel.org/lkml/f8457e20-c3cc-6e56-96a4-3090d7d...
to get us more sane cross-platform system calls.
-
Preventing Log4j with Capabilities
I know, but support is still in FreeBSD. My big long term plan is:
1. Work on FreeBSD cross in Nixpkgs, because I need a way to pin forks and run nice tests without going insane. (We already have NetBSD cross.)
2. Rig up a booting image that uses https://github.com/InitWare/InitWare, the fork of systemd.
3. Add support to CloudABI in initware.
4. Bang on drum for other OSes and upstream systemd to implement this stuff we can can good portable abstractions -- I think this is our best shot to get "portable containers".
-
NixOS on Framework Laptop
I haven't bothered to have a beef with systemd, but some of us have discussed https://github.com/InitWare/InitWare to support non-Linux kernels. That would be really fun.
-
OpenBSD 7.0 Released
I'm the first to admit that I'm ignorant of the facts here, but seeing that a systemd fork ran on OpenBSD for the first time two months ago does not give me confidence that it's "an option" in the sense that you can trust it to work well.
And to be pedantic (this is an OpenBSD thread, after all), it's not "systemd", it's a fork of systemd called "InitWare", and the GitHub repo describes it as "alpha software".
Someone also pointed out in the discussion you linked that it doesn't seem to include journald. Here's a relevant PR: https://github.com/InitWare/InitWare/pull/27
-
macOS, meet SystemD: InitWare (fork of systemD) ported to macOS
The project GitHub is found at https://github.com/InitWare/InitWare
- InitWare (a systemd fork) has been ported to macOS
-
Freebsd + Gnome3 => No systemd?
You may have heard of InitWare https://github.com/InitWare/InitWare. Discussions, note that one of the titles is misleading:
- InitWare, a SystemD clone for OpenBSD
firefly-boot
-
What's the syntax of lambda expressions in your language?
Firefly, curly braces:
-
January 2022 monthly "What are you working on?" thread
I'm still working on Firefly, a language with first class capabilities.
-
Ask HN: Who Wants to Collaborate?
Since there's no other way for `deleteDirectory` to obtain capabilities than to recieve them as arguments, `deleteDirectory` only has access to the file system.
[1] https://github.com/Ahnfelt/firefly-boot/tree/master/compiler
-
Preventing Log4j with Capabilities
> Do you have more to share, like resources about capability-safe languages, or your ongoing work?
I can share an example from the main function of the [self hosting Firefly compiler](https://github.com/Ahnfelt/firefly-boot/tree/master/compiler):
main(system: System): Unit {
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
I'm working on Firefly, which will compile to JS once bootstrapping is complete (almost there).
-
June 2021 monthly "What are you working on?" thread
Still working on typechecking Firefly with the help of a friend.
-
March 2021 monthly "What are you working on?" thread
Working on the type inference for Firefly. I don't have a lot of free time at the moment, so it's coming along slowly.
-
Alternative to monads for enforcing purity?
Firefly uses object capabilities for enforcing purity:
-
Generalizing Ruby block syntax in static languages with currying
In Firefly, this is done without macros:
-
February 2021 Monthly What Are You Working On
Firefly - self hosting, working on the type inference.
What are some alternatives?
rtw89 - Driver for Realtek 8852AE, an 802.11ax device
xvm - Ecstasy and XVM
init - KISS Linux - Init Framework
konna - A fast functional language based on two level type theory
hummingbird - Hummingbird init system for Linux based operating systems.
cubiml-demo - A simple ML-like programming language with subtyping and full type inference.
systemd - The systemd System and Service Manager
starlight - JS engine in Rust
seL4 - The seL4 microkernel
IntercalScript - The IntercalScript programming language
InitKit - Neo-InitWare is a modular, cross-platform reimplementation of the systemd init system. It is experimental.
Matrix - Easy-to-use Scientific Computing library in/for C++ available for Linux and Windows.