home.social

#diku — Public Fediverse posts

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

  1. ᚠᚢᚦᚨᚱᚲ
    #Futhark
    #programming language:

    • Escaped in 2017 from University of Copenhagen #DIKU, the #CS research group founded by Naur himself
    • A member of Milner ML family of functional languages
    • Pure functional—like Miranda, Haskell, Elm, etc.—without objects, obviously
    • Far more sensible functor (module) syntax than SML and OCaml
    • Far cleaner appearance than SML's half-century-old syntax
    • Automatic exploitation of GPU-borne parallelism via CUDA or OpenCL

    As a life-long fan of Milner's ML, Futhark is a far more comfortable couch upon which to lounge, for me, than the current crop of popular languages that pander to #AI, like R, Python, Julia, Mojo, etc.

    💕 Futhark 💕
    — modernity without mania
    — performance without penance
    — maturity without mouldiness
    — pedigree without pomposity

    futhark-lang.org/index.html
    youtu.be/QqOsJ0EwyrY?si=Mezz4v

  2. ᚠᚢᚦᚨᚱᚲ
    #Futhark
    #programming language:

    • Escaped in 2017 from University of Copenhagen #DIKU, the #CS research group founded by Naur himself
    • A member of Milner ML family of functional languages
    • Pure functional—like Miranda, Haskell, Elm, etc.—without objects, obviously
    • Far more sensible functor (module) syntax than SML and OCaml
    • Far cleaner appearance than SML's half-century-old syntax
    • Automatic exploitation of GPU-borne parallelism via CUDA or OpenCL

    As a life-long fan of Milner's ML, Futhark is a far more comfortable couch upon which to lounge, for me, than the current crop of popular languages that pander to #AI, like R, Python, Julia, Mojo, etc.

    💕 Futhark 💕
    — modernity without mania
    — performance without penance
    — maturity without mouldiness
    — pedigree without pomposity

    futhark-lang.org/index.html
    youtu.be/QqOsJ0EwyrY?si=Mezz4v

  3. ᚠᚢᚦᚨᚱᚲ
    #Futhark
    #programming language:

    • Escaped in 2017 from University of Copenhagen #DIKU, the #CS research group founded by Naur himself
    • A member of Milner ML family of functional languages
    • Pure functional—like Miranda, Haskell, Elm, etc.—without objects, obviously
    • Far more sensible functor (module) syntax than SML and OCaml
    • Far cleaner appearance than SML's half-century-old syntax
    • Automatic exploitation of GPU-borne parallelism via CUDA or OpenCL

    As a life-long fan of Milner's ML, Futhark is a far more comfortable couch upon which to lounge, for me, than the current crop of popular languages that pander to #AI, like R, Python, Julia, Mojo, etc.

    💕 Futhark 💕
    — modernity without mania
    — performance without penance
    — maturity without mouldiness
    — pedigree without pomposity

    futhark-lang.org/index.html
    youtu.be/QqOsJ0EwyrY?si=Mezz4v

  4. ᚠᚢᚦᚨᚱᚲ
    #Futhark
    #programming language:

    • Escaped in 2017 from University of Copenhagen #DIKU, the #CS research group founded by Naur himself
    • A member of Milner ML family of functional languages
    • Pure functional—like Miranda, Haskell, Elm, etc.—without objects, obviously
    • Far more sensible functor (module) syntax than SML and OCaml
    • Far cleaner appearance than SML's half-century-old syntax
    • Automatic exploitation of GPU-borne parallelism via CUDA or OpenCL

    As a life-long fan of Milner's ML, Futhark is a far more comfortable couch upon which to lounge, for me, than the current crop of popular languages that pander to #AI, like R, Python, Julia, Mojo, etc.

    💕 Futhark 💕
    — modernity without mania
    — performance without penance
    — maturity without mouldiness
    — pedigree without pomposity

    futhark-lang.org/index.html
    youtu.be/QqOsJ0EwyrY?si=Mezz4v

  5. ᚠᚢᚦᚨᚱᚲ
    #Futhark
    #programming language:

    • Escaped in 2017 from University of Copenhagen #DIKU, the #CS research group founded by Naur himself
    • A member of Milner ML family of functional languages
    • Pure functional—like Miranda, Haskell, Elm, etc.—without objects, obviously
    • Far more sensible functor (module) syntax than SML and OCaml
    • Far cleaner appearance than SML's half-century-old syntax
    • Automatic exploitation of GPU-borne parallelism via CUDA or OpenCL

    As a life-long fan of Milner's ML, Futhark is a far more comfortable couch upon which to lounge, for me, than the current crop of popular languages that pander to #AI, like R, Python, Julia, Mojo, etc.

    💕 Futhark 💕
    — modernity without mania
    — performance without penance
    — maturity without mouldiness
    — pedigree without pomposity

    futhark-lang.org/index.html
    youtu.be/QqOsJ0EwyrY?si=Mezz4v