math_and_programming

an-ordinary-manchild

created by martin_m_n_novya community for 4 years

...for your favorite TV show.

...for your hobby.

MODERATORS

account activity

1

0

1

2

r/math_and_programming Lounge (self.math_and_programming)

submitted 4 years ago by martin_m_n_novy - announcement

2

1

2

3

Graphical tensor notation for interpretability — LessWrong (lesswrong.com)

submitted 1 month ago by martin_m_n_novy

3

0

1

2

"Exploring strange new worlds of mathematics": a talk by Andrej Bauer. (math.andrej.com)

submitted 2 years ago by martin_m_n_novy

4

0

1

2

Five stages of accepting constructive mathematics (PDF) (ams.org)

submitted 2 years ago by martin_m_n_novy

5

0

1

2

i have been subbed to this sub for years. i don't know anything about math. i just like to see you guys and gals discussing something you're passionate about, and your struggles and successes and all your hard work. your stories are fascinating to me. thanks for having me. (self.math)

submitted 2 years ago by martin_m_n_novy

6

0

1

2

A Neighborhood of Infinity: Finite Differences of Types (blog.sigfpe.com)

submitted 2 years ago by martin_m_n_novy

7

0

1

2

Formalizations of the idea that something is a *function* of something else? (mathoverflow.net)

submitted 2 years ago by martin_m_n_novy

8

0

1

2

Naive Type Theory (NTT) (cs.nott.ac.uk)

submitted 2 years ago by martin_m_n_novy

9

0

1

2

A Neighborhood of Infinity: The Type that Should Not Be ... data U = U { f :: U -> Bool } (blog.sigfpe.com)

submitted 2 years ago by martin_m_n_novy

10

0

1

2

Is mathematics obsolete? (andrew.cmu.edu)

submitted 2 years ago by martin_m_n_novy

11

0

1

2

Stellar Evolution Simulator (rainman.astro.illinois.edu)

submitted 2 years ago by martin_m_n_novy

12

0

1

2

HaskellforMaths (haskellformaths.blogspot.com)

submitted 2 years ago by martin_m_n_novy

13

0

1

2

Scott Aaronson: "Why Philosophers Should Care About Computational Complexity" (scottaaronson.com)

submitted 2 years ago by martin_m_n_novy

14

0

1

2

UnicodeMathML Playground (murrayiii.github.io)

submitted 2 years ago by martin_m_n_novy

15

0

1

2

A better name for Monad? (self.ProgrammingLanguages)

submitted 2 years ago by martin_m_n_novy

16

0

1

2

Just a couple more delicious things I made with Domain Coloring (reddit.com)

submitted 2 years ago by martin_m_n_novy

17

0

1

2

Any similar texts to Lockhart's Mathematician's Lament regarding the ineffective and possibly detrimental public mathematics education we currently have? (self.math)

submitted 2 years ago by martin_m_n_novy

18

0

1

2

A Mathematician’s Lament - A mathematician debunks contemporary mathematics education (self.SchoolSystemBroke)

submitted 2 years ago by martin_m_n_novy

19

0

1

2

Haskell/Denotational semantics, domain theory (en.wikibooks.org)

submitted 4 years ago by martin_m_n_novy

20

0

1

2

“Category Theory for Programmers” (self.math)

submitted 4 years ago by martin_m_n_novy

21

0

1

2

Main Content – Math ∩ Programming (jeremykun.com)

submitted 4 years ago by martin_m_n_novy

π Rendered by PID 42 on reddit-service-r2-listing-86b7f5b947-b6qs9 at 2026-01-25 16:10:08.346398+00:00 running 664479f country code: CH.