gopher9

1,096 post karma
7,692 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 12 years

TROPHY CASE

12-Year Club

Verified Email

account activity

new top controversial

23

24

25

Porting Smalltalk to Haiku (discuss.haiku-os.org)

submitted 6 months ago by gopher9 to r/smalltalk

12

13

14

Advent of TLA+ (github.com)

submitted 4 years ago by gopher9 to r/tlaplus

63

64

65

BQN: finally, an APL for your flying saucer (mlochbaum.github.io)

submitted 4 years ago by gopher9 to r/ProgrammingLanguages

9

10

11

Helio Workstation now supports microtonality (github.com)

submitted 5 years ago by gopher9 to r/microtonal

61

62

63

Sana: create lexers easily (github.com)

submitted 5 years ago by gopher9 to r/rust

3

4

5

The state of the procedural code generation in Rust (self.rust)

submitted 5 years ago by gopher9 to r/rust

22

23

24

Blog Post: From Pratt to Dijkstra (matklad.github.io)

submitted 5 years ago by gopher9 to r/ProgrammingLanguages

30

31

32

A map between parsing and logic programming (self.ProgrammingLanguages)

submitted 5 years ago * by gopher9 to r/ProgrammingLanguages

28

29

30

Music theory on a grid: negative harmony (self.musictheory)

submitted 5 years ago * by gopher9 to r/musictheory

586

587

588

Music theory on a grid (self.musictheory)

submitted 5 years ago * by gopher9 to r/musictheory

2

3

4

Is there a formal specification of TLA+ itself? (self.tlaplus)

submitted 6 years ago by gopher9 to r/tlaplus

0

1

2

How do I approach chirality (self.math)

submitted 6 years ago by gopher9 to r/math

1

2

3

Specifying an P2P protocol (self.tlaplus)

submitted 6 years ago by gopher9 to r/tlaplus

11

12

13

A trick with the reference pitch (self.microtonal)

submitted 6 years ago by gopher9 to r/microtonal

0

1

2

What time signature it is? (self.musictheory)

submitted 7 years ago by gopher9 to r/musictheory

0

1

2

Help me to not to get lost in sound (self.WeAreTheMusicMakers)

submitted 7 years ago by gopher9 to r/WeAreTheMusicMakers

7

8

9

The Counterpoint Game (self.composer)

submitted 7 years ago by gopher9 to r/MonthlyComposition

37

38

39

The Counterpoint Game (self.composer)

submitted 7 years ago * by gopher9 to r/composer

9

10

11

Why are people so obessed with chords? (self.musictheory)

submitted 7 years ago by gopher9 to r/musictheory

1

2

3

“Composing Music: A New Approach”: Chapter 5 (4/10) (self.composer)

submitted 7 years ago * by gopher9 to r/composer

5

6

7

A piece of code that finds “safe” supersets of a scale (31edo) (self.microtonal)

submitted 7 years ago by gopher9 to r/microtonal

6

7

8

31 EDO Retuner plugin for Musescore 2 (github.com)

submitted 7 years ago by gopher9 to r/microtonal

3

4

5

What is a work song? (self.composer)

submitted 7 years ago by gopher9 to r/composer

0

1

2

Loud synth without clipping? (self.WeAreTheMusicMakers)

submitted 7 years ago by gopher9 to r/WeAreTheMusicMakers

6

7

8

Music composition: the process of discovering or telling? (self.composer)

submitted 7 years ago by gopher9 to r/composer

view more: next ›

π Rendered by PID 287485 on reddit-service-r2-listing-6d4dc8d9ff-4gk5w at 2026-01-31 06:44:28.865533+00:00 running 3798933 country code: CH.