Everytime I have to work with the gpg command, I'm so close to start writing a openpgp implementation in #harelang
Some Helios stuff
Near term priority is narrowing down the robustness of the infrastructure, namely by implementing free and dealing with more error handling cases, so the system can run indefinitely and deal with short-lived processes and such. The process manager also needs to be refactored so that it appears in the list of processes itself and can be managed as such
Writing Helios drivers in the Mercury driver environment
https://drewdevault.com/2023/04/08/2023-04-08-Drivers-and-mercury.html
Driver implemented in a single 103-line file
https://git.sr.ht/~sircmpwn/mercury/tree/master/item/cmd/ps2kb/main.ha
New set of Himitsu releases includes some improvements for the Firefox add-on, adds support for RSA keys to himitsu-ssh, and makes the GTK prompter more robust
Finally the rewrite of the hare-tls record layer is showing some success. I've hacked https support into hare-http to see how it works.
Next step is to clean up the code and an initial release for the brave to try.
Note that there is no certificate validation at all. This will be my next focus, besides refactoring the other parts.
Немного низкоуровневой экзотики от Drew DeVault
С недавно прошедшей конференции FOSDEM 2023:
The Hare programming language: Hare enthusiasts meet-up
Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks.
Introducing Helios: A small, practical microkernel
Helios is a simple microkernel written in part to demonstrate the applicability of the Hare programming language to kernels. This talk briefly explains why Helios is interesting and is a teaser for a more in-depth talk in the microkernel room tomorrow.
Introducing Helios Micokernel: A small, practical microkernel
Helios is a simple microkernel written in part to demonstrate the applicability of the Hare programming language to kernels. This talk will introduce the design and rationale for Helios, address some details of its implementation, compare it with seL4, and elaborate on the broader plans for the system.
#hare #harelang #helios #microkernel #osdev #fosdem #fosdem2023
Porting Helios to aarch64 for my FOSDEM talk, part one
https://drewdevault.com/2023/02/20/2023-02-20-Helios-aarch64.html
FOSDEM 2023: Introducing the Helios microkernel https://spacepub.space/videos/watch/f6435a6c-34e0-4602-ad5d-f791643111ab
Quantum fluctuations from the Hare spacetime continuum.