Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

OpenAI’s Navier-Stokes release included a Lean 4 formal proof

Why fitting a logistic is nearly impossible from early data

Numerical (In)Stability of Recurrence Relations

How would you know whether an ancient culture had zero?

Printing floating point numbers in binary

When sine of x degrees equals sine of x radians

Regular expressions that work “everywhere”

Brace Expansion Tree

Partitions over Permutations

Posits: tapered precision real numbers (2018)

Mathematical minimalism

Nonlinearity Affects a Pendulum

4-bit floating point FP4

The Great Pyramid of Giza and the Speed of Light

Tofolli gates are all you need

How much precision can you squeeze out of a table?

Why Mathematica does not simplify sinh(arccosh(x))

Why Mathematica does not simplify Sinh[ArcCosh[x]]

Twelve-Tone Composition

Prime chains

How Lewis Carroll computed determinants (2023)

What is an elliptic curve? (2019)

Obscuring P2P Nodes with Dandelion

How stealth addresses work in Monero

How stealth addresses work in Monero

Zero knowlege proof of compositeness

A triangle whose interior angles sum to zero

Closest Harmonic Number to an Integer

Weighting an average to minimize variance

Adding an imaginary unit to a finite field

More →