BAwesome, my crypto::blake2 got merged! Thanks for the help @apreiml
nmeumFor those interested in fooling around with niche compiler technology and programming languages: Here's a fun sketch of a correctness proof for Hare's sort::inplace stdlib function through symbolic execution of the QBE intermediate representation emitted by the Hare compiler.
trashHeap 
Not surprising per se considering Drew Devaults stance on LLMs and his status as lead of the project.
However, the #Hare #programming language is going to explicitly adopt a policy of banning AI slop from the project. #HareLang #floss https://lists.sr.ht/~sircmpwn/hare-dev/patches/68622
Vendoring Modules in Hare
Drew DeVault – Building and scaling Hare's community governance
Drew DeVault – Building and scaling Hare's community governance #FOSSBack
Nice little G-Counter
```
% hare run cmd/counter.ha 1 /tmp/crdt1.sock 1
4/4 tasks completed (100%)
waiting for 1 peer(s)...
all peers connected
...
node 1: counter = 15
node 1: counter = 17
node 1: counter = 19
node 1: counter = 20
```
```
% hare run cmd/counter.ha 2 /tmp/crdt2.sock 1 /tmp/crdt1.sock
connected to /tmp/crdt1.sock
waiting for 1 peer(s)...
all peers connected
...
node 2: counter = 14
node 2: counter = 16
node 2: counter = 18
node 2: counter = 20
```
The Hare community is super helpful and inviting to contributors. I got some very thoughtful feedback on my initial BLAKE2s support and I got my v2 patchset out tonight and all tests are green.
I finally got around to sending a patch to add more of my recent Hare projects to the main project listing. I've been very behind.