shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

288
active users

#programminglanguages

2 posts2 participants2 posts today

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 (journals.sagepub.com/doi/abs/1) 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

With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).

The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, #Rocq).

Information about the positions and application procedure can be found on the website:

cyclic-structures.gitlab.io/vacancies/

Please forward to any strong candidates you know!

#TypeTheory #ModalLogic #Concurrency #ProgrammingLanguages #TypeSystems #ProofAssistants #CyclicStructures #PhD #Netherlands #UniversityOfGroningen #LeidenUniversity #UniversityOfTwente #TUDelft #RadboudUniversity
Cyclic Structures in Programs and ProofsVacanciesBy Jorge Perez

Strongly worded #medium #article on #programmingLanguages and #dialogue relating to
@nosrednayduj 's interview today concerning the concerning relative merits of #lisp and #java . Connection to strong echoes of points Masinter made about Medley Interlisp in an earlier interview.

Thoughts, commentary welcome here and on Medium.

@rat this article is specifically addressed to you, if you'll forgive me.

medium.com/@screwlisp/lisp-sm0

Medium · Lisp, sm0lnet, fedi, Medium and what am I doing? - screwlisp - MediumBy screwlisp

Writing an #interpreter for #Brainfuck is almost a rite of passage for any programming language implementer, and it’s my turn now. In this post, I write not one but four Brainfuck #interpreters in #Haskell: abhinavsarkar.net/posts/brainf

Please boost for reach. If you have any questions or comments, please reply to this post.

abhinavsarkar.net · Interpreting Brainfuck in Haskell
More from Abhinav 🌏
Replied in thread

@chrisamaphone

Hear, hear!

Strongly typed programming languages like Java fuss and fret and get bent out of shape about the type of a variable, which is basically something that tells the computer how the computer should handle the storage of that variable, and other technical details, for the computer to worry about, rather than the programmer.

Making the programmer explicitly upcast and downcast variables throughout the program adds more rigor and due diligence, sure. It adds even more bloat, complexity and points of failure.

In Perl, a dynamically typed language, you get arrays, scalars, and hashes, built-in. From there on, a scalar piece of data is just a string, to be decoded and parsed at the last possible moment. Otherwise, it's just a clearly labeled piece of data to pass around as needed. Defer trying to figure out whether it's a name, an age, a temperature, a sound file, or an image. Much simpler, more robust, programmer friendly and efficient.

paper.wf/zi-0/

子0子0tech talk toe-to-toe