Notes from kernel hacking in Hare, part 1
September 7, 2022 on Drew DeVault's blog
powerctl: A small case study in Hare for systems programming
August 28, 2022 on Drew DeVault's blog
Network Programming with Hare
Presenting Bonsai - Improved sxmo complex keybinds
Update: I'll use @hare to make a sandbox platform. Really simple, really small, just proof of concept, but well done with beautiful pixel art and stratospheric lightweightness
The Helios micro-kernel ABI https://spacepub.space/videos/watch/4f7d2307-ab24-41e4-92f4-9bf89d57eac0
Introduction to the Himitsu secret key store https://spacepub.space/videos/watch/5f9e5407-64a6-4776-9175-de744f2e7bc4
Made a new app again :)
This is a graphical and mobile ready frontend for the Himitsu secret store.
const (a, b, c): (i64, str, f64) = (2i, "hello", 1.0);
Does anyone know of any good literature on datetime arithmetic? Or perhaps a really good software library (standard or third-party)? Especially anything that tackles non-communitivity, overflows or nonexistant dates/times (due to timezone effects).
I'm looking to rehaul the #hare stdlib datetime module soon, and we want it to be very robust and of high quality. Will also be helpful in some Hare projects, like a scheduler.
The closest thing to a useful standard I've found is this:
In the mean time, I'm trying to create a formalisation of datetime arithmetic so we can have something theoretically sound to implement. Something which takes advantage of Hare's language features. If you're interested, let me know. The more gray matter, the better. Boosts welcome.
Quantum fluctuations from the Hare spacetime continuum.
QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.
An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.