home.social

#harelang — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #harelang, aggregated by home.social.

fetched live
  1. Tomorrow I'll get to fire up a Dragonfly, Free, Open, and NetBSD VM to make sure this interface enumeration works before I send the patch to the mailing list.

  2. Tomorrow I'll get to fire up a Dragonfly, Free, Open, and NetBSD VM to make sure this interface enumeration works before I send the patch to the mailing list.

    #HareLang #BSD

  3. I decided over vacation I would chip away at adding in network interface enumeration to the Hare stdlib so I am getting close to being done with that.

    - type hwaddr;
    - type interface;

    - fn byindex(idx: int) (interface | error | nomem);
    - fn byname(name: str) (interface | error | nomem);
    - fn interfaces() ([]interface | error | nomem);
    - fn strhwaddr(hw: hwaddr) str;

  4. I decided over vacation I would chip away at adding in network interface enumeration to the Hare stdlib so I am getting close to being done with that.

    - type hwaddr;
    - type interface;

    - fn byindex(idx: int) (interface | error | nomem);
    - fn byname(name: str) (interface | error | nomem);
    - fn interfaces() ([]interface | error | nomem);
    - fn strhwaddr(hw: hwaddr) str;

    #HareLang #Networking #Linux #BSD

  5. Spending time tonight to update the Hare and Rust toolchain on my laptop before heading away on vacation so I can focus more on tinkering when I get there when the family is in bed.

  6. Spending time tonight to update the Hare and Rust toolchain on my laptop before heading away on vacation so I can focus more on tinkering when I get there when the family is in bed.

    #HareLang #RustLang #SystemsProgramming

  7. I think I will try to get cookie support moved forward in my hare-http work.

  8. I think I will try to get cookie support moved forward in my hare-http work.

    #HareLang #HTTP #Cookies

  9. I'm pretty happy with this so far. I forgot I had a good foundation to start from.

    - handler interface
    - mux with path placeholders
    - middleware chaining

    git.sr.ht/~blainsmith/hare-htt

  10. I'm pretty happy with this so far. I forgot I had a good foundation to start from.

    - handler interface
    - mux with path placeholders
    - middleware chaining

    git.sr.ht/~blainsmith/hare-htt

    #HareLang #HTTP

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

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

    #HareLang #QBE #Compilers

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

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

    #HareLang #QBE #Compilers

  13. Just updated git.sr.ht/~grafov/hare-mode for GNU/Emacs for using Hare 0.26.0 syntax.

  14. A home for projects
    builtwithhare.org/

    Host your documentation and resources on a dedicated subdomain.

  15. A home for #harelang projects
    builtwithhare.org/

    Host your documentation and resources on a dedicated subdomain.

  16. I got distracted for a few days with some side projects in

    Now going back to work on , I can't stand the slow compile times. It's crazy how I'd normalised them so much, but after using something that's fast for a few days, these long waiting times have become unbearable.

  17. I got distracted for a few days with some side projects in #harelang

    Now going back to work on #rust, I can't stand the slow compile times. It's crazy how I'd normalised them so much, but after using something that's fast for a few days, these long waiting times have become unbearable.

  18. @blainsmith You're welcome. These are two really fun project's to learn more about Hare.

    #harelang

  19. Just actualized hare-mode (I forked it from laumann/hare-mode) for the current language specs. Looks like this is now the most actual hare-mode for :)

    git.sr.ht/~grafov/hare-mode for

  20. While writing my project, I think i found a bug in one of the strings functions in harelang.

    strings::split seems to fail to split with delim '\n\n' and it seems to think that '\n\n' is '\n'.

    My workaround was using strings::cut. It seems strings::tokenize and strings::split behave the same with '\n\n'. I haven't checked other kind of delimiters.

    I was so confused at first because I expected it to behave similar to Rust's or Python's split.

    #harelang

  21. CW: new smol project

    Bored. Hence, I am building an static site generator in Hare.

    github.com/uncomfyhalomacro/bu

    I'll probably move this to sourcehut. And probably replace the ssg for my site using bunny in the future once various features are implemented.

    #harelang #hare