home.social

#programminglanguages — Public Fediverse posts

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

fetched live
  1. Programming languages' official accounts on the Fediverse:

    @chapelprogramminglanguage - Chapel
    @DylanLang - Dylan
    @golang - Go
    @haskell - Haskell
    @pharoproject - Pharo
    @php - PHP
    @thephpf - PHP Foundation
    @ThePSF - Python Software Foundation
    @R_Foundation - R Foundation
    @rust - Rust
    @rustfoundation - Rust Foundation
    @ruxlang - Rux
    @swiftlang - Swift
    @unison - Unison
    @vala_lang - Vala

    #ProgrammingLanguages #Programming #Coding #SoftwareDevelopment #Dev

  2. Programming languages' official accounts on the Fediverse:

    @chapelprogramminglanguage - Chapel
    @DylanLang - Dylan
    @golang - Go
    @haskell - Haskell
    @pharoproject - Pharo
    @php - PHP
    @thephpf - PHP Foundation
    @ThePSF - Python Software Foundation
    @R_Foundation - R Foundation
    @rust - Rust
    @rustfoundation - Rust Foundation
    @ruxlang - Rux
    @swiftlang - Swift
    @unison - Unison
    @vala_lang - Vala

    #ProgrammingLanguages #Programming #Coding #SoftwareDevelopment #Dev

  3. Vercel Labs introduced Zero - an experimental systems programming language built for AI agents rather than human developers.

    Zero features a dedicated toolchain contract, structured error messages, and compiles to native binaries for major operating systems.

    Now at version 0.3.4, it prioritizes size, speed, and agent usability.

    More details ➤ bit.ly/4hIf2Jt

    #WebDevelopment #AI #ProgrammingLanguages #InfoQ

  4. Vercel Labs introduced Zero - an experimental systems programming language built for AI agents rather than human developers.

    Zero features a dedicated toolchain contract, structured error messages, and compiles to native binaries for major operating systems.

    Now at version 0.3.4, it prioritizes size, speed, and agent usability.

    More details ➤ bit.ly/4hIf2Jt

  5. (1)
    A riddle: why is Python (the programming language) _natively_ suitable for controlling robots?

    (2)
    There are other qualities by which Python is at least a spiritual descendant of Lisp.
    For example, Lisp is the earliest object-based language and Python is also object-based.
    In Python, `==' is to `is' as in Lisp `equal' is to `eq'.
    There is a long list of details, such as Python's `import' being similar to Lisp's `require' or `type' being similar to `type-of'.
    Type declarations are optional.
    Python's doc-strings are syntactically like Lisp's doc-strings.

    #Lisp
    #ProgrammingLanguages
    #Python

    @screwlisp @alexshendi @mdhughes @FoxFunction @ketmorco

  6. (1)
    A riddle: why is Python (the programming language) _natively_ suitable for controlling robots?

    (2)
    There are other qualities by which Python is at least a spiritual descendant of Lisp.
    For example, Lisp is the earliest object-based language and Python is also object-based.
    In Python, `==' is to `is' as in Lisp `equal' is to `eq'.
    There is a long list of details, such as Python's `import' being similar to Lisp's `require' or `type' being similar to `type-of'.
    Type declarations are optional.
    Python's doc-strings are syntactically like Lisp's doc-strings.

    #Lisp
    #ProgrammingLanguages
    #Python

    @screwlisp @alexshendi @mdhughes @FoxFunction @ketmorco

  7. What makes some last while others lose relevance? 🤔

    Part 1 of this Andrew Oram series explores languages that appear immortal and those with respectable life cycles that receded. Discover the stories of C, C++, C#, , , , , , , , , and others 👇

    lpi.org/xq3f

  8. What makes some #programminglanguages last while others lose relevance? 🤔

    Part 1 of this Andrew Oram series explores languages that appear immortal and those with respectable life cycles that receded. Discover the stories of C, C++, C#, #JavaScript, #Java, #PHP, #COBOL, #FORTRAN, #BASIC, #Rust, #Perl, and others 👇

    lpi.org/xq3f

    #LPI #programming #opensource #linux #unix #softwaredevelopment #coding #developers #sysadmins #python #softwareengineering

  9. For years, building #JIT compilers for languages like Lua, Python, and Ruby by hand has made them difficult to maintain as those languages evolve.

    Meet yk - an #opensource framework that automatically derives a JIT compiler from an existing C interpreter, preserving compatibility while delivering up to 4× speedups.

    Learn how it works, the technical challenges involved, and what's next for automatic JIT generation.

    🎬 Watch the #InfoQ presentation by Laurence Tratt: bit.ly/4z6G9UO

    #ProgrammingLanguages #Performance

  10. For years, building compilers for languages like Lua, Python, and Ruby by hand has made them difficult to maintain as those languages evolve.

    Meet yk - an framework that automatically derives a JIT compiler from an existing C interpreter, preserving compatibility while delivering up to 4× speedups.

    Learn how it works, the technical challenges involved, and what's next for automatic JIT generation.

    🎬 Watch the presentation by Laurence Tratt: bit.ly/4z6G9UO

  11. В Лиспе, например, все форма (form).

    Там термин «expression» употребляется особо (например lambda expression).

    #Lisp
    #ProgrammingLanguages

    @habr

  12. В Лиспе, например, все форма (form).

    Там термин «expression» употребляется особо (например lambda expression).

    #Lisp
    #ProgrammingLanguages

    @habr

  13. What keeps some relevant for decades while others fade away? 💻 🤔

    In Part 1 of this Andrew Oram series, explore the different paths of C, C++, C#, , , , , , , , , and others 👇

    lpi.org/xq3f

  14. I think I finally found my gripe with nix

    So I've written code/configs in a fair number of languages, and most of them fall into three categories:

    • Bracy languages (C, Rust, Java)
    • Python/Lua/OCaml/Haskell (syntax wise, don't go on semantics)
    • lisps

    nix technically falls in the second

    but because attrsets are so pervasive, almost everything looks like the first

    Worst of all, even the arguments are deconstructed attrsets, so it's often just

    { a, b, c, ... } : { whatever }
    

    And my brain goes into bracy mode but I can't really use it because nix falls in the second category

    FAIR WARNING: I've only written nixos configs in nixlang so far. My gripes are with that. I don't really know how to define packages and such, so I can't tell you. I can probably write a flake, but that doesn't count.

    #nix #nixlang #nixos #programming #syntax #programminglanguages

  15. A new blog post "Finite Algebraic Effects as dicts and such" philipzucker.com/bdd_term_alg_ I like making things finite. An explanation of algebraic effects as terms with keyword args / generalized arity a la Bauer. Combinators that evaluate the effect fully as a python dict. Working towards effects + egraphs ? #programminglanguages

  16. A new blog post "Finite Algebraic Effects as dicts and such" philipzucker.com/bdd_term_alg_ I like making things finite. An explanation of algebraic effects as terms with keyword args / generalized arity a la Bauer. Combinators that evaluate the effect fully as a python dict. Working towards effects + egraphs ? #programminglanguages

  17. 🔥 Oh, look, someone managed to combine #Lisp and #Forth into a 'Lispy' Forth! Because what the world really needed was another esoteric programming Frankenstein 🧟‍♂️. Also, congratulations on writing a book as clear as mud, with all the eloquence of a syntax error. 📚💥
    letoverlambda.com/textmode.cl/ #EsotericProgramming #ProgrammingLanguages #SyntaxError #TechHumor #HackerNews #ngated

  18. 🔥 Oh, look, someone managed to combine #Lisp and #Forth into a 'Lispy' Forth! Because what the world really needed was another esoteric programming Frankenstein 🧟‍♂️. Also, congratulations on writing a book as clear as mud, with all the eloquence of a syntax error. 📚💥
    letoverlambda.com/textmode.cl/ #EsotericProgramming #ProgrammingLanguages #SyntaxError #TechHumor #HackerNews #ngated

  19. Some remain widely used for decades, while others fulfill an important role during their time before receding.

    Our author Andrew Oram explores the stories of C, C++, C#, , , , , , , , and others. Dive into it 👇
    lpi.org/xq3f

  20. Some #programminglanguages remain widely used for decades, while others fulfill an important role during their time before receding.

    Our author Andrew Oram explores the stories of C, C++, C#, #Java, #JavaScript, #PHP, #Rust, #Perl, #COBOL, #FORTRAN, #BASIC and others. Dive into it 👇
    lpi.org/xq3f

    #LPI #programming #opensource #linux #unix #softwaredevelopment #coding #developers #sysadmins #python #softwareengineering

  21. Ah yes, because nothing screams "kid-friendly programming" like resurrecting a language from the 1970s that nobody's heard of 🤦‍♂️. Who needs the prevalent and approachable #Python when you can introduce kids to #Forth, the language equivalent of a rotary phone? 📞👶 #Progress!
    gracefulliberty.com/articles/t #kidfriendlyprogramming #programminglanguages #nostalgia #techhumor #HackerNews #ngated

  22. Ah yes, because nothing screams "kid-friendly programming" like resurrecting a language from the 1970s that nobody's heard of 🤦‍♂️. Who needs the prevalent and approachable #Python when you can introduce kids to #Forth, the language equivalent of a rotary phone? 📞👶 #Progress!
    gracefulliberty.com/articles/t #kidfriendlyprogramming #programminglanguages #nostalgia #techhumor #HackerNews #ngated

  23. Ah yes, the timeless classic of web development—requiring #JavaScript to read about a language from 1972. 🙄 Because, clearly, the birth of #Prolog in 1996 is a riveting tale best told by a JavaScript prompt. 🖥️✨
    dl.acm.org/doi/10.1145/234286. #webdevelopment #programminglanguages #techhumor #HackerNews #ngated

  24. Ah yes, the timeless classic of web development—requiring #JavaScript to read about a language from 1972. 🙄 Because, clearly, the birth of #Prolog in 1996 is a riveting tale best told by a JavaScript prompt. 🖥️✨
    dl.acm.org/doi/10.1145/234286. #webdevelopment #programminglanguages #techhumor #HackerNews #ngated

  25. Separator vs. Terminator

    Thinking about

    begin foo; bar; baz end

    and

    { foo; bar; baz; }

    may shed some (partial) light whether the trailing comma in

    [foo, bar, baz,]

    ought to be considered harmful, or not.

    As a little more food for thought, this does not apply to Lisp’s S-expressions _at all_.

    #ComputerProgramming
    #ProgrammingLanguages
    #ProgrammingLanguageSyntax

  26. Separator vs. Terminator

    Thinking about

    begin foo; bar; baz end

    and

    { foo; bar; baz; }

    may shed some (partial) light whether the trailing comma in

    [foo, bar, baz,]

    ought to be considered harmful, or not.

    As a little more food for thought, this does not apply to Lisp’s S-expressions _at all_.

    #ComputerProgramming
    #ProgrammingLanguages
    #ProgrammingLanguageSyntax

  27. [Can't divide integers with `/' in Dylan (apparently).]

    Right.

    Myself, I see the language design logic here, but I also see that this particular design trade-off would have been best avoided.
    In my opinion, in this context, it would have been slightly better (not _good_, just _better_) if the language didn't have a `/' operator at all.
    If one wants to force the programmer to be very specific about an operation, one wouldn't use a well-known operator that is already widely used with a more general semantics.
    Cultural compatibility matters.

    #ComputerProgramming
    #ProgrammingLanguageDesign
    #ProgrammingLanguages

    @mdhughes

  28. [Can't divide integers with `/' in Dylan (apparently).]

    Right.

    Myself, I see the language design logic here, but I also see that this particular design trade-off would have been best avoided.
    In my opinion, in this context, it would have been slightly better (not _good_, just _better_) if the language didn't have a `/' operator at all.
    If one wants to force the programmer to be very specific about an operation, one wouldn't use a well-known operator that is already widely used with a more general semantics.
    Cultural compatibility matters.

    #ComputerProgramming
    #ProgrammingLanguageDesign
    #ProgrammingLanguages

    @mdhughes

  29. Ah, the thrilling world of #Clojure, where a minor version update gets its own parade 🚀. And, lo and behold, checked keys are here, because nothing screams #innovation like finally adding basic data validation in 2026. 🎉 Clojure: boldly going where most languages already went. 🦖
    clojure.org/news/2026/07/02/cl #ClojureUpdate #DataValidation #ProgrammingLanguages #TechNews #HackerNews #ngated

  30. Ah, the riveting world of "hica"—because clearly what the world needed was yet another "functional programming" playground that can miraculously teach #kids while being mind-numbingly complex for adults 🙄. Who doesn't want to compare languages they've never heard of to languages they care even less about? 😂
    hica.dev/docs/functional-progr #hica #functionalprogramming #techhumor #programminglanguages #complexity #HackerNews #ngated