Tell me who to add to this #ProgrammingLanguages go.bsky.app/KPyf9X8
November 15, 2024 at 3:22 PM
Tell me who to add to this #ProgrammingLanguages go.bsky.app/KPyf9X8
I genuinely do hate the r/programminglanguages mods
Some of the most annoying and pedantic twits in existence.
Not a single one of my blog posts in the past two years has passed their watchful gaze
If you know who they are, tell them to go fuck themselves.
Some of the most annoying and pedantic twits in existence.
Not a single one of my blog posts in the past two years has passed their watchful gaze
If you know who they are, tell them to go fuck themselves.
April 7, 2026 at 11:49 AM
I genuinely do hate the r/programminglanguages mods
Some of the most annoying and pedantic twits in existence.
Not a single one of my blog posts in the past two years has passed their watchful gaze
If you know who they are, tell them to go fuck themselves.
Some of the most annoying and pedantic twits in existence.
Not a single one of my blog posts in the past two years has passed their watchful gaze
If you know who they are, tell them to go fuck themselves.
Incredibly grateful to @sigplan.bsky.social and @sigplan-pldi.bsky.social for awarding #LeanLang the Programming Languages Software Award 2025 at #PLDI2025!
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
June 20, 2025 at 4:04 AM
Incredibly grateful to @sigplan.bsky.social and @sigplan-pldi.bsky.social for awarding #LeanLang the Programming Languages Software Award 2025 at #PLDI2025!
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
Agora que vi que eu falei desse post no meu cafezinho de hoje.
Gravei na quinta e não lembrava. Vão me crucificar
www.linkedin.com/posts/associ...
Gravei na quinta e não lembrava. Vão me crucificar
www.linkedin.com/posts/associ...
#pythons #acmturingaward #programminglanguages #programmer | ACM, Association for Computing Machinery
What's wrong with #Pythons?
Find out from ACM Turing Laureate Barbara Liskov's conversation with Ryan Peterman: https://buff.ly/zdfJ6NC
#ACMTuringAward #programminglanguages #programmer
www.linkedin.com
September 21, 2026 at 6:45 PM
Agora que vi que eu falei desse post no meu cafezinho de hoje.
Gravei na quinta e não lembrava. Vão me crucificar
www.linkedin.com/posts/associ...
Gravei na quinta e não lembrava. Vão me crucificar
www.linkedin.com/posts/associ...
New blog post: How to (actually) prove it #Lean4 #LeanProver #Lean #ProgrammingLanguages
kirancodes.me/posts/log-ho...
kirancodes.me/posts/log-ho...
May 9, 2025 at 1:03 AM
New blog post: How to (actually) prove it #Lean4 #LeanProver #Lean #ProgrammingLanguages
kirancodes.me/posts/log-ho...
kirancodes.me/posts/log-ho...
Modern Object Pascal Introduction for Programmers – Castle Game Engine
Discussion | hackernews | Author: birdculture
#ProgrammingLanguages
Discussion | hackernews | Author: birdculture
#ProgrammingLanguages
Modern Object Pascal Introduction for Programmers – Castle Game Engine
Modern Object Pascal Introduction: units, classes, generics, memory management, exceptions and more.
castle-engine.io
September 24, 2026 at 12:16 PM
Modern Object Pascal Introduction for Programmers – Castle Game Engine
Discussion | hackernews | Author: birdculture
#ProgrammingLanguages
Discussion | hackernews | Author: birdculture
#ProgrammingLanguages
The /r/ProgrammingLanguages has a discord that's gonna love this one.
March 13, 2025 at 6:22 AM
The /r/ProgrammingLanguages has a discord that's gonna love this one.
Ditto marks in code, to repeat part of the previous line www.reddit.com/r/Programmin...
From the ProgrammingLanguages community on Reddit
Explore this post and more from the ProgrammingLanguages community
www.reddit.com
December 3, 2025 at 4:16 AM
Ditto marks in code, to repeat part of the previous line www.reddit.com/r/Programmin...
What programming systems have semantic space and positioning #ProgrammingLanguages
November 24, 2024 at 4:35 AM
What programming systems have semantic space and positioning #ProgrammingLanguages
First blog post in a long long time~ some brief musings on my experiences learning Clojure coming from OCaml!!
I know I have a few OCaml/Clojure-ers following me, so I'd love to hear your opinions on this!!
kirancodes.me/posts/log-da...
#Clojure #OCaml #FunctionalProgramming #ProgrammingLanguages
I know I have a few OCaml/Clojure-ers following me, so I'd love to hear your opinions on this!!
kirancodes.me/posts/log-da...
#Clojure #OCaml #FunctionalProgramming #ProgrammingLanguages
Functional vs Data-Driven development: a Case-Study in Clojure & OCaml
kirancodes.me
March 8, 2025 at 4:31 AM
First blog post in a long long time~ some brief musings on my experiences learning Clojure coming from OCaml!!
I know I have a few OCaml/Clojure-ers following me, so I'd love to hear your opinions on this!!
kirancodes.me/posts/log-da...
#Clojure #OCaml #FunctionalProgramming #ProgrammingLanguages
I know I have a few OCaml/Clojure-ers following me, so I'd love to hear your opinions on this!!
kirancodes.me/posts/log-da...
#Clojure #OCaml #FunctionalProgramming #ProgrammingLanguages
How Did It Get Here
#programming #java #debugging #Programminglanguages #Refactoring
https://programmerhumor.io/debugging-memes/how-did-it-get-here-bsbq
#programming #java #debugging #Programminglanguages #Refactoring
https://programmerhumor.io/debugging-memes/how-did-it-get-here-bsbq
September 24, 2026 at 4:07 PM
is it just me or has r/ProgrammingLanguages gotten significantly worse?
it's always been a lot of "what if we used +-* instead of =" and i haven't been actually active on there in years but I feel like there at least used to be the occasional interesting post or link to a good blog post?
it's always been a lot of "what if we used +-* instead of =" and i haven't been actually active on there in years but I feel like there at least used to be the occasional interesting post or link to a good blog post?
May 24, 2025 at 9:45 AM
is it just me or has r/ProgrammingLanguages gotten significantly worse?
it's always been a lot of "what if we used +-* instead of =" and i haven't been actually active on there in years but I feel like there at least used to be the occasional interesting post or link to a good blog post?
it's always been a lot of "what if we used +-* instead of =" and i haven't been actually active on there in years but I feel like there at least used to be the occasional interesting post or link to a good blog post?
I Don't Care
blainsmith.com/articles/i-d...
#AI #ProgrammingLanguages #ProjectManagement #BigTech #SaaS
blainsmith.com/articles/i-d...
#AI #ProgrammingLanguages #ProjectManagement #BigTech #SaaS
I Don't Care - Blain Smith
blainsmith.com
October 28, 2025 at 2:57 PM
Moving With The Times
#programming #Programminglanguages #Programminghumor #Techhumor #Gamedevelopment
https://programmerhumor.io/csharp-memes/moving-with-the-times-8sss
#programming #Programminglanguages #Programminghumor #Techhumor #Gamedevelopment
https://programmerhumor.io/csharp-memes/moving-with-the-times-8sss
March 28, 2025 at 2:56 AM
Is PHP still relevant in 2025?
accesto.com/blog/is-php-... #php #code #webdevelopment #programming #ProgrammingLanguages
accesto.com/blog/is-php-... #php #code #webdevelopment #programming #ProgrammingLanguages
Is PHP still relevant in 2025? | Accesto Blog
Yes, it is. Period. End of article 😉 Source: isphpstillrelevant.com
accesto.com
May 23, 2025 at 6:49 PM
Is PHP still relevant in 2025?
accesto.com/blog/is-php-... #php #code #webdevelopment #programming #ProgrammingLanguages
accesto.com/blog/is-php-... #php #code #webdevelopment #programming #ProgrammingLanguages
Well, this seems as good a time as any to post that I am seeking PhD students to join my research group in Regina, Canada.
I work on making dependently typed programming languages easier to use...
#typetheory #pl #plt #programminglanguages #agda #idris #lean #rocq #dependenttypes #cs #phd
I work on making dependently typed programming languages easier to use...
#typetheory #pl #plt #programminglanguages #agda #idris #lean #rocq #dependenttypes #cs #phd
January 28, 2025 at 5:26 AM
Well, this seems as good a time as any to post that I am seeking PhD students to join my research group in Regina, Canada.
I work on making dependently typed programming languages easier to use...
#typetheory #pl #plt #programminglanguages #agda #idris #lean #rocq #dependenttypes #cs #phd
I work on making dependently typed programming languages easier to use...
#typetheory #pl #plt #programminglanguages #agda #idris #lean #rocq #dependenttypes #cs #phd
Don't Come Any Closer
#programming #frontend #javascript #Programminglanguages #Languagewars
https://programmerhumor.io/javascript-memes/dont-come-any-closer-toxp
#programming #frontend #javascript #Programminglanguages #Languagewars
https://programmerhumor.io/javascript-memes/dont-come-any-closer-toxp
September 16, 2026 at 7:49 AM
browsing r/programminglanguages posts kinda depresses me, bcs it feels like all of these hobby langs are really repetitive
most posts are like author's favourite lang + slight syntax variation, it's never like exploring new spots in the design space
it's all been done before
most posts are like author's favourite lang + slight syntax variation, it's never like exploring new spots in the design space
it's all been done before
April 21, 2025 at 3:55 PM
browsing r/programminglanguages posts kinda depresses me, bcs it feels like all of these hobby langs are really repetitive
most posts are like author's favourite lang + slight syntax variation, it's never like exploring new spots in the design space
it's all been done before
most posts are like author's favourite lang + slight syntax variation, it's never like exploring new spots in the design space
it's all been done before
Don't Ask Them To Help You With Garry's Mod
#programming #Developerhumor #Programminglanguages #Gamedev #Scripting
https://programmerhumor.io/gamedev-memes/dont-ask-them-to-help-you-with-garrys-mod-nzhx
#programming #Developerhumor #Programminglanguages #Gamedev #Scripting
https://programmerhumor.io/gamedev-memes/dont-ask-them-to-help-you-with-garrys-mod-nzhx
May 13, 2026 at 1:25 PM
Don't Ask Them To Help You With Garry's Mod
#programming #Developerhumor #Programminglanguages #Gamedev #Scripting
https://programmerhumor.io/gamedev-memes/dont-ask-them-to-help-you-with-garrys-mod-nzhx
#programming #Developerhumor #Programminglanguages #Gamedev #Scripting
https://programmerhumor.io/gamedev-memes/dont-ask-them-to-help-you-with-garrys-mod-nzhx
Good One
#programming #python #Programminglanguages #Languagewars #Programminghumor
https://programmerhumor.io/python-memes/good-one-katm
#programming #python #Programminglanguages #Languagewars #Programminghumor
https://programmerhumor.io/python-memes/good-one-katm
May 16, 2026 at 1:14 PM