home.social

#adalang — Public Fediverse posts

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

  1. @deniz #AdaLang is extremely readable. That's one of the things I love about this language.

    Rust being hijacked by the AI bros is a no go.

    Hare, I know, interesting, but I do not agree with all the decisions.

  2. @deniz #AdaLang is extremely readable. That's one of the things I love about this language.

    Rust being hijacked by the AI bros is a no go.

    Hare, I know, interesting, but I do not agree with all the decisions.

  3. @deniz #AdaLang is extremely readable. That's one of the things I love about this language.

    Rust being hijacked by the AI bros is a no go.

    Hare, I know, interesting, but I do not agree with all the decisions.

  4. @deniz #AdaLang is extremely readable. That's one of the things I love about this language.

    Rust being hijacked by the AI bros is a no go.

    Hare, I know, interesting, but I do not agree with all the decisions.

  5. @deniz #AdaLang is extremely readable. That's one of the things I love about this language.

    Rust being hijacked by the AI bros is a no go.

    Hare, I know, interesting, but I do not agree with all the decisions.

  6. < #rant >
    * looks like #AdaLang community pairs safety-critical with #AI and #LLM.s
    * I hate glibc
    * looks like #Zig doesn't spark joy (at least not yet)
    * I'm not touching #Rust, ever
    </ #rant >

    How to live?

  7. < #rant >
    * looks like #AdaLang community pairs safety-critical with #AI and #LLM.s
    * I hate glibc
    * looks like #Zig doesn't spark joy (at least not yet)
    * I'm not touching #Rust, ever
    </ #rant >

    How to live?

  8. < #rant >
    * looks like #AdaLang community pairs safety-critical with #AI and #LLM.s
    * I hate glibc
    * looks like #Zig doesn't spark joy (at least not yet)
    * I'm not touching #Rust, ever
    </ #rant >

    How to live?

  9. < #rant >
    * looks like #AdaLang community pairs safety-critical with #AI and #LLM.s
    * I hate glibc
    * looks like #Zig doesn't spark joy (at least not yet)
    * I'm not touching #Rust, ever
    </ #rant >

    How to live?

  10. < #rant >
    * looks like #AdaLang community pairs safety-critical with #AI and #LLM.s
    * I hate glibc
    * looks like #Zig doesn't spark joy (at least not yet)
    * I'm not touching #Rust, ever
    </ #rant >

    How to live?

  11. #AdaLang on #FreeBSD

    "Talk at length to anyone (even complete strangers on the rare times you venture outside) about how Ada is still light-years ahead of every other language, perhaps the exception being s-expressions—more dialogue is obviously needed."

    wiki.freebsd.org/Ada

  12. #AdaLang on #FreeBSD

    "Talk at length to anyone (even complete strangers on the rare times you venture outside) about how Ada is still light-years ahead of every other language, perhaps the exception being s-expressions—more dialogue is obviously needed."

    wiki.freebsd.org/Ada

  13. #AdaLang on #FreeBSD

    "Talk at length to anyone (even complete strangers on the rare times you venture outside) about how Ada is still light-years ahead of every other language, perhaps the exception being s-expressions—more dialogue is obviously needed."

    wiki.freebsd.org/Ada

  14. #AdaLang on #FreeBSD

    "Talk at length to anyone (even complete strangers on the rare times you venture outside) about how Ada is still light-years ahead of every other language, perhaps the exception being s-expressions—more dialogue is obviously needed."

    wiki.freebsd.org/Ada

  15. #AdaLang on #FreeBSD

    "Talk at length to anyone (even complete strangers on the rare times you venture outside) about how Ada is still light-years ahead of every other language, perhaps the exception being s-expressions—more dialogue is obviously needed."

    wiki.freebsd.org/Ada

  16. @liberty to be clear: #AdaLang may be still rough around the edges, but it’s because it maintains backwards compatibility for more than 40 years now.

  17. @liberty to be clear: #AdaLang may be still rough around the edges, but it’s because it maintains backwards compatibility for more than 40 years now.

  18. @liberty to be clear: #AdaLang may be still rough around the edges, but it’s because it maintains backwards compatibility for more than 40 years now.

  19. @liberty to be clear: #AdaLang may be still rough around the edges, but it’s because it maintains backwards compatibility for more than 40 years now.

  20. @liberty to be clear: #AdaLang may be still rough around the edges, but it’s because it maintains backwards compatibility for more than 40 years now.

  21. @liberty I wrote this: tada.pm

    #AdaLang is super boring, extremely readable. It solved many engineering problems 40 years ago where other languages try to reinvent everything and sell it as something new.

    It just works. Great interfacing with C, tasking and protected objects (parallel programming) as a part of the language. And many more!

  22. @liberty I wrote this: tada.pm

    #AdaLang is super boring, extremely readable. It solved many engineering problems 40 years ago where other languages try to reinvent everything and sell it as something new.

    It just works. Great interfacing with C, tasking and protected objects (parallel programming) as a part of the language. And many more!

  23. @liberty I wrote this: tada.pm

    #AdaLang is super boring, extremely readable. It solved many engineering problems 40 years ago where other languages try to reinvent everything and sell it as something new.

    It just works. Great interfacing with C, tasking and protected objects (parallel programming) as a part of the language. And many more!

  24. @liberty I wrote this: tada.pm

    #AdaLang is super boring, extremely readable. It solved many engineering problems 40 years ago where other languages try to reinvent everything and sell it as something new.

    It just works. Great interfacing with C, tasking and protected objects (parallel programming) as a part of the language. And many more!

  25. @liberty I wrote this: tada.pm

    #AdaLang is super boring, extremely readable. It solved many engineering problems 40 years ago where other languages try to reinvent everything and sell it as something new.

    It just works. Great interfacing with C, tasking and protected objects (parallel programming) as a part of the language. And many more!

  26. #AdaLang: "Ada is sometimes used in critical systems, where any anomaly might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include avionics, air traffic control, railways, banking, military and space technology.”

    Some people in the community: “Let’s use probabilistic methods to write #software”.

    #LLM #AI

  27. #AdaLang: "Ada is sometimes used in critical systems, where any anomaly might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include avionics, air traffic control, railways, banking, military and space technology.”

    Some people in the community: “Let’s use probabilistic methods to write #software”.

    #LLM #AI

  28. #AdaLang: "Ada is sometimes used in critical systems, where any anomaly might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include avionics, air traffic control, railways, banking, military and space technology.”

    Some people in the community: “Let’s use probabilistic methods to write #software”.

    #LLM #AI

  29. #AdaLang: "Ada is sometimes used in critical systems, where any anomaly might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include avionics, air traffic control, railways, banking, military and space technology.”

    Some people in the community: “Let’s use probabilistic methods to write #software”.

    #LLM #AI

  30. #AdaLang: "Ada is sometimes used in critical systems, where any anomaly might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include avionics, air traffic control, railways, banking, military and space technology.”

    Some people in the community: “Let’s use probabilistic methods to write #software”.

    #LLM #AI

  31. Hey @nlnet! 👋

    Could you share the status of nlnet.nl/project/Ada-bootstrap/?

    #AdaLang is dear to me. I am trying to make Ada better on my own, and I would definitely love to contribute to the initiative like this one.

  32. Hey @nlnet! 👋

    Could you share the status of nlnet.nl/project/Ada-bootstrap/?

    #AdaLang is dear to me. I am trying to make Ada better on my own, and I would definitely love to contribute to the initiative like this one.

  33. Hey @nlnet! 👋

    Could you share the status of nlnet.nl/project/Ada-bootstrap/?

    #AdaLang is dear to me. I am trying to make Ada better on my own, and I would definitely love to contribute to the initiative like this one.

  34. Hey @nlnet! 👋

    Could you share the status of nlnet.nl/project/Ada-bootstrap/?

    #AdaLang is dear to me. I am trying to make Ada better on my own, and I would definitely love to contribute to the initiative like this one.

  35. Hey @nlnet! 👋

    Could you share the status of nlnet.nl/project/Ada-bootstrap/?

    #AdaLang is dear to me. I am trying to make Ada better on my own, and I would definitely love to contribute to the initiative like this one.