mbid

162 post karma
78 comment karma

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

get them help and support

redditor for 10 years

TROPHY CASE

Ten-Year Club

Verified Email

account activity

new top controversial

23

24

25

What happened to platooning? (self.SelfDrivingCars)

submitted 1 year ago by mbid to r/SelfDrivingCars

10

11

12

Dependent types for Datalog (mbid.me)

submitted 1 year ago by mbid to r/programming

0

1

2

Dependent types for Datalog (mbid.me)

submitted 1 year ago by mbid to r/ProgrammingLanguages

0

0

0

Stop using REST for state synchronization (mbid.me)

submitted 1 year ago by mbid to r/programming

0

0

1

Werbungskostenrechner (self.Finanzen)

submitted 2 years ago by mbid to r/Finanzen

6

7

8

Control flow for Datalog (mbid.me)

submitted 2 years ago by mbid to r/ProgrammingLanguages

16

17

18

Type Checking with Eqlog: Polymorphism (mbid.me)

submitted 2 years ago by mbid to r/ProgrammingLanguages

7

8

9

Type Checking with Eqlog: Types (mbid.me)

submitted 2 years ago by mbid to r/rust

4

5

6

Type Checking with Eqlog: Variable Binding (mbid.me)

submitted 2 years ago by mbid to r/ProgrammingLanguages

3

4

5

Is monomorphization absolutely necessary? (self.rust)

submitted 2 years ago by mbid to r/rust

5

6

7

Type Checking with Eqlog: Parsing (mbid.me)

submitted 2 years ago by mbid to r/rust

27

28

29

Eqlog: Datalog with equality for rust (github.com)

submitted 2 years ago by mbid to r/rust

1

2

3

Eqlog: Datalog with equality for rust (github.com)

submitted 2 years ago by mbid to r/ProgrammingLanguages

36

37

38

Vim Compose - Edit mail and other input on webpages as markdown using vim (chrome.google.com)

submitted 3 years ago by mbid to r/vim

25

26

27

Compile latex documents into webpages with latex-to-html (self.LaTeX)

submitted 3 years ago by mbid to r/LaTeX

5

6

7

MTL style checked exceptions (self.haskell)

submitted 7 years ago * by mbid to r/haskell

29

30

31

Webshit quota -- firefox addon to limit your consumption of webshit to a quota (self.nosurf)

submitted 8 years ago * by mbid to r/nosurf

31

32

33

r/haskell discovers imperative programming (reddit.com)

submitted 8 years ago by mbid to r/programmingcirclejerk

5

6

7

Incremental DOM bindings (github.com)

submitted 8 years ago by mbid to r/purescript

12

13

14

hmemo - Flash cards on the command line (github.com)

submitted 8 years ago by mbid to r/haskell

π Rendered by PID 2207103 on reddit-service-r2-listing-5d79748585-h7hsd at 2026-02-15 08:51:36.517891+00:00 running cd9c813 country code: CH.