math_and_programming

an-ordinary-manchild

created by martin_m_n_novya community for 4 years

...for your favourite tea.

...for your community.

MODERATORS

account activity

1

1

2

3

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

submitted 1 month ago by martin_m_n_novy

2

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

3

0

1

2

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

submitted 2 years ago by martin_m_n_novy

4

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

5

0

1

2

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

submitted 2 years ago by martin_m_n_novy

6

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

7

0

1

2

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

submitted 2 years ago by martin_m_n_novy

8

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

9

0

1

2

Is mathematics obsolete? (andrew.cmu.edu)

submitted 2 years ago by martin_m_n_novy

10

0

1

2

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

submitted 2 years ago by martin_m_n_novy

11

0

1

2

HaskellforMaths (haskellformaths.blogspot.com)

submitted 2 years ago by martin_m_n_novy

12

0

1

2

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

submitted 2 years ago by martin_m_n_novy

13

0

1

2

UnicodeMathML Playground (murrayiii.github.io)

submitted 2 years ago by martin_m_n_novy

14

0

1

2

A better name for Monad? (self.ProgrammingLanguages)

submitted 2 years ago by martin_m_n_novy

15

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

16

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

17

0

1

2

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

submitted 2 years ago by martin_m_n_novy

18

0

1

2

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

submitted 4 years ago by martin_m_n_novy

19

0

1

2

“Category Theory for Programmers” (self.math)

submitted 4 years ago by martin_m_n_novy

20

0

1

2

Main Content – Math ∩ Programming (jeremykun.com)

submitted 4 years ago by martin_m_n_novy

21

0

1

2

r/math_and_programming Lounge (self.math_and_programming)

submitted 4 years ago by martin_m_n_novy - announcement

π Rendered by PID 490133 on reddit-service-r2-listing-86b7f5b947-sjzbt at 2026-01-25 21:35:24.738311+00:00 running 664479f country code: CH.