#programmingLanguages

Dyalogdyalog
2026-03-06

Registration is now open for DYNA26. This free, one-day, in-person event for existing and potential users of Dyalog will take place on Monday 27 April 2026 in New York City. Spaces are limited, and these events usually fill up quickly, so register now to reserve your place. For more information and to register, see dyna.dyalog.com/

Registration is now open for DYNA26
2026-03-02

Anna Blume Jakobsen (daracademy.dk/current-fellows/) joined ACP today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation.

#choreographicProgramming #programmingLanguages #leanProver

N-gated Hacker Newsngate
2026-03-01

πŸ•πŸ’» Ah yes, the existential crisis of programming languages: do you need to understand to grasp their 'lil' quirks, or can you just wing it with your pancreas? πŸ™ƒ Spoiler: It's all the same lexing, parsing, and desugaring nonsense, just with a sprinkle of pretentiousness to make you feel like you're doing something revolutionary. πŸš€
taylor.town/scrapscript-001

John Samueljsamwrites
2026-03-01

What if a programming language really spoke our human languages? I wrote about how a side‑project on numerals slowly turned into a multilingual programming language spanning 17 languages:

jsamwrites.substack.com/p/the-

Fractals made with multilingual programming language
Mythsofmagicmythsofmagic
2026-02-27

It's funny that the more coding languages I learn the more I realise people love naming things after animal when it comes to using it for data.

You got python, with its pandas library. And now I'm also learning things about semantic webs where I use turtle and owl.
When of there are acronyms that is 4 animal named coding language I use a lot when working with data.

2026-02-25

RE: fosstodon.org/@golemwire/11507

I'm starting a Fluxer (Discord alternative) group for my #SubSky computing environment :D

Invite link: fluxer.gg/I2P03SBv

#ISA #programmingLanguages

N-gated Hacker Newsngate
2026-02-24

πŸš€ Oh, look! Yet another attempt to convince us that is the holy grail of languages, as if a history lesson from 1980s nerd land was what we were missing! πŸ€“ Who needs modern tools when you can play with "lambdatree syntax" and pretend you're inventing the future of programming? πŸ™„
lix.polytechnique.fr/Labo/Dale

rk: it’s hyphen-minus actuallyrk@well.com
2026-02-21

Trying to defrag my brain after weeks of being heads down on a project at work, so doing recreational coding on my little scripting language. I think it might be ready to be released in the not-too-distant future.

It's really quite pretty. AppleTalk-y syntax with runtime extensible parsing via adding words at runtime to lexical categories and advising the lexer.

Not full on magical parsing, but I'm targeting like ~10k lines of C total for everything, so.

#programming #programmingLanguages

tesseratotesserato
2026-02-17

Lean 4

A functional programming language and interactive theorem prover.

While it is widely used by the mathematical community to formalize complex proofs, it has recently emerged as a critical tool in AI research, providing a verifiable β€œground truth” for training large language models in automated reasoning and formal logic.

venturebeat.com/ai/lean4-how-t

github.com/leanprover/lean4

2026-02-16

Forwarding from our Scala colleagues:

We’re happy to announce that Scala Workshop 2026 will take place in Brussels, co-located with ECOOP! πŸŽ‰

πŸ“ Brussels, Belgium
πŸ—“ Mon 29 Jun 2026
πŸŽ™οΈ Submit your 1–2 page talk proposal!
πŸ•’ Deadline: 23 Mar 2026
πŸ‘‰ 2026.workshop.scala-lang.org

#Scala #ScalaLang #ProgrammingLanguages #ECOOP

ZOYA βœͺ (@HeyZoyaKhan)

ν”„λ‘œκ·Έλž˜λ° μ–Έμ–΄μ˜ μ§„ν™” μ—°ν‘œλ₯Ό μ œμ‹œν•œ νŠΈμœ—μœΌλ‘œ, 1964λ…„ BASICλΆ€ν„° 2025λ…„ 'AI μ—μ΄μ „νŠΈκ°€ μ½”λ“œ 생성 및 관리'ν•˜λŠ” λ‹¨κ³„κΉŒμ§€ λ‚˜μ—΄ν•¨. 2026λ…„μ—λŠ” 'English'κ°€ 쀑심 μΈν„°νŽ˜μ΄μŠ€κ°€ λœλ‹€λŠ” 전망을 포함해 μžμ—°μ–΄Β·μ—μ΄μ „νŠΈ μ€‘μ‹¬μ˜ μ½”λ“œ 개발 μ „ν™˜μ„ μ•”μ‹œν•˜λ©° κΈ°μ‘΄ μ–Έμ–΄λ“€(Solidity, Swift, TypeScript, Rust λ“±)을 μ—°λŒ€λ³„λ‘œ 정리함.

x.com/HeyZoyaKhan/status/20231

#programming #aiagents #codegeneration #programminglanguages

Mille e Una Avventura1001avventura@mastodon.uno
2026-02-13

LLVM Γ¨ un'infrastruttura di compilazione, scritta in C++, progettata per l'ottimizzazione di programmi in fase di compilazione, di linking e di esecuzione. Scopriamo assieme come istallarla su Windows 11. #softwaredevelopment #compilerdesign #programminglanguages youtube.com/watch?v=N1ezZQWXCkY

ARO Programming Languagearo@uitsmijter.io
2026-02-13

πŸ”Œ ARO 0.3.0-beta.11: Plugin System is here!

Extend ARO with plugins in your language of choice:
β€’ Swift, Rust, C, Python β€” or pure ARO
β€’ One command: aro add plugin-csv-parser
β€’ Custom actions integrate seamlessly
β€’ Plugins compile into native binaries

<ParseCSV> the <rows> from the <data>.

Write a plugin. Share with your team. The language grows with its community.

πŸ“– Plugin Developer's Guide: github.com/arolang/aro/release

#AROLang #ProgrammingLanguages #OpenSource #Swift #Rust

2026-02-09

After 13 years with Scheme, I archived my last experiment: seed β€” a proof that vau with immutable environments can match syntax-case performance on Chez Scheme.

Four benchmarks, same test suites, competitive numbers. The conclusion: fexprs aren't slow, they're misunderstood.

README with code and reproducible benchmarks: github.com/amirouche/seed

#Scheme #Lisp #Kernel #ProgrammingLanguages #PLT #FunctionalProgramming #compiler #CompilerDesign

Momo πŸ³οΈβ€βš§οΈ:nonbinary_flag:momo@woof.tech
2026-02-06
Afloof.devafloofdev
2026-02-04

This is an example of what my programming language looks like when it's compiling a project.

It displays a variety of project data, and shows animating percentages while it's compiling.

In the end it shows how long it took.

Text displayed when my programming language compiles a project

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst