home.social

#loko — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #loko, aggregated by home.social.

  1. @donkeyblam chez is the smallest of all the major implementations I believe. Chibi, the simplest to embed in application, while also fully featured with the largest SRFI set of any other except maybe gauche is about 25mb. Gauche is a fully featured implementation that is probably the closest to a full implementation of #r7rs-large (red) aimed at extending other applications and is ~85mb. gambit, the second fastest, is ~140mb. Guile is very fast (performance has never been a hangup in my extensive experience) and probably boasts the most extensive tooling beyond racket, and is ~80mb. Guile also ships with libguile, a simple interpreter written in C that is just a few mb and dead simple to embed in applications, but its features are quite limited.

    And then #loko, the new kid on the block that is climbing the #scheme benchmarks at breakneck speed and I believe currently tailing racket after gambit and chez, which is also a microkernel operating system with #ConcurrentML style multicore based on Guile's fibers, as well as its own #wayland-style WIP compositor ("valand"), is a mere 9mb, with no dependencies whatsoever. It bootstraps from sprinkles of hand written assembly, which makes up a mere %0.2 of the code in the repository. Extremely impressive project. The author also makes the #akku scheme package manager, which is starting to make cross-implementation compatibility possible among r6/r7rs implementations.

  2. A Realtek RTL8139 wifi driver written in #r6rs #scheme for the #loko kernel & operating system

    Loko's concurrency is based on #Guile's Fibers implementation of ConcurrentML.

    gitlab.com/weinholt/loko/-/raw

  3. fuzzing isn't only for the #kernel, you can fuzz your programs, too. particularly useful if your program is a programming language that is also an operating system written in the language that it hosts, like with #loko scheme (project of the weinholt, the author of this blog)

    "Fuzzing #Scheme Code with #AFL++"
    weinholt.se/articles/fuzzing-s

  4. What historical filesystems offer a radical departure from #POSIX?

    There is:
    - #Multics
    - #XeroAlto
    - #Hydra

    ...to name a few.

    Read about them here on weinholt dot se, the blog of the author of #Loko and #Akku
    weinholt.se/articles/non-posix

  5. Which #FunctionalProgramming language is both simple enough for a lone hacker to implement, while generic enough that the author can use their implementation to author a compiler that compiles itself on bare metal and from there bootstrap a novel OS with its own handmade #Wayland -like window manager? #Scheme of course
    #loko #valand weinholt.se/articles/loko-sche