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

USL – A Universal Scripting Language That Outputs to 111 Programming Languages

https://townsendatomics.gumroad.com/l/usl

#HackerNews #USL #UniversalScriptingLanguage #ProgrammingLanguages #Coding #Innovation #TechNews

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

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
Dijkstra's thoughts on natural language programming and its folly.

I have mixed feelings about what he says here. On the one hand, I strongly agree with his observations qua *the clarity required for repeatable tasks*, and he is also right about the power of formal symbolism, but something about his definition of "non-sense" rubs me the wrong way: his rather shaky Eurocentric historical narrative. There is no reason to treat the the invention of symbolic Algebra as "feeble" given that natural language argumentation followed in the wake of it. Do modern mathematicians not do as much handwaving on certain cutting edge subjects before formalizing? The power of vagueness in the hands of a human being with real semantic thoughts can capture unknowns as superposition and is at least part of where creativity derives from. However, it does not make repeatable procedures, and *that* is why it is not appropriate for computing.

#llms #nollm #Programming #ProgrammingLanguages

At some point, type safety is indistinguishable from template metaprogramming.

#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