Hare Propaganda 🐰 @hare@qoto.org

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.

=> https://docs.harelang.org/datetime
=> https://git.sr.ht/~sircmpwn/scheduled

The closest thing to a useful standard I've found is this:

=> https://www.w3.org/TR/xmlschema-2/#adding-durations-to-dateTimes

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.

I'd love to learn Hare sometime

I made a calculator that hates floating point numbers and uses fractions instead!

https://sr.ht/~yerinalexey/csq

@socialsquirrel @hare bnuuy good

@hare the language of bunnies

What timezone do you "hello world" from?
#hare #harepanda

The datetime of #hare's first commit!
#harepanda

Anyway, back to the normal schedule. #Hare seems to be the new toy in town and it looks interesting: https://harelang.org/

The fact that there is already an x86 microkernel written in Hare just blows my mind https://sr.ht/~sircmpwn/helios/

#osdev #kernel #hare

let's spread #hare across the fediverse! a new programming language that looks quite appealing to work with... i'll have to give it a look once I get a basic understanding of C down. https://harelang.org/

Never been really a fan of all the new post C languages but the fact that #hare aims to target #plan9 makes it very appealing for me to jump in and give it a try.

Introducing the Hare programming language https://spacepub.space/videos/watch/4b848922-e752-4065-baa3-f18afba13edb

lmao

Comparing Hare to Rust and Zig
Martijn Braam
3 May 2022
https://blog.brixit.nl/comparing-hare/

#hare