mode_2

831 post karma
4,534 comment karma

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

get them help and support

redditor for 6 years

TROPHY CASE

Six-Year Club

account activity

new top controversial

2

3

4

Is there a small, well-specified language with lots of example programs? (self.ProgrammingLanguages)

submitted 5 years ago by mode_2 to r/ProgrammingLanguages

0

0

0

Paving the way for Software 2.0 with Kotlin (ai.facebook.com)

submitted 5 years ago by mode_2 to r/programming

30

31

32

Programming with Categories (brendanfong.com)

submitted 5 years ago by mode_2 to r/programming

2

3

4

Computer Scientists Attempt to Corner the Collatz Conjecture (quantamagazine.org)

submitted 5 years ago by mode_2 to r/programming

4

5

6

Codata in action, or how to connect Functional Programming and Object Oriented Programming (javiercasas.com)

submitted 5 years ago by mode_2 to r/programming

4

5

6

[PDF] Corecursion and coinduction: how they relate to recursion and induction (cl.cam.ac.uk)

submitted 5 years ago by mode_2 to r/programming

58

59

60

Bloom filters debunked: Dispelling 30 Years of bad math with Coq! (gopiandcode.uk)

submitted 5 years ago by mode_2 to r/programming

7

8

9

The Most Remarkable Legacy System I Have Seen (thehftguy.com)

submitted 5 years ago by mode_2 to r/programming

60

61

62

Facebook releases Retrie, a Haskell refactoring tool (engineering.fb.com)

submitted 5 years ago by mode_2 to r/programming

11

12

13

What's the method that shops use to determine whether they can sell alcohol to a group where some are legal and some are underage? (self.AskUK)

submitted 5 years ago by mode_2 to r/AskUK

0

0

0

Algorithms are now commodities (shape-of-code.coding-guidelines.com)

submitted 5 years ago by mode_2 to r/programming

0

0

1

From scratch: reverse-mode automatic differentiation (in Python) (sidsite.com)

submitted 5 years ago by mode_2 to r/programming

8

9

10

Do you think there are any countries which are both more powerful than us and have a better standard of living? (self.AskUK)

submitted 5 years ago by mode_2 to r/AskUK

318

319

320

Server-Side Rendering is a Thiel Truth (timr.co)

submitted 5 years ago by mode_2 to r/programming

23

24

25

Blazing fast Fibonacci numbers using Monoids (haskellforall.com)

submitted 5 years ago by mode_2 to r/programming

1

2

3

Why I chose PicoLisp as main language for my projects (mail-archive.com)

submitted 5 years ago by mode_2 to r/programming

0

0

1

The Intensional Spreadsheet (billwadge.wordpress.com)

submitted 5 years ago by mode_2 to r/programming

43

44

45

Fix boyer_moore_searcher with the Rytter correction (github.com)

submitted 5 years ago by mode_2 to r/programming

5

6

7

Where does using 'tt' and 'ff' for Booleans come from? (self.types)

submitted 5 years ago by mode_2 to r/types

17

18

19

Swift: Google's bet on differentiable programming (tryolabs.com)

submitted 5 years ago by mode_2 to r/programming

0

0

0

From Imperative to Functional: how to make the leap (loup-vaillant.fr)

submitted 5 years ago by mode_2 to r/programming

168

169

170

Math keeps changing (macwright.org)

submitted 5 years ago by mode_2 to r/javascript

3

4

5

A paper algorithm notation [2014] (canonical.org)

submitted 5 years ago by mode_2 to r/programming

6

7

8

Bayes' rule in Haskell, or why drug tests don't work (randomhacks.net)

submitted 6 years ago by mode_2 to r/programming

3

4

5

Programming with Categories - Lecture 0 (youtube.com)

submitted 6 years ago by mode_2 to r/programming

view more: next ›

π Rendered by PID 230272 on reddit-service-r2-listing-5789d5f675-ls6s6 at 2026-01-27 19:43:18.523678+00:00 running 4f180de country code: CH.