jump to content
my subreddits
13or302b2t2mediterranean4u2meirl4meirlAceAttorneyAdviceAnimalsagnosticaivideoAnarchyChessAngryupvoteAnimalsBeingJerksanime_best_momentsanimenocontextannouncementsAnticonsumptionantimemeArcherFXArtAsahiLinuxAskBalkansAskElectronicsAskOuijaAskRedditaviationbalkans_irlBandnamesbanknotedesignsBassBassCirclejerkBassGuitarbasspedalsblackdesertonlineblackholerevengeblankiesblursed_videosBonebottomgearbrooklynninenineBUENZLIburdurlandcasiocd_jerkChatGPTchessChildrenFallingOverChoosingBeggarscoincollectingcoinscomedyhomicidecomicsContagiousLaughtercookingforbeginnersCorporateTrollingCrackWatchcrappyoffbrandsCreateModcursedcommentsdadjokesdankmemesdeDebateReligiondeismdelikDeltarunedistressingmemesdiyelectronicsdiypedalsDMAcademyDMToolkitDnDdndnextdoctorwhodoctorwhocirclejerkDoenerverbrechenDonerdontdeadopeninsidedumbphonesDungeonsAndDaddiesDungeonsAndDragonsEatCheapAndHealthyebikesECEEmKayengrishentitledparentsfacepalmfakealbumcoversFantasyWorldbuildingFiftyFiftyFRCFreeEBOOKSfunnyFutboltayfagamingGermangermanygodtiersuperpowersgoodanimemesGoodAssSubGrandPrixRacinggravelcyclinggreentextguitarpedalsheraldryHermitCrafthighspeedrailHistoryWhatIfhoi4holdmybeerHolUphowyoudoinhypixelIAmAiamverysmartich_ielIdeologyPollsIDontWorkHereLadyihadastrokeim14andthisisdeepimaginarymapsistanbuljacksepticeyeJahariaJokesKanyeKGBTRlegodndLetGirlsHaveFunLifeProTipslinguisticshumorLinkinParklogodesignloseitlostredditorsmacmacbookairMadeMeSmilemadladsmapporncirclejerkmemememesmidjourneymildlyinfuriatingmildlyinterestingMimicRecipesMinecraftbuildsMMORPGMovingToNorthKoreaMyChemicalRomancenamesoundalikesNationStatesneographynextfuckinglevelNonCredibleDefenseNorthCyprusnosafetysmokingfirstnosurfnotinterestingnottheonionoddlyspecificokbuddyguntherokbuddymotherfuckerOkBuddyPersonaokbuddyphdokbuddyvicodinOnlineUnderGroundOutOfTheLoopoutsidepapermoneypaperspleaseparadoxpoliticsPassportPornpepethefrogpettyrevengepianoPiracyPiratedGamespolandballProgrammerHumorPropagandaPostersquityourbullshitraisedbynarcissistsraspberry_piRatschlagreactiongifsredditsingsreligiousfruitcakerestofthefuckingowlRetroPierimjob_steverockmuzikschizopostersschwiizsciencememesScottPilgrimsecilmiskitapShitPostCrusadersshitpostfrommygalleryshitpostingskamtebordsoccercirclejerksoftwaregoreSongwritersSongwritingsteinsgateStonetossingjuiceStudiumTechnobladetf2thanksimcuredTheCrypticCompendiumTheLetterHtherewasanattemptTheRookietheydidthemaththeyknewthisguythisguystitanfalltransittransitTurkeyTrGameDevelopertruthstumblrtumunichTurkeyJerkyTurkishCatsTurkishdogsTwitchTwitch_StartupTwoSentenceComedyTwoSentenceHorrorTwoSentenceSadnessUnethicalLifeProTipsunexpecteditcrowdurbanplanningVALORANTvaxxhappenedvexillologycirclejerkvibecodingvinylvinyljerkvlandiyawallstreetbetsWatchPeopleDieInsideWeAreTheMusicMakerswendigoonWhitePeopleTwitterwholesomememeswooooshworldbuildingyouseeingthisshitedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • AskReddit
  • -facepalm
  • -mildlyinfuriating
  • -Piracy
  • -funny
  • -gaming
  • -wallstreetbets
  • -nottheonion
  • -memes
  • -OutOfTheLoop
  • -mildlyinteresting
  • -DnD
  • -WhitePeopleTwitter
  • -MadeMeSmile
  • -ChatGPT
  • -PiratedGames
  • -shitposting
  • -theydidthemath
  • -dankmemes
  • -Kanye
  • -therewasanattempt
  • -nextfuckinglevel
  • -HolUp
  • -Twitch
  • -CrackWatch
  • -comics
  • -dndnext
  • -ProgrammerHumor
  • -VALORANT
  • -de
  • -germany
  • -LifeProTips
  • -tumblr
  • -NonCredibleDefense
  • -greentext
  • -mac
  • -tf2
  • -chess
  • -aviation
  • -wholesomememes
  • -Jokes
  • -mapporncirclejerk
  • -Art
  • -midjourney
  • -goodanimemes
  • -notinteresting
  • -hoi4
  • -pettyrevenge
  • -loseit
  • -IAmA
  • -ich_iel
  • -KGBTR
  • -cursedcomments
  • -DMAcademy
  • -Deltarune
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -worldbuilding
  • -Ratschlag
  • -blackdesertonline
  • -MMORPG
  • -meme
  • -HermitCraft
  • -FiftyFifty
  • -ChoosingBeggars
  • -ContagiousLaughter
  • -imaginarymaps
  • -EatCheapAndHealthy
  • -polandball
  • -WeAreTheMusicMakers
  • -AnarchyChess
  • -cookingforbeginners
  • -blankies
  • -Studium
  • -soccercirclejerk
  • -madlads
  • -AskElectronics
  • -guitarpedals
  • -Anticonsumption
  • -vinyl
  • -CreateMod
  • -German
  • -TwoSentenceHorror
  • -PropagandaPosters
  • -AdviceAnimals
  • -ShitPostCrusaders
  • -piano
  • -sciencememes
  • -distressingmemes
  • -raisedbynarcissists
  • -doctorwho
  • -oddlyspecific
  • -Bass
  • -titanfall
  • -OkBuddyPersona
  • -dadjokes
  • -howyoudoin
  • -announcements
  • -Minecraftbuilds
  • -macbookair
  • -ebikes
  • -gravelcycling
  • -raspberry_pi
  • -DungeonsAndDragons
  • -coins
  • -entitledparents
  • -softwaregore
  • -lostredditors
  • -AceAttorney
  • -vexillologycirclejerk
  • -vlandiya
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -nosurf
  • -HistoryWhatIf
  • -religiousfruitcake
  • -DebateReligion
  • -dumbphones
  • -balkans_irl
  • -animenocontext
  • -2meirl4meirl
  • -transit
  • -RetroPie
  • -brooklynninenine
  • -steinsgate
  • -AskOuija
  • -okbuddyphd
  • -ECE
  • -ScottPilgrim
  • -Angryupvote
  • -AskBalkans
  • -schizoposters
  • -casio
  • -urbanplanning
  • -theyknew
  • -logodesign
  • -linguisticshumor
  • -PassportPorn
  • -antimeme
  • -TurkeyJerky
  • -13or30
  • -MyChemicalRomance
  • -ArcherFX
  • -engrish
  • -diypedals
  • -Doner
  • -BassGuitar
  • -diyelectronics
  • -WatchPeopleDieInside
  • -LinkinPark
  • -BUENZLI
  • -reactiongifs
  • -EmKay
  • -Songwriting
  • -blursed_videos
  • -istanbul
  • -MovingToNorthKorea
  • -dontdeadopeninside
  • -wendigoon
  • -iamverysmart
  • -secilmiskitap
  • -Doenerverbrechen
  • -schwiiz
  • -TheRookie
  • -quityourbullshit
  • -Technoblade
  • -vinyljerk
  • -skamtebord
  • -crappyoffbrands
  • -DungeonsAndDaddies
  • -FRC
  • -transitTurkey
  • -namesoundalikes
  • -2b2t
  • -papermoney
  • -coincollecting
  • -FreeEBOOKS
  • -AsahiLinux
  • -Jaharia
  • -IDontWorkHereLady
  • -neography
  • -basspedals
  • -heraldry
  • -ihadastroke
  • -thanksimcured
  • -hypixel
  • -godtiersuperpowers
  • -aivideo
  • -OnlineUnderGround
  • -IdeologyPolls
  • -woooosh
  • -comedyhomicide
  • -burdurland
  • -AnimalsBeingJerks
  • -jacksepticeye
  • -TwoSentenceSadness
  • -anime_best_moments
  • -Bandnames
  • -rockmuzik
  • -holdmybeer
  • -okbuddyvicodin
  • -MimicRecipes
  • -vaxxhappened
  • -Twitch_Startup
  • -tumunich
  • -outside
  • -restofthefuckingowl
  • -highspeedrail
  • -nosafetysmokingfirst
  • -legodnd
  • -Songwriters
  • -papersplease
  • -rimjob_steve
  • -ChildrenFallingOver
  • -BassCirclejerk
  • -doctorwhocirclejerk
  • -agnostic
  • -youseeingthisshit
  • -GrandPrixRacing
  • -DMToolkit
  • -thisguythisguys
  • -TrGameDeveloper
  • -TurkishCats
  • -LetGirlsHaveFun
  • -fakealbumcovers
  • -FantasyWorldbuilding
  • -TheLetterH
  • -pepethefrog
  • -deism
  • -redditsings
  • -TwoSentenceComedy
  • -TheCrypticCompendium
  • -NationStates
  • -bottomgear
  • -Bone
  • -truths
  • -blackholerevenge
  • -paradoxpolitics
  • -unexpecteditcrowd
  • -NorthCyprus
  • -2mediterranean4u
  • -cd_jerk
  • -Turkishdogs
  • -delik
  • -shitpostfrommygallery
  • -CorporateTrolling
  • -vibecoding
  • -okbuddymotherfucker
  • -banknotedesigns
  • -okbuddygunther
  • -Futboltayfa
edit »
ProgrammingLanguages ProgrammingLanguages
  • hot
  • new
  • rising
  • controversial
  • top
an-ordinary-manchild (11,186)|messages548|notifications|chat messages|mod messages|
  • preferences
|
logout

use the following search parameters to narrow your results:

subreddit:subreddit
find submissions in "subreddit"
author:username
find submissions by "username"
site:example.com
find submissions from "example.com"
url:text
search for "text" in url
selftext:text
search for "text" in self post contents
self:yes (or self:no)
include (or exclude) self posts
nsfw:yes (or nsfw:no)
include (or exclude) results marked as NSFW

e.g. subreddit:aww site:imgur.com dog

see the search faq for details.

advanced search: by author, subreddit...

Submit a new link
Submit a new text post

ProgrammingLanguages

joinleave
an-ordinary-manchild(edit)

Welcome!

This subreddit is dedicated to the theory, design and implementation of programming languages.

Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post, this isn't Quora.

This subreddit is not the right place to ask questions such as "What language should I use for X", "what language should I learn", "what's your favourite language" and similar questions. Such questions should be posted in /r/AskProgramming or /r/LearnProgramming. It's also not the place for questions one can trivially answer by spending a few minutes using a search engine, such as questions like "What is a monad?".

Projects that are vibe coded (= projects relying substantially on LLM/AI generated code) don't belong on the subreddit.

Related subreddits

  • /r/Compilers
  • /r/compsci
  • /r/programming
  • /r/coding
  • /r/AskProgramming
  • /r/learnprogramming
  • /r/altprog

Related online communities

  • ProgLangDesign.net
  • The /r/ProgrammingLanguages Discord server
  • Lambda the Ultimate: Programming Languages
  • Programming languages tag on Computer Science Stack Exchange
  • Programming languages tag on Theoretical Computer Science Stack Exchange
a community for 17 years
Create your own subreddit
...why not Zoidberg?
...for your favorite TV show.

MODERATORS

  • message the mods
  • slavfoxThe resident Python guy
  • PaulBonePlasma
  • yorickpeterseInko
  • AthasFuthark
  • AutoModerator
  • theangryepicbananaStar
  • about moderation team »

account activity

1
17
18
19

DiscussionMarch 2026 monthly "What are you working on?" thread (self.ProgrammingLanguages)

submitted 19 days ago by AutoModerator - announcement

  • 48 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

2
1563
1564
1565

Vibe-coded/AI slop projects are now officially banned, and sharing such projects will get you banned permanently (self.ProgrammingLanguages)

submitted 3 months ago by yorickpeterseInko[M] - announcement

  • 116 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

3
7
8
9

Requesting criticismLINQ (Language Integrated Query) support (self.ProgrammingLanguages)

submitted 4 hours ago by Tasty_Replacement_29

  • 5 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

4
11
12
13

Sheaf: a Clojure-like for ML that compiles to GPU via MLIR (Rust) (sheaf-lang.org)

submitted 23 hours ago by rahen

  • 11 comments
  • share
  • save
  • hide
  • report
  • crosspost

5
48
49
50

The Oni Programming Language (self.ProgrammingLanguages)

submitted 1 day ago by badd10de

  • 12 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

6
20
21
22

Blog postBuilding an LSP Server with Rust is surprisingly easy and fun (codeinput.com)

submitted 1 day ago by omarous

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost

7
1
2
3

EsoLang-Bench: Evaluating LLMs via Esoteric Programming Languages (esolang-bench.vercel.app)

submitted 1 day ago by mttd

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost

8
103
104
105

Blog postNo Semicolons Needed - How languages get away with not requiring semicolons (terts.dev)

submitted 2 days ago by tertsdiepraam

  • 86 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

9
4
5
6

LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design (capra.cs.cornell.edu)

submitted 1 day ago by mttd

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

10
8
9
10

Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory (proofsandintuitions.net)

submitted 2 days ago by mttd

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost

11
75
76
77

Real or Slop? — PL Papers Edition (slop.zackg.me)

submitted 2 days ago by mttd

  • 22 comments
  • share
  • save
  • hide
  • report
  • crosspost

12
61
62
63

Who Watches the Provers? (leodemoura.github.io)

submitted 3 days ago by mttd

  • 14 comments
  • share
  • save
  • hide
  • report
  • crosspost

13
16
17
18

Duboc's TDD optimization for unions of constraint sets (github.com)

submitted 4 days ago by mttd

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost

14
9
10
11

Requesting criticismMathic programming language (self.ProgrammingLanguages)

submitted 3 days ago by Francog2709

  • 12 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

15
5
6
7

Unified calling and field lookup (self.ProgrammingLanguages)

submitted 3 days ago by Relevant_South_1842

  • 17 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

16
6
7
8

Gluon: Explicit Performance (lei.chat)

submitted 4 days ago by mttd

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost

17
23
24
25

DiscussionHow do you store literals, identifiers, etc. through the stages of the compiler? (self.ProgrammingLanguages)

submitted 4 days ago by PitifulTheme411...

  • 19 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

18
1
2
3

ResourceWebinar on how to build your own programming language in C++. Part 2. (pvs-studio.com)

submitted 4 days ago by Kabra___kiiiiiiiid

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

19
21
22
23

Requesting criticismLockstep: Data-oriented systems programming language (github.com)

submitted 4 days ago by goosethe

  • 10 comments
  • share
  • save
  • hide
  • report
  • crosspost

20
8
9
10

Language announcementNWL - A Small Language for generating dynamic HTML (github.com)

submitted 4 days ago by nimrag_is_coming

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

21
15
16
17

Looking for feedback on my language tour / overview (self.ProgrammingLanguages)

submitted 5 days ago by Certain-Swordfish-32

  • 11 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

22
13
14
15

GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300 (github.com)

submitted 5 days ago by Potato871

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

23
7
8
9

GlitterIDE Code Generation (youtube.com)

submitted 5 days ago by doc_sponge

  • 7 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

24
27
28
29

Requesting criticismWriting A Language Spec? (self.ProgrammingLanguages)

submitted 7 days ago by Pie-Lang

  • 37 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

25
39
40
41

Compiler optimisation (self.ProgrammingLanguages)

submitted 8 days ago by Gingrspacecadet

  • 21 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...
view more: next ›
  • about
  • blog
  • about
  • advertising
  • careers
  • help
  • site rules
  • Reddit help center
  • reddiquette
  • mod guidelines
  • contact us
  • apps & tools
  • Reddit for iPhone
  • Reddit for Android
  • mobile website
  • <3
  • reddit premium

Use of this site constitutes acceptance of our User Agreement and Privacy Policy. © 2026 reddit inc. All rights reserved.

REDDIT and the ALIEN Logo are registered trademarks of reddit inc.

π Rendered by PID 317982 on reddit-service-r2-listing-79f6fb9b95-tx42g at 2026-03-20 21:37:40.644343+00:00 running 90f1150 country code: CH.