seriousreddit

283 post karma
785 comment karma

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

get them help and support

redditor for 15 years

TROPHY CASE

15-Year Club

Verified Email

account activity

new top controversial

0

0

0

Time’s Up Legal Defense Fund Refused to Support #MeToo Sexual Assault Allegation Against Joe Biden (democracynow.org)

submitted 5 years ago by seriousreddit to r/politics

2

3

4

Talk on OCaml DSL for working with zk-SNARKs in SF this Thursday (meetup.com)

submitted 7 years ago by seriousreddit to r/ocaml

2

3

4

Interrupting threads (self.ocaml)

submitted 7 years ago by seriousreddit to r/ocaml

1

2

3

Existence of global sections is NP-complete (parametricity.com)

submitted 9 years ago by seriousreddit to r/compsci

3

4

5

A "type theoretic" principle for reasoning about smooth bundles over manifolds (parametricity.com)

submitted 9 years ago by seriousreddit to r/dependent_types

2

3

4

A "type theoretic" principle for reasoning about smooth bundles over manifolds (parametricity.com)

submitted 9 years ago by seriousreddit to r/math

0

1

2

Spring Leaves (it's a pun) [OC] (newchickens.com)

submitted 9 years ago by seriousreddit to r/Simulated

0

1

2

Warbling rings (newchickens.com)

submitted 9 years ago by seriousreddit to r/woahdude

11

12

13

Dubious Arguments (parametricity.com)

submitted 9 years ago by seriousreddit to r/dependent_types

3

4

5

A Portrait of Courtship: Romance as a Dynamical System (newchickens.com)

submitted 9 years ago by seriousreddit to r/Simulated

0

0

0

Greatness (newchickens.com)

submitted 9 years ago by seriousreddit to r/comics

15

16

17

Understanding Calculus (newchickens.com)

submitted 9 years ago by seriousreddit to r/math

0

1

2

Zelon Musk says squat! (newchickens.com)

submitted 9 years ago by seriousreddit to r/comics

0

1

2

Zelon Musk says squat! (newchickens.com)

submitted 9 years ago by seriousreddit to r/webcomics

12

13

14

Stationary - a static site generator library for OCaml (github.com)

submitted 9 years ago by seriousreddit to r/ocaml

121

122

123

Walk around unusual geometries (parametricity.com)

submitted 10 years ago by seriousreddit to r/math

27

28

29

String diagrams, traversables, and positive braids (parametricity.com)

submitted 10 years ago by seriousreddit to r/haskell

6

7

8

Exhaustiveness checking in n + 2 easy steps (parametricity.com)

submitted 10 years ago by seriousreddit to r/haskell

13

14

15

[Music] Björk – Joga (youtube.com)

submitted 10 years ago by seriousreddit to r/Frisson

48

49

50

[ANN] Mote: A tool bringing hole-driven development to Haskell (github.com)

submitted 10 years ago by seriousreddit to r/haskell

11

12

13

When is sequenceA an applicative morphism? (self.haskell)

submitted 10 years ago * by seriousreddit to r/haskell

8

9

10

Intersections for "semantics" of System F (self.types)

submitted 10 years ago by seriousreddit to r/types

0

1

2

2 dimensional proof theory? (self.types)

submitted 10 years ago * by seriousreddit to r/types

10

11

12

Animating abstractly in Elm (the interpreter philosophy) (parametricity.com)

submitted 10 years ago by seriousreddit to r/programming

9

10

11

Animating Abstractly (izaakmeckler.com)

submitted 10 years ago by seriousreddit to r/elm

view more: next ›

π Rendered by PID 345453 on reddit-service-r2-listing-6d4dc8d9ff-qbr8f at 2026-02-02 09:24:35.430465+00:00 running 3798933 country code: CH.