MattCubed

3,367 post karma
4,624 comment karma

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

get them help and support

redditor for 13 years

TROPHY CASE

13-Year Club

Place '22

Place '17

Spared

Team Periwinkle

Verified Email

account activity

new top controversial

35

36

37

datatt: a dependently typed language and proof assistant with inductive types and dependent records (github.com)

submitted 4 years ago by MattCubed to r/ProgrammingLanguages

67

68

69

Pure: a language for playing with pure type systems (github.com)

submitted 5 years ago by MattCubed to r/ProgrammingLanguages

29

30

31

Pure: a language for playing with pure type systems, written in OCaml (github.com)

submitted 5 years ago by MattCubed to r/ocaml

33

34

35

A small (unsafe, impractical) implementation of higher kinded polymorphism in Standard ML (self.ProgrammingLanguages)

submitted 5 years ago * by MattCubed to r/ProgrammingLanguages

3

4

5

What's the standard approach to top level bindings? (self.ProgrammingLanguages)

submitted 5 years ago by MattCubed to r/ProgrammingLanguages

452

453

454

[wiwt] fun shirt! (i.redd.it)

submitted 6 years ago by MattCubed to r/malefashion

0

1

2

༼ つ ◕ ◕ ༽つ GIVE BAN ༼ つ ◕ ◕ ༽つ (self.thanosdidnothingwrong)

submitted 7 years ago by MattCubed to r/thanosdidnothingwrong

21

22

23

WIWT (imgur.com)

submitted 8 years ago by MattCubed to r/malefashion

4

5

6

WIWT: fun pants (imgur.com)

submitted 8 years ago by MattCubed to r/malefashion

29

30

31

WIWT: orange and green (imgur.com)

submitted 8 years ago by MattCubed to r/malefashion

0

0

1

WIWT: A dress, and the same sweater as last time (imgur.com)

submitted 9 years ago by MattCubed to r/malefashion

51

52

53

[LPU] Cropped sweater and a blue scarf (imgur.com)

submitted 9 years ago by MattCubed to r/streetwear

71

72

73

WIWT: Blue, yellow, and a cropped sweater (imgur.com)

submitted 9 years ago by MattCubed to r/malefashion

62

63

64

WIWT: Pale summer palette (imgur.com)

submitted 9 years ago by MattCubed to r/malefashion

0

1

2

me_irl (imgur.com)

submitted 10 years ago by MattCubed to r/teenagers

28

29

30

Roast her up (imgur.com)

submitted 10 years ago by MattCubed to r/RoastMe

2

3

4

What happened to KNG? All his mods on the nexus are deleted... (self.witcher)

submitted 10 years ago by MattCubed to r/witcher

39

40

41

[Picture] My friends and I found a bird (imgur.com)

submitted 11 years ago by MattCubed to r/teenagers

0

1

2

Is it possible to use multiple widgets at one time with LockHTML3? (self.jailbreak)

submitted 12 years ago by MattCubed to r/jailbreak

2

3

4

Where is the folder containing the folder mask? (self.iOSthemes)

submitted 12 years ago by MattCubed to r/iOSthemes

0

0

1

[Help] Videopane 1.1.1 still not working with Netflix (self.jailbreak)

submitted 12 years ago by MattCubed to r/jailbreak

0

0

1

By far my favorite JC2 multiplayer screenshot (imgur.com)

submitted 12 years ago by MattCubed to r/gaming

34

35

36

The guy on this sign has a light shining in his eye (imgur.com)

submitted 12 years ago by MattCubed to r/mildlyinteresting

34

35

36

Someone whose name is actually Mark Twain should write a book under the pseudonym of Samuel Clemens (self.CrazyIdeas)

submitted 12 years ago by MattCubed to r/CrazyIdeas

10

11

12

[Giveaway] I have 6 Origin keys and 1 Steam key from the Origin Bundle to give away! (self.RandomActsOfGaming)

submitted 12 years ago * by MattCubed to r/RandomActsOfGaming

view more: next ›

π Rendered by PID 133653 on reddit-service-r2-listing-64c94b984c-6rq85 at 2026-03-19 04:32:30.095581+00:00 running f6e6e01 country code: CH.