#harelang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #harelang, aggregated by home.social.
-
-
-
-
-
I got hare-nats wired to use hare-ev now so I can start to really get this more feature complete. It does the very basic connection, publish, and subscribe work. It still needs more love around memory allocations and additional NATS protocol support for credentials, etc.
-
I got hare-nats wired to use hare-ev now so I can start to really get this more feature complete. It does the very basic connection, publish, and subscribe work. It still needs more love around memory allocations and additional NATS protocol support for credentials, etc.
-
I got hare-nats wired to use hare-ev now so I can start to really get this more feature complete. It does the very basic connection, publish, and subscribe work. It still needs more love around memory allocations and additional NATS protocol support for credentials, etc.
-
I got hare-nats wired to use hare-ev now so I can start to really get this more feature complete. It does the very basic connection, publish, and subscribe work. It still needs more love around memory allocations and additional NATS protocol support for credentials, etc.
-
I got hare-nats wired to use hare-ev now so I can start to really get this more feature complete. It does the very basic connection, publish, and subscribe work. It still needs more love around memory allocations and additional NATS protocol support for credentials, etc.
-
Got hare-serial in a decent enough spot to push it.
-
Got hare-serial in a decent enough spot to push it.
-
Got hare-serial in a decent enough spot to push it.
-
Got hare-serial in a decent enough spot to push it.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Just updated https://git.sr.ht/~grafov/hare-mode for GNU/Emacs for using Hare 0.26.0 syntax. #emacs #harelang
-
Just updated https://git.sr.ht/~grafov/hare-mode for GNU/Emacs for using Hare 0.26.0 syntax. #emacs #harelang
-
Hare 0.26.0 released
February 13, 2026 by Drew DeVault
https://harelang.org/blog/2026-02-13-hare-0.26.0-released/ -
Hare 0.26.0 released
February 13, 2026 by Drew DeVault
https://harelang.org/blog/2026-02-13-hare-0.26.0-released/ -
Hare 0.26.0 released
February 13, 2026 by Drew DeVault
https://harelang.org/blog/2026-02-13-hare-0.26.0-released/ -
Hare 0.26.0 released
February 13, 2026 by Drew DeVault
https://harelang.org/blog/2026-02-13-hare-0.26.0-released/ -
Hare 0.26.0 released
February 13, 2026 by Drew DeVault
https://harelang.org/blog/2026-02-13-hare-0.26.0-released/ -
Hare meetup at FOSDEM 2026
January 22, 2026 by Drew DeVault
https://harelang.org/blog/2026-01-22-hare-meetup-at-fosdem/ -
Hare meetup at FOSDEM 2026
January 22, 2026 by Drew DeVault
https://harelang.org/blog/2026-01-22-hare-meetup-at-fosdem/ -
Hare meetup at FOSDEM 2026
January 22, 2026 by Drew DeVault
https://harelang.org/blog/2026-01-22-hare-meetup-at-fosdem/