#programminglanguages

Concrete, an interesting language written in Rust

https://github.com/lambdaclass/concrete

Discussions: https://discu.eu/q/https://github.com/lambdaclass/concrete

#programming #programminglanguages #rustlang

Pipelining might be my favorite programming language feature

https://herecomesthemoon.net/2025/04/pipelining/

Discussions: https://discu.eu/q/https://herecomesthemoon.net/2025/04/pipelining/

#programming #programminglanguages #rustlang

Nice, but hard to follow properly if you don’t already know #Jai:

“Four Years Of Jai” [2024], Smári McCarthy (https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/).

Via Lobsters: https://lobste.rs/s/ipvyhu/four_years_jai

On HN: https://news.ycombinator.com/item?id=43699564

#Programming #PLDI #ProgrammingLanguages #SystemsProgramming

I really enjoyed @Felienne's narrative about narratives about Computer Science yesterday. She applied some of the ideas presented in the Glaciers, Gender and Science paper (https://journals.sagepub.com/doi/abs/10.1177/0309132515623368) to her experiences in the Computer Science / Programming Languages communities. She's also starting a reading club to brainstorm the meaning (and the name?) of the field of "Computer Science".

#ICTOpen
#ICTOpen2025
#NWO
#Conference
#AcademicMastodon
#AcademicChatter
#ICT
#Research
#Networking
#Utrecht
#Jaarbeurs
#ComputerScience
#ProgrammingLanguages
#WomenInComputing
#WomenInSTEM
#Glaciology

I made a programming language inspired by lisp

https://github.com/realdanvanth/telos/

Discussions: https://discu.eu/q/https://github.com/realdanvanth/telos/

#lisp #programming #programminglanguages

"Super Haskell": an introduction to Agda by André Muricy

https://adabeat.com/fps/super-haskell-an-introduction-to-agda-by-andre-muricy/

Discussions: https://discu.eu/q/https://adabeat.com/fps/super-haskell-an-introduction-to-agda-by-andre-muricy/

#haskell #programming #programminglanguages

Global rename and find reference |
Gleam v1.10.0 released

https://gleam.run/news/global-rename-and-find-references/

#gleam #gleamlang #fp #programming #ProgrammingLanguages

[R] Image classification by evolving bytecode

https://zyme.dev/blog/1_image_classification_by_evolving_bytecode

Discussions: https://discu.eu/q/https://zyme.dev/blog/1_image_classification_by_evolving_bytecode

#compsci #machinelearning #programminglanguages

Bit of a newbie question, but why is CPS favored for IRs for functional languages? Links welcome

#plt #programminglanguages #functionalprogramming #compilers

Show HN: The C3 programming language (C alternative language)

https://github.com/c3lang/c3c

Discussions: https://discu.eu/q/https://github.com/c3lang/c3c

#programming #programminglanguages

This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.

--

Making OCaml Safe for Performance Engineering | Lobsters

https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance

#compilers #plt #ocaml #ProgrammingLanguages #programming

I wonder what would a c clone, like a c++ that is, instead of being object oriented, it was functional, like a cλλ, like inline assembly with category theory whitepaper code. That would be the most language ever. Like no side effects, with totally side effects. Like it also has some object stuff like how c++ is supposed to have some but it's just a featureful struct. I'm genuinely curious, morbidly. #programming #c #cpp #haskell #programminglanguages #doesanybodylikethis #insanity #darkwoke

Function Application Needs to Grow a Spine Already

https://thunderseethe.dev/posts/function-application-grow-a-spine/

Discussions: https://discu.eu/q/https://thunderseethe.dev/posts/function-application-grow-a-spine/

#haskell #programming #programminglanguages

Typechecking Generalized Algebraic Datatypes in Clojure

https://moea.github.io/playground/clojure/gadt/static/typing/2025/03/29/gadt.html

Discussions: https://discu.eu/q/https://moea.github.io/playground/clojure/gadt/static/typing/2025/03/29/gadt.html

#clojure #programming #programminglanguages

@naomi #JVM in #Rust, when?

#Java #MemirySafe #MemorySafety #ProgrammingLanguages #Meme #Memes

SpecTec has been adopted

https://webassembly.org/news/2025-03-27-spectec/

Discussions: https://discu.eu/q/https://webassembly.org/news/2025-03-27-spectec/

#compsci #plt #programming #programminglanguages #webassembly

SpecTec has been adopted - WebAssembly

«...huge leap forward, because the practical state of language specifications is basically stuck in the 1960s: most language standards, even new ones, are still defined by some basic grammar notation for their syntax (and sometimes not even that), while their semantics is given by a combination of pretty prose, hidden assumptions, and wishful thinking.»

https://webassembly.org/news/2025-03-27-spectec/

#plt #wasm #programming #ProgrammingLanguages

Spade, a hardware description language inspired by modern software languages

https://spade-lang.org/

Discussions: https://discu.eu/q/https://spade-lang.org/

#compsci #hardware #plt #programminglanguages

Rod Johnson everyone: https://youtu.be/Rx3XZoqbi78

I still love Java, but every time I switch back from Kotlin or Scala, I can relate... There's always something missing.

#Java #Kotlin #ProgrammingLanguages