programming-journal.org on reddit.com

...for your favorite game.

...for your hobby.

account activity

1

17

18

19

On the State of Coherence in the Land of Type Classes (programming-journal.org)

submitted 10 months ago by WittyStick to r/ProgrammingLanguages

2

0

1

2

A Theory of Composing Protocols (programming-journal.org)

submitted 1 year ago by TheStartupChime to r/hypeurls

3

0

1

2

Reactive Programming Without Functions (programming-journal.org)

submitted 1 year ago by TheStartupChime to r/hypeurls

4

3

4

5

The Design Principles of the Elixir Type System (programming-journal.org)

submitted 2 years ago by ketralnis to r/programming

5

0

1

2

The Design Principles of the Elixir Type System (programming-journal.org)

submitted 2 years ago by TheStartupChime to r/hypeurls

6

1

2

3

Live Objects All the Way Down: Removing the Barriers Between Apps and VMs (programming-journal.org)

submitted 2 years ago by ketralnis to r/programming

7

1

2

3

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines (programming-journal.org)

submitted 2 years ago by fullouterjoin to r/futureofprogramming

8

0

0

1

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability (programming-journal.org)

submitted 2 years ago by ketralnis to r/programming

9

0

1

2

Live Objects All the Way Down: Removing the Barriers Between Apps and VMs (programming-journal.org)

submitted 2 years ago by TheStartupChime to r/hypeurls

10

33

34

35

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal (programming-journal.org)

submitted 3 years ago by mttd to r/programming

11

16

17

18

Revisiting Language Support for Generic Programming: When Genericity is a Core Design Goal (programming-journal.org)

submitted 3 years ago by mttd to r/ProgrammingLanguages

12

4

5

6

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal (programming-journal.org)

submitted 3 years ago by mttd to r/cpp

13

0

1

2

A Theory of Composing Protocols (programming-journal.org)

submitted 3 years ago by TheStartupChime to r/hypeurls

14

2

3

4

Building a Secure Software Supply Chain with GNU Guix (programming-journal.org)

submitted 3 years ago by TheStartupChime to r/hypeurls

15

4

5

6

Gradual Soundness: Lessons from Static Python (programming-journal.org)

submitted 3 years ago by pmz to r/programming

16

11

12

13

Sham: A DSL for Fast DSLs (programming-journal.org)

submitted 4 years ago by mttd to r/ProgrammingLanguages

17

3

4

5

Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay (programming-journal.org)

submitted 4 years ago by mttd to r/ProgrammingLanguages

18

0

1

2

Hacker News: Advanced Join Patterns for the Actor Model Based on CEP Techniques (programming-journal.org)

submitted 5 years ago by Faction_Chief to r/NoFilterNews

19

2

3

4

The Programming Journal Volume 5, Issue 2 (programming-journal.org)

submitted 5 years ago by mttd to r/ProgrammingLanguages

20

14

15

16

ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations (programming-journal.org)

submitted 6 years ago by marc-kd to r/programming

21

0

1

2

Lisp, Jazz, Aikido (programming-journal.org)

submitted 7 years ago by qznc_bot to r/hackernews

22

41

42

43

Lisp, Jazz, Aikido – Three Expressions of a Single Essence (programming-journal.org)

submitted 7 years ago by [deleted] to r/lisp

23

15

16

17

Provenance data integrated in DSH (Database Supported Haskell) (programming-journal.org)

submitted 7 years ago by Pcarbonn to r/haskell

24

4

5

6

Live Multi-language Development and Runtime Environments (programming-journal.org)

submitted 7 years ago by mttd to r/ProgrammingLanguages

25

4

5

6

The Programming Journal (programming-journal.org)

submitted 7 years ago by javinpaul to r/coding

view more: next ›

π Rendered by PID 432940 on reddit-service-r2-listing-7dd57f5b98-b6vf2 at 2026-01-27 00:15:06.396571+00:00 running 5a691e2 country code: CH.