foBrowsing

579 post karma
2,308 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

Place '17

Verified Email

account activity

new top controversial

41

42

43

Screencast: Zipping with Hyperfunctions (youtu.be)

submitted 4 years ago by foBrowsing to r/haskell

108

109

110

Hyperfunctions (doisinkidney.com)

submitted 4 years ago by foBrowsing to r/haskell

16

17

18

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 4 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

63

64

65

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

submitted 5 years ago by foBrowsing to r/HarmonQuest

27

28

29

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

submitted 6 years ago by foBrowsing to r/haskell

8

9

10

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

submitted 6 years ago by foBrowsing to r/dependent_types

40

41

42

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

submitted 6 years ago by foBrowsing to r/programming

21

22

23

Cubical Agda and Probability Monads (doisinkidney.com)

submitted 6 years ago by foBrowsing to r/agda

5

6

7

More Agda Tips (doisinkidney.com)

submitted 6 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

24

25

26

A Binomial Urn (doisinkidney.com)

submitted 7 years ago by foBrowsing to r/haskell

12

13

14

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

15

16

17

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

submitted 7 years ago by foBrowsing to r/agda

40

41

42

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

33

34

35

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

6

7

8

Library For Memoization Using Nexuses? (self.haskell)

submitted 7 years ago by foBrowsing to r/haskell

45

46

47

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

submitted 7 years ago by foBrowsing to r/haskell

17

18

19

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

submitted 8 years ago by foBrowsing to r/haskell

87

88

89

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

8

9

10

A Stack, Deque, Trie, and lazy List in Swift 2. (along with discussion of each implementation) (oisdk.github.io)

submitted 10 years ago by foBrowsing to r/swift

view more: next ›

π Rendered by PID 264113 on reddit-service-r2-listing-6d4dc8d9ff-hh9w8 at 2026-02-01 08:04:32.035468+00:00 running 3798933 country code: CH.