I always love a ProgLang logo done in the style of another different ProgLang logo
February 13, 2026 at 1:54 PM
I always love a ProgLang logo done in the style of another different ProgLang logo
January 18, 2026 at 3:25 PM
@yaxu In the post AI world, brave language designers will scramble to add anti-AI features to fend off the bots from their userbase.
The foreleader of the proglang resistance will be genderscript, a fork of typescript that started off by renaming the type keyword to`gender.` […]
The foreleader of the proglang resistance will be genderscript, a fork of typescript that started off by renaming the type keyword to`gender.` […]
Original post on mathstodon.xyz
mathstodon.xyz
November 25, 2025 at 4:59 PM
@yaxu In the post AI world, brave language designers will scramble to add anti-AI features to fend off the bots from their userbase.
The foreleader of the proglang resistance will be genderscript, a fork of typescript that started off by renaming the type keyword to`gender.` […]
The foreleader of the proglang resistance will be genderscript, a fork of typescript that started off by renaming the type keyword to`gender.` […]
How long have you been using Lisp? Any dialect, including Emacs Lisp.
1. less than 1 year
2. 1-3 years
3. more than 3 years
4. I don't use Lisp
#interlisp #lisp #ProgLang
1. less than 1 year
2. 1-3 years
3. more than 3 years
4. I don't use Lisp
#interlisp #lisp #ProgLang
November 23, 2025 at 10:20 AM
How long have you been using Lisp? Any dialect, including Emacs Lisp.
1. less than 1 year
2. 1-3 years
3. more than 3 years
4. I don't use Lisp
#interlisp #lisp #ProgLang
1. less than 1 year
2. 1-3 years
3. more than 3 years
4. I don't use Lisp
#interlisp #lisp #ProgLang
if you're proglang designer and not use every single symbol here for your grammar YNGMI
November 17, 2025 at 8:23 AM
if you're proglang designer and not use every single symbol here for your grammar YNGMI
I looked up the "goto statements considered harmful" letter and idly scrolled pdf. To find "Language protection by trademark ill-advised", a conversation of about the merits and drawbacks of trademarking you proglang names.
The arguments could be from today! 1968!
dl.acm.org/doi/10.1145/...
The arguments could be from today! 1968!
dl.acm.org/doi/10.1145/...
Letters to the editor: Language protection by trademark ill-advised | Communications of the ACM
dl.acm.org
October 29, 2025 at 10:52 AM
I looked up the "goto statements considered harmful" letter and idly scrolled pdf. To find "Language protection by trademark ill-advised", a conversation of about the merits and drawbacks of trademarking you proglang names.
The arguments could be from today! 1968!
dl.acm.org/doi/10.1145/...
The arguments could be from today! 1968!
dl.acm.org/doi/10.1145/...
this is making me realize there probably are kids named that for the proglang and that is mildly concerning
October 22, 2025 at 3:11 PM
this is making me realize there probably are kids named that for the proglang and that is mildly concerning
"We should get rid of declaration matches usage" YEEAAAH!
Unfortunately, the Hates-C person is playing spoiler: "That's a new language. That's not C anymore!" And he's right! But ooooooOOOOH we gotta get rid of that shit, it's A W F U L. Worst design decision of any proglang!!!
Unfortunately, the Hates-C person is playing spoiler: "That's a new language. That's not C anymore!" And he's right! But ooooooOOOOH we gotta get rid of that shit, it's A W F U L. Worst design decision of any proglang!!!
October 17, 2025 at 1:19 AM
"We should get rid of declaration matches usage" YEEAAAH!
Unfortunately, the Hates-C person is playing spoiler: "That's a new language. That's not C anymore!" And he's right! But ooooooOOOOH we gotta get rid of that shit, it's A W F U L. Worst design decision of any proglang!!!
Unfortunately, the Hates-C person is playing spoiler: "That's a new language. That's not C anymore!" And he's right! But ooooooOOOOH we gotta get rid of that shit, it's A W F U L. Worst design decision of any proglang!!!
Q: Bluesky what is the saddest thing?
A: "strangers who go keyword searching for their favorite proglang."
A: "strangers who go keyword searching for their favorite proglang."
October 15, 2025 at 11:19 PM
Q: Bluesky what is the saddest thing?
A: "strangers who go keyword searching for their favorite proglang."
A: "strangers who go keyword searching for their favorite proglang."
nothing personal, I'm just not interested in replies from strangers who go keyword searching for their favorite proglang
October 15, 2025 at 11:17 PM
nothing personal, I'm just not interested in replies from strangers who go keyword searching for their favorite proglang
time to revisit this oldie-but-goodie, only for true doom proglang compile-phase heads: www.cs.cornell.edu/~asampson/bl...
Flattening ASTs (and Other Compiler Data Structures)
This is an introduction to data structure flattening, a special case of arena allocation that is a good fit for programming language implementations. We build a simple interpreter twice, the normal wa...
www.cs.cornell.edu
September 28, 2025 at 10:24 PM
time to revisit this oldie-but-goodie, only for true doom proglang compile-phase heads: www.cs.cornell.edu/~asampson/bl...
ruby 20 years ago: check out this quirky fun little proglang
ruby now: the web framework is run by a fascist and the package hosting team all got shit canned, have fun
ruby now: the web framework is run by a fascist and the package hosting team all got shit canned, have fun
September 19, 2025 at 11:49 AM
ruby 20 years ago: check out this quirky fun little proglang
ruby now: the web framework is run by a fascist and the package hosting team all got shit canned, have fun
ruby now: the web framework is run by a fascist and the package hosting team all got shit canned, have fun
A fun little effect system in a proglang sharing a name with the least possible score in judo
koka-lang.github.io/koka/doc/boo...
koka-lang.github.io/koka/doc/boo...
September 15, 2025 at 5:57 PM
A fun little effect system in a proglang sharing a name with the least possible score in judo
koka-lang.github.io/koka/doc/boo...
koka-lang.github.io/koka/doc/boo...
yeah sorry my hobby pursuits are all dumb proglang life-of-the-mind shit that is only subject to ITARS export control
September 9, 2025 at 4:35 PM
yeah sorry my hobby pursuits are all dumb proglang life-of-the-mind shit that is only subject to ITARS export control
ProgLang? Try Prog Band! They got digeridoos and shit.
September 3, 2025 at 1:55 AM
ProgLang? Try Prog Band! They got digeridoos and shit.
is ‘A Protected, Paintable Surface’ a new proglang i haven’t heard of? weird.
September 3, 2025 at 1:29 AM
is ‘A Protected, Paintable Surface’ a new proglang i haven’t heard of? weird.
E depois dizem que html não é proglang
September 2, 2025 at 10:39 PM
E depois dizem que html não é proglang
of all my "future of proglang" bets I think I was both most incorrect and most despondent about Elm.
bsky.app/profile/dana...
bsky.app/profile/dana...
is Elm effectively dead? i haven’t been paying attention and just now noticed last commits are very old. curious what happened there (i presume burnout but maybe there’s more to it?)
August 19, 2025 at 1:33 PM
of all my "future of proglang" bets I think I was both most incorrect and most despondent about Elm.
bsky.app/profile/dana...
bsky.app/profile/dana...
on pipelines, which in the future will be able to be compiled
3 - Nix is really unique as it enforces reproducibility, proglang-specific pkg manager don't function the same way, not even close
2/2
3 - Nix is really unique as it enforces reproducibility, proglang-specific pkg manager don't function the same way, not even close
2/2
August 2, 2025 at 11:59 AM
on pipelines, which in the future will be able to be compiled
3 - Nix is really unique as it enforces reproducibility, proglang-specific pkg manager don't function the same way, not even close
2/2
3 - Nix is really unique as it enforces reproducibility, proglang-specific pkg manager don't function the same way, not even close
2/2
Convex is hiring for full time eng in SF, if you want to build systems that are scaling let's chat! 3 days in person/week in Potrero, mostly systems stuff and services in Rust but knowing that proglang ahead of time isn't important.
Come work with me!
Come work with me!
July 24, 2025 at 6:53 PM
Convex is hiring for full time eng in SF, if you want to build systems that are scaling let's chat! 3 days in person/week in Potrero, mostly systems stuff and services in Rust but knowing that proglang ahead of time isn't important.
Come work with me!
Come work with me!
they get oneshot by the mathematical beauty of compsci in combination with it being more clearly practically useful. and they either become proglang/linux/etc. nerds and/or want to create God (i.e. AI or solve the halting problem, and the former is easier).
July 11, 2025 at 2:55 AM
they get oneshot by the mathematical beauty of compsci in combination with it being more clearly practically useful. and they either become proglang/linux/etc. nerds and/or want to create God (i.e. AI or solve the halting problem, and the former is easier).
learning golang I went in assuming the ethos was to make the lowest common denominator proglang and while that is true it seems like the more I learn and dig in the logic is really just "we don't want to make the compiler more complex" and reasoning for why this is Good, Actually is made up later
June 23, 2025 at 2:45 PM
learning golang I went in assuming the ethos was to make the lowest common denominator proglang and while that is true it seems like the more I learn and dig in the logic is really just "we don't want to make the compiler more complex" and reasoning for why this is Good, Actually is made up later
ok but that's not what a proof is. I have a toy proglang that's a logic engine combined with tracing such that it can print a tree of its calls and bindings to demonstrate how it produced all its outputs. this is a valid predicate logic machine and it is much faster than these things
June 13, 2025 at 11:03 PM
ok but that's not what a proof is. I have a toy proglang that's a logic engine combined with tracing such that it can print a tree of its calls and bindings to demonstrate how it produced all its outputs. this is a valid predicate logic machine and it is much faster than these things
Job ad 🧵 2/2
Quantinuum are looking for software engineer to help design and implement quantum programming languages. You need to have OPINIONS about types. Full-time, permanent, based in Cambridge in England.
#jobad #quantum #quantumcomputing #pl #proglang
jobs.eu.lever.co/quantinuum/6...
Quantinuum are looking for software engineer to help design and implement quantum programming languages. You need to have OPINIONS about types. Full-time, permanent, based in Cambridge in England.
#jobad #quantum #quantumcomputing #pl #proglang
jobs.eu.lever.co/quantinuum/6...
Quantinuum - Research Software Engineer - Quantum Error Correction
Quantinuum are hiring a research software engineer to work on compilation of fault-tolerant quantum software for the next generation of quantum computers. Quantum software relies on quantum error corr...
jobs.eu.lever.co
June 4, 2025 at 6:52 AM
Job ad 🧵 2/2
Quantinuum are looking for software engineer to help design and implement quantum programming languages. You need to have OPINIONS about types. Full-time, permanent, based in Cambridge in England.
#jobad #quantum #quantumcomputing #pl #proglang
jobs.eu.lever.co/quantinuum/6...
Quantinuum are looking for software engineer to help design and implement quantum programming languages. You need to have OPINIONS about types. Full-time, permanent, based in Cambridge in England.
#jobad #quantum #quantumcomputing #pl #proglang
jobs.eu.lever.co/quantinuum/6...
Aqui o rust é o diferentão, né?
Esse exemplo é um lambda NA LINGUAGEM AGNÓSTICA DE PROGLANG.
Closure nomeada em Python? Não faço ideia do que você está falando
Esse exemplo é um lambda NA LINGUAGEM AGNÓSTICA DE PROGLANG.
Closure nomeada em Python? Não faço ideia do que você está falando
May 12, 2025 at 3:50 AM
Aqui o rust é o diferentão, né?
Esse exemplo é um lambda NA LINGUAGEM AGNÓSTICA DE PROGLANG.
Closure nomeada em Python? Não faço ideia do que você está falando
Esse exemplo é um lambda NA LINGUAGEM AGNÓSTICA DE PROGLANG.
Closure nomeada em Python? Não faço ideia do que você está falando