Hey @hare,

The latest blog post made me look back at Hare. This is getting nicely together.

One thing came up while rereading the docs : what's the story or plans wrt multithreading and coroutines ?

#harelang #harelangblog

@smlavine c compiler written in hare can now compile harec

hare is partially maintained by two tetris pieces

Made some progress on hare-tls this week. It can "verify" certificate chains and I've ported EC from BearSSL. That means it can verify certificates against 99% of the certificates of the mozilla trust source. It's not bulletproof yet though, there are some shortcuts and some critical steps I still need to implement.

Code is in the "making it work" phase. I'll probably add certificate verification to TLS and then I'll slowly start to refactor and rework most of it to make it good.

#harelang

I’m really glad that #harelang doesn’t have macros. I really hope this serves as an inspiration for all future language design.

submitted my first micro contribution to #harelang today by proposing to fix the first stdlib tutorial example code!

it involved:

- getting a failing run from the hare compiler
- forming a hypothesis
- digging into the stdlib docs
- finding out there is no sha256::SIZE anymore
- forking the repo
- preparing the patchset via sourcehut (a first for me, also I am not ready yet to embrace git-send-email)
- submitting the patchset

Show older

Hare Propaganda 🐰's choices:

Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.