Mastodawn

how are you all doing by the way, been a while since i posted on here,
i've been picking up #harelang lately, not the easiest way i've learned about a programming language but still fun, hoping to do quite a lot with it in the near future
also it gave me the opportunity to send my very first email to a mailing list! and received a really helpful response too, i'm already liking the hare community,
they also have a very clear no-bullshit stance against use of generative LLMs, really needing that

B May 10

NATS Pub/Sub in Hare

https://blainsmith.com/articles/nats-pub-sub-in-hare/

#NATS #HareLang #PubSub

NATS Pub/Sub in Hare - Blain Smith

B May 5

Got a pretty good handle on hare-nats auth now. The last part there is TLS which is in progress elsewhere in hare-tls.

#HareLang #TLS #NATS

nmeum Apr 2

For 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.

https://notes.8pit.net/notes/y7n8.html

#HareLang #QBE #Compilers

Validating Hare’s Sort Module using Symbolic Execution

trashHeap

Apr 1

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

Aelspire Mar 21

This whole “AI” mess pushed be back to the Hare programming language.

I’ve always had a soft spot in my heart for projects trying to stay simple and maintainable by really small teams. So, Hare and QBE have felt right for me.

But, I’m a professional programmer and wanted to focus on technologies which put food on the table. And I’m not sure such niche projects will help me with feeding my family, so I’ve decided to distance myself from those.

But I was hurt by this decision. I couldn’t help to lurk on the project’s feed from time to time which always triggered urge to reinstall those and…

…just feel good from having them on my computers, as I don’t currently have any real use case for them… So, I always end just writing some toy apps in Hare just for pure enjoyment of using something I like.

But this whole “AI” mess was the breaking point. IMHO currently there is a big problem with codebases becoming too big for typically-sized teams to reasonably maintain. And the proposed solution is to make a stochastic code generator which will bloat line count even faster with much worse quality? It’s a very, very cursed idea…

I prefer to stay with the “simplicity” team, even at the cost of some cool features. So, the urge to reinstall QBE and Hare on my computer became unbearable and I’ve caved in. But I’m not sure for what I can use them.

#HareLang #QBE #NoAI

The Hare programming language

Alexander Grafov Mar 16

Just updated https://git.sr.ht/~grafov/hare-mode for GNU/Emacs for using Hare 0.26.0 syntax. #emacs #harelang

ǝʌɐp Mar 6

Sometimes I find random little things in my home folder that amuse me, partially because I forgot why I did them.

Today's episode of that is a mysteriously empty #harelang project named "carotene". I can't for the life of me remember what the project was supposed to be for, but damn carotene is a good name for a hare program 🥕

ǝʌɐp Feb 23

Jeez, you go on one vacation and everything drops while you're out. New version of #harelang out 👀

Ali M Feb 15

#harelang community on Telegram. Come join us!

https://harelang.org

https://t.me/+RMsd1ZDCzKE5NTM0