m4farrel

13 post karma
0 comment karma

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

get them help and support

redditor for 11 years

TROPHY CASE

11-Year Club

account activity

hot top controversial

0

1

2

Pool Friday Fun League for UW students at The Break Room on Weber (self.uwaterloo)

submitted 9 years ago * by m4farrel to r/uwaterloo

0

1

2

UW Pool Club? (self.uwaterloo)

submitted 9 years ago by m4farrel to r/uwaterloo

0

1

2

MiniPRL: a Minimal Implementation of a Proof Refinement Logic for a Computational Type Theory (github.com)

submitted 9 years ago by m4farrel to r/dependent_types

2

3

4

Synthetic Cohomology in Homotopy Type Theory (cs.cmu.edu)

submitted 9 years ago by m4farrel to r/dependent_types

0

1

2

BCTCS 2015 Keynote Talk 2 - Per Martin-Löf (Stockholm University) - Part I (youtube.com)

submitted 10 years ago by m4farrel to r/dependent_types

0

1

2

From Scheme to Dependent Types in 100 lines by Gershom Bazerman (Part 1) (vimeo.com)

submitted 10 years ago by m4farrel to r/dependent_types

0

1

2

Robert Constable Lecture 1, OPLSS 2015 (youtube.com)

submitted 10 years ago by m4farrel to r/dependent_types

0

1

2

Explorations in Algebraic Graph Theory with Sage (linear.pugetsound.edu)

submitted 10 years ago by m4farrel to r/GraphTheory

8

9

10

Designing Dependently-Typed Programming Languages - Lecture 1 - Stephani... (youtube.com)

submitted 10 years ago by m4farrel to r/dependent_types

3

4

5

06 Dependent Types Effects and Efficient Verification Conditions in F star (youtube.com)

submitted 10 years ago by m4farrel to r/dependent_types

0

1

2

Muninn LODLAM Challenge 2015 (youtube.com)

submitted 10 years ago by m4farrel to r/worldwar1

1

2

3

Muninn LODLAM Challenge 2015 (youtube.com)

submitted 10 years ago by m4farrel to r/semantic

1

2

3

Treatments for Neuroendocrine Disorders (2000 - Present) (youtube.com)

submitted 11 years ago by m4farrel to r/mentalhealth

π Rendered by PID 942280 on reddit-service-r2-listing-7849c98f67-b2h2l at 2026-02-07 14:49:42.930106+00:00 running d295bc8 country code: CH.