Loko Scheme: bare metal optimizing Scheme compiler
----
- 5 days ago | 5 points | 0 comments
- URL: https://scheme.fail/
- Discussions: https://news.ycombinator.com/item?id=45500422
- Summary: Loko Scheme is an optimizing R6RS/R7RS Scheme compiler that targets Linux, NetBSD and bare-metal amd64. It uses Concurrent ML for concurrency, has reasonable performance, and supports batteries via Akku.scm. The site offers downloads via Git, GitLab mirror, tarballs, AUR, Guix, Docker and a bootable disk image. It includes drivers for network, disk, video, serial, PS/2 and USB devices, enabling systems research, unikernels and bare-metal experiments. Licensed under EUPL-1.2-or-later, it provides a developer manual and invites bug reports by email or discussion on comp.lang.scheme and #loko IRC.

ACIDELICS Festival @ ArtCube - 15 Aug feat. Loko, Sevenum Six, VELCRO + more

#SESH #Loko #SevenumSix #VELCRO

https://sesh.sx/events/12175061

ACIDELICS Festival @ ArtCube - 15 Aug feat. Loko, Sevenum Six, VELCRO + more

#SESH #Loko #SevenumSix #VELCRO

https://sesh.sx/events/12175061

Mein Namensvorschlag für die #Koalition wäre ja #LoKo (Lobby-Koalition). Jegliche Ähnlichkeit zum spanischen Wort "loco" ("verrückt") ist rein zufällig, aber nicht untreffend.

@dploeger
falls Du auf eine weitere APP verzichten magst, hier eine Browser-Lösung auf #OSM -Basis:
#loko
https://www.lokjo.com

Dass die #LoKo so schnell alle Masken fallen lässt, hätte ich dann doch nicht erwartet.
https://mastodon.social/@Xbergklimaneutral/114614320748779715

Kaum ist die #LoKo klargemacht (oder heißt die jetzt SchleKaZ ?) wird auch schon die erste Maßnahme verkündet mit einem lauten Ruf nach „Ausländer raus“ Wen interessiert schon Grundgesetz oder EU-Recht? Widerlich.

Frei kündigt härteren Migratio...

+++ BREAKING NEWS +++ Etwa die Hälfte der SPD-Mitglieder votiert für die Lobbyisten-Koalition und den Untergang der eigenen Partei. Die andere Hälfte hat schon aufgegeben und nicht einmal mit abgestimmt. Ehemals GroKo, jetzt (Achtung Wortspiel) #LoKo

SPD-Mitglieder stimmen für Koa...

#Stasjonar. 2. klasse. #littavalt #skjerm #LØKO #lærebok #variasjon #lærarkvardag

PCI bus enumeration in #Scheme

https://gitlab.com/weinholt/loko/-/raw/master/drivers/pci.sls
#loko #r6rs #lisp #os #kernel

@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.

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.

https://gitlab.com/weinholt/loko/-/raw/master/drivers/net/rtl8139.sls

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++"
https://weinholt.se/articles/fuzzing-scheme-with-aflplusplus/

@planet.scheme @admin just added #loko author's blog: @weinholt

times be a changin'
https://ecraven.github.io/r7rs-benchmarks/
#scheme #lisp #benchmarks #chez #gerbil #racket #loko

YG - Go Loko ft. Tyga, Jon Z

#loko #YG #Tyga #JonZ

https://www.youtube.com/watch?v=y2cFkVfVf2Y

#loko's rapid ascent in the #r7rs #scheme benchmarks, surpassing #mit, #guile, #bigloo, and #chicken this past June, is fascinating

http://ecraven.github.io/r7rs-benchmarks/

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
https://weinholt.se/articles/non-posix-filesystems/

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 https://weinholt.se/articles/loko-scheme-2022-q4/

@cwebber What you describe is what led me to #Loko #Scheme

https://scheme.fail/