progscrape: math

Rendering the Visible Spectrum

11 days ago brandonli.net graphics math

Five disciplines discovered the same math independently

17 days ago freethemath.org math

Hemmi/Post 1460 Versalog (Sliderule emulator)

4 days ago thingsabove.github.io math

Six Math Essentials

3 days ago terrytao.wordpress.com math

Parental math anxiety linked to lower quantitative skills in young children

5 days ago sciencedirect.com math psychology

A relationship between the Collatz conjecture and the Fibonacci numbers

9 days ago vincentrolfs.dev math

Broken Proofs and Broken Provers

21 days ago lawrencecpaulson.github.io math

Napkin Math

10 days ago github.com math

Long-Sought Proof Tames Some of Math's Unruliest Equations

16 days ago quantamagazine.org math

The Four-Color Theorem 1852–1976

4 days ago ams.org historical math

Math learning disability affects how the brain tackles problems

15 days ago med.stanford.edu brain math neuroscience

Lindenmayer Systems

6 days ago justinpombrio.net art math

Oregon raised spending by 80%, math scores dropped

19 days ago educationnext.org math

The largest number representable in 64 bits

23 days ago tromp.github.io math plt

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

6 days ago arxiv.org math vibecoding

ChatGPT finds an error in Terence Tao's math research

2 days ago news.ycombinator.com chatgpt gpt math

The Future of Math Research in the Age of AI

4 days ago siliconreckoner.substack.com ai math vibecoding

Deterministic Programming with LLMs

2 hours ago mcherm.com llm math vibecoding

First Proof

18 days ago arxiv.org math pdf vibecoding

Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r

39 hours ago github.com java

Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)

7 days ago fawazishola.ca show

Lambda cube

23 days ago en.wikipedia.org lambda math

Show HN: SymDerive – A functional, stateless symbolic math library

24 days ago news.ycombinator.com math show

What math topics should I study to deeply understand compilers as a self-learner?

3 days ago reddit.com compiler math

`ggmath`: A games math library with const generics and SIMD

8 days ago reddit.com game math rust

Building a custom math engine in Rust

8 days ago reddit.com math rust

Predicting Math.random() in Firefox using Z3 SMT-solver

23 days ago yurichev.com firefox javascript

SymbAnaFis v0.8.0 - High-Performance Symbolic Math in Rust

15 days ago reddit.com math rust

I built an Open-Source Math Engine for iGaming using Python and PID Control

22 days ago github.com math python

Can I turn Rust hobby projects into a career without a CS background or strong math skills?