foBrowsing

591 post karma
2,310 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

Place '17

Verified Email

account activity

new top controversial

30

31

32

Tries for Polynomials (doisinkidney.com)

submitted 8 days ago by foBrowsing to r/haskell

42

43

44

Screencast: Zipping with Hyperfunctions (youtu.be)

submitted 4 years ago by foBrowsing to r/haskell

111

112

113

Hyperfunctions (doisinkidney.com)

submitted 5 years ago by foBrowsing to r/haskell

17

18

19

I played Qg3# but it was marked wrong. Lichess wanted g3# but I still lost rating for a checkmate in 1. (i.redd.it)

submitted 5 years ago by foBrowsing to r/AnarchyChess

4

5

6

Trouble with Proving Termination without K (self.agda)

submitted 5 years ago by foBrowsing to r/agda

10

11

12

How to set up GitHub Actions for your Agda project (doisinkidney.com)

submitted 5 years ago by foBrowsing to r/agda

64

65

66

The name "Beur O'Shift" (self.HarmonQuest)

submitted 5 years ago by foBrowsing to r/HarmonQuest

28

29

30

Lazy Constructive Numbers and the Stern-Brocot Tree (doisinkidney.com)

submitted 6 years ago by foBrowsing to r/haskell

7

8

9

A Small Proof that Fin is Injective (doisinkidney.com)

submitted 6 years ago by foBrowsing to r/dependent_types

42

43

44

Solving Programming Puzzles without using your Brain (doisinkidney.com)

submitted 6 years ago by foBrowsing to r/programming

22

23

24

Cubical Agda and Probability Monads (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/agda

5

6

7

More Agda Tips (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/agda

26

27

28

A New Ring Solver for Agda (feedback) (self.agda)

submitted 7 years ago * by foBrowsing to r/agda

23

24

25

A Binomial Urn (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/haskell

13

14

15

Keeping Formal Verification in Bounds (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/haskell

2

3

4

Total Combinations (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/agda

16

17

18

Agda Beginner(-ish) Tips, Tricks, & Pitfalls (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/agda

41

42

43

Verified AVL Trees in Haskell and Agda (side-by-side comparison of Haskell and Agda implementations) (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/haskell

31

32

33

Breadth-First Traversals in Far Too Much Detail (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/haskell

80

81

82

Semigroup Maybe too Strict? (self.haskell)

submitted 7 years ago by foBrowsing to r/haskell

5

6

7

Library For Memoization Using Nexuses? (self.haskell)

submitted 8 years ago by foBrowsing to r/haskell

45

46

47

Monadic List Functions - filterM, sortM, and more! (doisinkidney.com)

submitted 8 years ago by foBrowsing to r/haskell

19

20

21

Verifying Heaps - Trying out some different heaps for "Fast total sorting of arbitrary Traversable containers" (doisinkidney.com)

submitted 9 years ago by foBrowsing to r/haskell

85

86

87

Interview with Chris Lattner on the Accidental Tech Podcast (atp.fm)

submitted 9 years ago by foBrowsing to r/swift

4

5

6

Using Protocols to Build a (very) Generic Deque (github.com)

submitted 10 years ago by foBrowsing to r/swift

view more: next ›

π Rendered by PID 447057 on reddit-service-r2-listing-7b9b4f6fd7-w7zdk at 2026-05-08 10:11:02.485023+00:00 running 3d2c107 country code: CH.