Trending

Content tagged with "math"

Show all

Hacker News

Top stories from the Hacker News community• Updated 10 minutes ago

HN

Lean Theorem Prover Mathlib

github.com

73

downboots

8 days ago

theorem-proving lean mathlib math formal-verification proof-assistant ai mlops

HN

String Theory Inspires a Brilliant, Baffling New Math Proof

quantamagazine.org

167

ArmageddonIt

9 days ago

theoretical-physics theory math research science mathematics

HN

Secondary school maths showing that AI systems don't think

raspberrypi.org

106

zdw

9 days ago

ai ai-ethics education math ai-research

HN

Quanta to Publish Popular Math and Physics Titles by Terence Tao and David Tong

simonsfoundation.org

96

digital55

13 days ago

science math physics

HN

An Interactive Guide to the Fourier Transform

betterexplained.com

235

pykello

20 days ago

math science signal-processing algorithms sciences scipy transform

HN

A two-person method to simulate die rolls

blog.42yeah.is

68

Fraterkes

16 days ago

probability game-theory math game-development simulation game-engines unity unreal-engine mathematics

HN

Mathematics Without Numbers (1959)

jstor.org

58

measurablefunc

20 days ago

math science research

HN

What's the Deal with Euler's Identity?

lcamtuf.substack.com

34

surprisetalk

22 days ago

mathematics math science

HN

Yawning abyss of the decimal labyrinth

oh4.co

11

austinallegro

24 days ago

math number-theory theory databases sql data-structures

InfoQ

Latest articles from InfoQ

No articles found

Try removing the tag filter or searching for different content.

Reddit

Top posts from tech subreddits• Updated 4 minutes ago

Reddit

[P] Eigenvalues as models

reddit.com

126

alexsht1

5 days ago

r/MachineLearning eigenvalues ai data-science linear-algebra ai-research math mathematics

Reddit

Number's up: Calculators hold out against AI

f24.my

1

rtbot2

14 days ago

r/realtech ai data-science ai-ethics ai-research math generative-ai

Reddit

Polynomial roots visualisation inspired by 2swap's video on the quintic

github.com

42

therealoranges

16 days ago

r/programming algorithms data-structures data-visualization math science mathematics

Reddit

[Podcast] Simon Peyton Jones & Chelsea Troy on How to Discover the Binary System as a Child

buzzsprout.com

3

goto-con

22 days ago

r/programming education ai-research math science

Reddit

Solving Fizz Buzz with Cosines

susam.net

204

p-orbitals

about 1 month ago

r/programming algorithms data-structures competitive-programming coding performance math science

Reddit

Olympiads / Competitions

join.leaguesofcode.com

1

Remarkable_Young_248

about 1 month ago

r/coding education competitive-programming math science competitions

Reddit

IBM Patented Euler's 200 year old Math Technique

leetarxiv.substack.com

981

DataBaeBee

about 1 month ago

r/programming patents algorithms scientific-research ibm math science research mathematics

Reddit

[D] Information geometry, anyone?

reddit.com

23

SublimeSupernova

about 1 month ago

r/MachineLearning geometry data-science math information-theory mathematics information-geometry

Reddit

Using FOUR OPERATIONS only to faithfully approximate erfc (and Z-dist p-value)

w.wiki

1

MathTechScience

about 1 month ago

r/coding ai-research math statistics

Hugging Face Trending

Popular models from Hugging Face• Updated 21 minutes ago

No models found

Try removing the tag filter or searching for different content.

GitHub Trending

Popular repositories from GitHub• Updated 36 minutes ago

sympy

A computer algebra system written in pure Python

Python

14,175

4,933

python developer-tools open-source computer-vision math sympy computer-algebra mlops

KaTeX

Fast math typesetting for the web.

JavaScript

19,550

1,250

webdev javascript math

math

🧮 Path to a free self-taught education in Mathematics!

7,404

679

education self-hosted personal-knowledge-management math