#programming-languages — Public Fediverse posts

Ah, yet another programming language that promises to be the panacea for both children and adults—because clearly, everyone from toddlers to grannies is clamoring to "Snap" their way to computational enlightenment. 🤯 If you can wade through the linguistic buffet of the interface, maybe you'll find the "inviting" part they keep talking about. 🤔
https://snap.berkeley.edu/ #programminglanguages #Snap #codingforchildren #techhumor #computationalthinking #HackerNews #ngated

I'm watching this video on AI coding and one of the points that the presenter makes is that the programming jobs of the future will belong to those who can craft "air-tight" specifications that the AI will turn into code.

Isn't another phrase for "air-tight specifications" one "programming language"? This was in a video declaring higher-level languages dead.

#AI #SoftwareDevelopment #ProgrammingLanguages

Does anyone know if tracking the “stage” of values (i.e. either compile time or run time) could use a similar coeffect structure to those used to enforce information-flow control (i.e. where you track whether values are high or low security, see “On Graded Coeffect Types for Information-Flow Control” https://doi.org/10.1007/978-3-032-08187-2_7 for example)?

They seem on the surface to be similar... i.e. compile time computations cannot access the results of run time computations, which is like how low security computations should not be able to inspect the results of high security computations... but I could be missing something!

#programminglanguages #typesystems

C*: Unifying Programming and Verification in C

https://arxiv.org/abs/2504.02246

Comments: https://news.ycombinator.com/item?id=49612191

#HackerNews #CSharp #CProgramming #Verification #SoftwareEngineering #ProgrammingLanguages

Vox 0.4.15 is out.

A value whose type is only known while the program runs now converts to fit, so a mixed list or map value can no longer crash a program. Plus 13 more changes.

https://github.com/Vox-lang/vox/releases/tag/v0.4.15

#ProgrammingLanguages #compilers #opensource

"AI made me doubt everything about programming" by @Felienne - #DDD Europe 2026

https://www.youtube.com/watch?v=0-6-f94n_9M

#ProgrammingLanguages #Feminism #FeministEpistemology

# 2. I’m not a programmer, but…

I wonder if, when AI coding agents become advanced, powerful, and fast enough to make the performance of the finished code more important than programmer productivity during its development, there will be a renaissance in the use of assembly language.

#programming #ai #ProgrammingLanguages

Learn Programming with OCaml

https://usr.lmf.cnrs.fr/lpo/

Comments: https://news.ycombinator.com/item?id=49578280

#HackerNews #LearnProgramming #OCaml #Coding #Education #SoftwareDevelopment #ProgrammingLanguages

Bespoke is a programming language in which mutation requires an apology and deadlock is an Exemplary Stalemate of Mutual Deference.

The compiler is not angry. It is disappointed.

Source files end in .charming. Progress is subject to etiquette.

https://blog.hofstede.it/bespoke-a-programming-language-for-people-who-say-please/

#Programming #Esolang #ProgrammingLanguages #TechHumour #Humor #tech

What's wrong with #Pythons?

Find out from ACM Turing Laureate Barbara Liskov's conversation with Ryan Peterman: https://youtu.be/T9CGjbPZeaM?si=OaeTjUWWTM8Xr6M7&t=549

#ACMTuringAward #programminglanguages #programmer

Vox 0.4.14 is out.

A call missing its preposition now names the missing preposition. Plus 5 more changes.

https://github.com/Vox-lang/vox/releases/tag/v0.4.14
#ProgrammingLanguages #programming #rust #opensource #foss #hackernews #hackers
@programming

"Casey Muratori -- The Root of The Root of All Evil"

Going to the bottom of the famous quote "premature optimization is the root of all evil"

https://www.youtube.com/watch?v=hpj6r6CjJf8 (~2h7m)

#BSC2026 # #Programming #Optimization #ProgrammingLanguages #DonaldKnuth #DanIngals #EdsgerDijkstra #TonyHoare

Hello Fediverse.

I have spent many months building a small systems language where the code reads as English sentences. It compiles straight to NASM assembly with no runtime, and the compiler itself is written in Rust.

Please check it out!

Pre-1.0 and moving fast. I will post progress here as it lands.

Free software, GPL-3.0: https://vox-lang.dev

#ProgrammingLanguages #programming #rust #opensource #foss #hackernews #hackers
@programming

*Local loop control variables*

One of the criteria by which we can evaluate the design of a programming language is whether each loop control variable may, or even must, be a local variable in its loop construct.
(That means the declaration of the variable is a part of the loop construct and its scope is the construct.)

It took several decades of evolution for programming language designers to realize the usefulness of such a feature.
Old languages provide nothing of the kind.
With many newer languages it is only optional.

Different languages put different amounts of pressure on programmers to use local loop control variables.
In particular, when looking at some programming language:
Is there a standard loop construct where the loop control variable may be non-local?
If not, can programmers implement their own loop constructs where the loop control variables are non-local?

#ComputerProgramming
#ProgLang
#ProgrammingLanguageDesign
#ProgrammingLanguages

There are trade-offs in the design of every programming language, different for the different languages.
A major part of the Art of Software Engineering is choosing a language with such trade-offs that are favorable for the task at hand.
A little like the Portuguese mariners of old who hugged the African coast on their way to the Cape of Good Hope, but sailed in the western Atlantic Ocean homeward bound.

#ComputerProgramming
#ProgLang
#ProgrammingLanguages
#SoftwareEngineering

An #interview with Russ Cox, mostly about the #Go programming language:

“People of ACM - Russ Cox”, ACM (https://www.acm.org/articles/people-of-acm/2026/russ-cox).

#GoLang #Google #ProgrammingLanguages #Concurrency #MultiCore #Programming

Systems programming, not applications programming, essentially:

“I Thought I Was Building A C Replacement. I Was Wrong”, Christoffer Lernö (https://c3-lang.org/blog/i_thought_i_was_building_a_c_replacement/).

Via Lobsters: https://lobste.rs/s/wpyhdh/i_thought_i_was_building_c_replacement_i

#C #C3 #Programming #ProgrammingLanguages #PMF #ProductMarketFit

What happened to distributed programming languages? by Heather Miller (2017)

https://www.youtube.com/watch?v=eAcDWcaezXY

#pwlconf #distributedcomputation #programminglanguages

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga

Comments: https://news.ycombinator.com/item?id=49281352

#HackerNews #Clamiga #CommonLisp #Amiga #RetroComputing #ProgrammingLanguages

😆 Ah yes, because nothing screams #innovation like combing through the personal webpages of programming language creators for a riveting "quirky" retrospective. 🎩✨ A groundbreaking expedition into digital archaeology that nobody asked for, but surely everyone will cherish forever. 🙄
https://breck.lol/plMakers.html #digitalarchaeology #quirkyretrospective #programminglanguages #humor #HackerNews #ngated

The quirky personal homepages of programming language creators

https://breck.lol/plMakers.html

Comments: https://news.ycombinator.com/item?id=49316888

#HackerNews #quirkyhomepages #programminglanguages #techculture #webdevelopment #personalbranding

Thisnis actually starting to look better than I thought.

Mixing explicit type annotation and choosing some parts to be inferred is some cool shit.

----

A Preview of Roc 0.1.0 by Richard Feldman

https://www.youtube.com/watch?v=a7qEOtkkDb8

#functionalProgramming #FP #programming #programmingLanguages #roc #roclang

hey blambers, I am returning to hard tech studies. I need a new favorite programming language to restart the fundamentals computational knowledge. I used to study computer science with C and C++ but I do not want break my head into pieces of shit again to earn money with a tech entry-level job.

Some of you have any idea what the most common language to grab my first entry-level job as a Software Engineer or something like that?

By now, I am applying to IT Support roles.

#programminglanguages #blambers

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

Chicken Scheme 6.0 Released

https://code.call-cc.org/releases/6.0.0/NEWS

Comments: https://news.ycombinator.com/item?id=49251702

#HackerNews #ChickenScheme #Release #Scheme6.0 #ProgrammingLanguages #OpenSource