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 https://dyna.dyalog.com/
#dyna #dyalog #apl #ArrayProgramming #FunctionalProgramming #ProgrammingLanguages #ComputerScience #NYCTech
On the Design of Programming Languages (1974) [pdf]
https://web.cs.ucdavis.edu/~su/teaching/ecs240-w17/readings/PLHistoryGoodDesign.PDF
#HackerNews #ProgrammingLanguages #DesignHistory #1974 #PDF #HackerNews #TechEducation
Anna Blume Jakobsen (https://www.daracademy.dk/current-fellows/anna-blume-jakobsen) joined ACP today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation.
ππ» Ah yes, the existential crisis of programming languages: do you need to understand #Haskell 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. π
https://taylor.town/scrapscript-001 #programminglanguages #existentialcrisis #codinghumor #techsatire #lexingparsing #HackerNews #ngated
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:
https://jsamwrites.substack.com/p/the-slow-quiet-birth-of-a-multilingual
#programming #AI #multilingual #development #softwaredevelopment #languages #programminglanguages
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.
#coding #semanticweb #pythonprogramming #programminglanguages
RE: https://fosstodon.org/@golemwire/115075076162218775
I'm starting a Fluxer (Discord alternative) group for my #SubSky computing environment :D
Invite link: https://fluxer.gg/I2P03SBv
π Oh, look! Yet another attempt to convince us that #Prolog is the holy grail of #programming 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? π
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/ #ProgrammingLanguages #TechHumor #1980sNostalgia #HackerNews #ngated
Details + Rust India: https://rustindia.org/
Submit a talk (CFP): https://hasgeek.com/rustbangalore/cfp-rust-india-conference-2026/sub
#Rust #RustLang #OpenSource #Community #ProgrammingLanguages
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.
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.
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
ZOYA βͺ (@HeyZoyaKhan)
νλ‘κ·Έλλ° μΈμ΄μ μ§ν μ°νλ₯Ό μ μν νΈμμΌλ‘, 1964λ BASICλΆν° 2025λ 'AI μμ΄μ νΈκ° μ½λ μμ± λ° κ΄λ¦¬'νλ λ¨κ³κΉμ§ λμ΄ν¨. 2026λ μλ 'English'κ° μ€μ¬ μΈν°νμ΄μ€κ° λλ€λ μ λ§μ ν¬ν¨ν΄ μμ°μ΄Β·μμ΄μ νΈ μ€μ¬μ μ½λ κ°λ° μ νμ μμνλ©° κΈ°μ‘΄ μΈμ΄λ€(Solidity, Swift, TypeScript, Rust λ±)μ μ°λλ³λ‘ μ 리ν¨.
https://x.com/HeyZoyaKhan/status/2023117263944155641
#programming #aiagents #codegeneration #programminglanguages
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 https://www.youtube.com/watch?v=N1ezZQWXCkY
π 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: https://github.com/arolang/aro/releases/download/0.3.0-beta.11/ARO-Plugin-Guide.pdf
Vintage Programming Language: Modern Retro Devβs New Compiler Experiment
#RetroComputing #CommanderX16 #Foenix #F256K #MOS6502 #65816 #GameDev #CompilerDev #ProgrammingLanguages #HomebrewComputing
https://theoasisbbs.com/vintage-programming-language-modern-retro-devs-new-compiler-experiment/?fsp_sid=2347
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: https://github.com/amirouche/seed
#Scheme #Lisp #Kernel #ProgrammingLanguages #PLT #FunctionalProgramming #compiler #CompilerDesign
anyone remember Gambas? the "Visual Basic" on Linux?
https://gambaswiki.org/website/en/main.html
#visualbasic #gambas #programming #programminglanguages #linux #gtk
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.
