▶ News
> The site was updated with docs
> The pm became declarative and fully atomic
> Kernel updated
> Browser updated
> Packages updated and built with more options on when relevant
▶ Tools
* Arbor: A tree-structured package agnostic build-system (similar to bsd ports) for repo population.
* Core: A more faithful implementation of POSIX tools.
* Redo: A more powerful and simple alternative to make.
* Simia: A POSIX compatibility layer upon tertium.
* Tertium: An alternative to the standard libC with focus on simplicity, security and interoperability.
* Venus: A functional (atomic, declarative, reproducible) package manager.
* Vesper: A (mostly) functional programming language with implict (i.e no drama) automatic resource management at compilation time (i.e no gc).
▶ Differences:
* Using arcan instead of x.org/wayland.
* Using musl instead of glibc (simia will be mixed/replace it).
▶ Midia
* Arbor: https://asciinema.org/a/575212
* Venus: https://eltaninos.org/docs/tutorial-pm/venus
* Arcan: https://www.youtube.com/watch?v=jIFjzN7dk10
I did another post because the last one was too lazy. Also it's a moment to people notice in practice why simplicity matters, the recent CVE involving xz:
1. It seems to be possible from the "need" to put systemD everywhere
2. It seems to need a glibc workaround
3. It targeted XZ which the design has a considerable amount of flaws (we have been focusing on lzip instead from the start)
It gets easier to catch mistakes and intentional harm when you are not dealing with a behemoth from all sides (where obfuscation is not suspect just another normal commit). Another major problem is having important software (in use everywhere) not receiving help (more resources could permit the dev to work on it easier, employ devs [more eyes = more chances of someone catching problems], etc.)
> the real solution
>the final solution
>* Using arcan instead of x.org/wayland.
Based. From what I have seen on the dev's site as well as his youtube channel, it will BTFO wayland.
as it's still alive will share a few pics of random things from the project that may look interesting (this one is declaring the services and system state)
It's mostly one person, compare the progress. It's inherent to wayland to always be falling behind, it could be useful for stability (where stagnant means it's tested and working) but for now that's unlikely as the official protocols seems to refuse to accept as standard the extensions needed for it to be useful.
fair enough, at this point seems more attractive for sysadmins than normal users, maybe devs too, even then each one has their liking.
I'm moronic clicked two times at 'choose file' so it didn't sent the pic
Neato
neat project anon.
Interesting way of making a unique distro.
Can't say it interests me though.
Test with "gesper" (vesper in go, the non-optimized version).
pretty cool
will put it on my laptop's spare SSD and see how i like it
Arbor: config, package description, build script
It will likely need to set up pkgsrc, the repos are still quite tiny.
forgot the pic again
>PANIC: Limine does not support being loaded above 4GiB
what exactly does this error mean when I try to boot the image off a USB?
>vesper
God damnit anon why did you make a new programming language just use haskell or something.
> Haskell
Has garbage collector, compilation times are considerable, not trivial to bootstrap, the footprint is not exactly minimal. It's a great language but I want something:
* To take C place in the project (for new code)
* FAST to compile
* Able to be used as a scripting language
> Rust
The syntax is complex, compilation times are considerable, you need to appease the borrow checker (in some cases fight it or find another way), bootstrap is completely insane? (guix does a chain link building many of its versions).
>* To take C place in the project (for new code)
>* FAST to compile
>* Able to be used as a scripting language
Nim seems nearly perfect for you
>great c FFI
>fast comp times
>AST macros
The only thing is, you either have to like its move semantic-based GC, or turn it off and implement some of your own stuff.
I still say it's a solid C replacement though.
https://nim-lang.org/docs/tut3.html#introduction
https://nim-lang.org/docs/tut2.html#templates
https://nim-lang.org/blog/2020/10/15/introduction-to-arc-orc-in-nim.html
>arcan
Very nice. I might check this distro out for this reason alone.
> Implying rust is not perfect
>rust
Crab soup incoming
> It seems my superiority has led to some controversy
Nice projekt
Looks like a nightmare to setup and use
Like Windows?
Windows doesn't get chinks putting backdoors in it
Windows is the "backdoor".
You just need to edit a config file and sync your system:
$ cd /venus-store
$ ed config/root
$ redo sync
The problem now is that our repos are still too tiny, so it mighty be needed to setup pkgsrc or use arbor. Soon it won't be a problem in practice, plan on adding modules for venus.
Seems like an interesting language, reads like python, the orc option seems to decrease the gc costs too.
Still I plan on finishing this attempt, it would be in the same niche of C replacements (hare, c2 [this one is cool too], nim, etc.) but it really does not look much like them. It's (mostly) functional, like lisp the code is data and the syntax is recursive (no parenthesis though), it supports dependent types (of any complexity) within the same syntax (3/4 main components of the syntax to define everything else), etc.
It seems to be an issue with limine for x86, is your arch amd64? In any case I'll need to update its version to fix that.
does it come with the cool dragon logo