@fmontesi will be the first director of the new Centre for Formal Methods and Future Computing (FORM)!

Among other things, the Centre will work on the development of Lean's CS Library, where Fabrizio already serves as a member of the steering committee.

Interested in research in formal methods? Expect job announcements very soon.

https://sdu.dk/form

Erlang Meets Idris: Cure Programming Language

https://cure-lang.org/

I want a good parallel language [video]

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

Hello, friend! This is the #introduction post for the ACP section, which works on #artificialIntelligence, #cybersecurity, and #programmingLanguages at the University of Southern #Denmark.

It's dangerous to go alone! Take this… ❬ ACP starter pack ❭ for your trip on the Fediverse!

Use "Preferences > Import and Export > Import" (or similar) to import:
• https://gitlab.sdu.dk/acp/fediverse/-/raw/main/following_accounts.csv as "Following List" to follow all ACP members, or
• https://gitlab.sdu.dk/acp/fediverse/-/raw/main/lists.csv as "Lists" for a dedicated ACP timeline.

Handwriting Programs in J (2017)

https://www.hillelwayne.com/handwriting-j/

Il teorema di Böhm-Jacopini è stato formulato quasi 60 anni fa e dimostra che, con le sue tre strutture di base, è possibile realizzare qualunque algoritmo. I diagrammi di flusso sono una rappresentazione di queste procedure di calcolo e grazie a Flowgorithm è possibile renderli "vivi". Vediamo assieme come! #computerscience #algorithms #programminglanguages
https://www.youtube.com/watch?v=Nib3TWj9CRY

A deep dive into the Ada programming language — born from the software crisis, powering aircraft and systems where failure isn’t an option. https://hackernoon.com/the-language-that-refuses-to-crash-why-ada-still-matters-in-2025 #programminglanguages

So you want to know which programming languages are easiest?

Read more here:
https://www.devleader.ca/2023/10/23/what-are-the-easiest-programming-languages-to-learn-your-ultimate-guide/

I learned today that FORTRAN was not, in fact, the first high-level programming language. It was the second. It was just the first compiled high-level programming language.

The honor of being the first non-asm/machine code programming language goes to SpeedCode: https://en.wikipedia.org/wiki/Speedcoding

The Programming Languages Zoo

https://plzoo.andrej.com/

ARM Memory Tagging: how it improves C/C++ memory safety (2018) [pdf]

https://llvm.org/devmtg/2018-10/slides/Serebryany-Stepanov-Tsyrklevich-Memory-Tagging-Slides-LLVM-2018.pdf

#HackerNews #ARM #Memory #Tagging #C++ #MemorySafety #LLVM2018 #ProgrammingLanguages

I've written a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series:

- Parsing arithmetic expressions to ASTs.
- Compiling ASTs to bytecode.
- Interpreting ASTs.
- Efficiently executing bytecode in a VM.
- Disassembling bytecode and decompiling opcodes for debugging and testing.
- Unit testing and property-based testing for our compiler and VM.
- Benchmarking our code to see how the different passes perform.
- All the while keeping an eye on performance.

The third and final post of the series that focuses on writing the virtual machine is now out: https://abhinavsarkar.net/posts/arithmetic-bytecode-vm/

:

“Forth: The Programming Language That Writes Itself: The Web Page” [2023], Dave Gauer (https://ratfactor.com/forth/the_programming_language_that_writes_itself.html).

Via HN: https://news.ycombinator.com/item?id=45639250

On Lobsters: https://lobste.rs/s/xgq91o/forth_programming_language_writes

Gleam OTP – Fault Tolerant Multicore Programs with Actors

https://github.com/gleam-lang/otp

Rating 26 years of Java changes

https://neilmadden.blog/2025/09/12/rating-26-years-of-java-changes/

#GoLang channels are more than message queues: they are the core synchronization tool in concurrent Go programs.

Learn how happens-before semantics affect memory visibility, prevent race conditions, and enable predictable high-concurrency systems.

Read more → https://bit.ly/48SoKEH

Why Study Programming Languages

https://people.csail.mit.edu/rachit/post/why-study-programming-languages/