Hare Propaganda 🐰 @hare@qoto.org

Made a new app again :)

This is a graphical and mobile ready frontend for the Himitsu secret store.

https://git.sr.ht/~martijnbraam/keyring

Thanks to @vladh's great work, #hare now has tuple unpacking, as per the spec section 6.6.47.3

```
const (a, b, c): (i64, str, f64) = (2i, "hello", 1.0);
```

https://git.sr.ht/~sircmpwn/harec/commit/b8a480fa2cf95b6df2eea64c491aed14ab6ac69d

https://harelang.org/specification/

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/