Hare Propaganda 🐰 @hare@qoto.org

Немного низкоуровневой экзотики от 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

I want to write this tiny tool where Rust feels like an overkill. C was the first thing that came to mind, but then it struck me: this is a perfect scenario to use Hare!

FOSDEM 2023: Introducing the Helios microkernel https://spacepub.space/videos/watch/f6435a6c-34e0-4602-ad5d-f791643111ab

The video of my #FOSDEM talk introducing Helios is now available:

https://fosdem.org/2023/schedule/event/heliosuk/

Found a @hare on the way to UB2.147 :) #FOSDEM

write some telephony code in hare so you can name the main file alo.ha

A Wayland UI demo from scratch in Hare, with a simple custom grid system, basic font shaping, pixbuf, hare-freetype2, hare-vec etc. Was a lot of fun to make. Source here: https://git.sr.ht/~vladh/hello-hare-wl