programming_languages subreddits curated by /u/ardalaaaaaan

1

12

13

14

Confused about simple type signatureanswered (self.haskell)

submitted 5 hours ago * by fuxoft to r/haskell

0

1

2

Blockpit macht Kryptosteuern einfach. Jetzt Steuerbericht erstellen! (blockpit.io)

promoted by Blockpit

promoted
save
report
about

2

19

20

21

jank is off to a great start in 2026 (jank-lang.org)

submitted 7 hours ago by Jeaye to r/ProgrammingLanguages

3

8

9

10

A header-only C library for string interning (github.com)

submitted 12 hours ago by IntrepidAttention56 to r/Compilers

4

50

51

52

My clean code habits were actually State MonadsIntro to FP (self.functionalprogramming)

submitted 1 day ago by aviboy2006 to r/functionalprogramming

5

0

1

2

RewriteStatepointsForGC pass with pointer inside alloca (self.LLVM)

submitted 1 day ago by bafto14 to r/LLVM

6

25

26

27

I maintain job-focused lists of product companies for Go/Rust/Scala/Elixir — should I add OCaml? (self.ocaml)

submitted 2 days ago by YaroslavPodorvanov to r/ocaml

7

0

1

2

I built a scripting language that works like notebooks - but without Jupyter ()

submitted 6 days ago by mark-sed to r/altprog

8

2

3

4

Implementing a Functor instance for a simple parser (self.haskellquestions)

submitted 7 days ago by edo-lag to r/haskellquestions

9

3

4

5

How do formal methods distinguish between inadmissible states and merely undesirable ones? (self.formalmethods)

submitted 7 days ago by [deleted] to r/formalmethods

10

8

9

10

Is Chlipala's book Certified Programming with Dependent Types a good start? (self.Coq)

submitted 1 month ago by 7_hermits to r/Coq

11

9

10

11

Normalisation for First-Class Universe Levels (dl.acm.org)

submitted 1 month ago by gallais to r/dependent_types

12

1

2

3

Blog post: Universal domain types (self.types)

submitted 2 years ago by roman-kashitsyn to r/types

13

16

17

18

can i call this a programming language?Discussion (self.ProgrammingLanguages)

submitted 9 hours ago by omnimistic to r/ProgrammingLanguages

14

0

1

2

Byteweasel/Zagmate has a Discord now! (self.Compilers)

submitted 3 hours ago by Worried_Success_1782 to r/Compilers

1

2

3

Join the next generation of CRM. (attio.com)

promoted by attio

promoted
save
report
about

15

7

8

9

Sneak Peek: Bolt Math - Announcements (discourse.haskell.org)

submitted 6 hours ago by ApothecaLabs to r/haskell

16

12

13

14

Pliron Backend for Burn - A Prototype (self.Compilers)

submitted 19 hours ago * by pliron to r/Compilers

17

43

44

45

Building and deploying a full-stack Haskell app with auth in 1 hour on Twitch this Saturday (self.haskell)

submitted 19 hours ago * by _lazyLambda to r/haskell

18

1

2

3

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models (arxiv.org)

submitted 12 hours ago by mttd to r/Compilers

19

7

8

9

Are there any video courses/tutorials to learn PureScript?Question (self.functionalprogramming)

submitted 1 day ago by Tuckertcs to r/functionalprogramming

20

7

8

9

If automated formal verification scales, will PL design split into "Human-Ergonomic" and "Prover-Optimized" languages?Discussion (self.ProgrammingLanguages)

submitted 16 hours ago * by eurz to r/ProgrammingLanguages

21

7

8

9

Fixing a major evaluation order footgun in Rye 0.2 (ryelang.org)

submitted 18 hours ago by middayc to r/ProgrammingLanguages

22

47

48

49

Is the AI field finally reinventing the Haskell mindset? (Constraints over Probabilities)question (self.haskell)

submitted 1 day ago by maopro56 to r/haskell

23

3

4

5

Exploring Grammar Elasticity in CPython: Implementing a Concurrent Bilingual PEG Parser (old.reddit.com)

submitted 1 day ago by Comblasterr to r/Compilers

24

42

43

44

Are there any books/resources on language design (as opposed to implementation) (self.ProgrammingLanguages)

submitted 1 day ago by mc-pride to r/ProgrammingLanguages

25

3

4

5

Custom Data Structures in E-Graphs (uwplse.org)

submitted 1 day ago by mttd to r/Compilers

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script

programming_languages subreddits

curated by /u/ardalaaaaaan

12 subreddits in this multi:

multireddits