BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Nrs3 Mandelstam Tamm Cramer Rao

Nrs3 Mandelstam Tamm Cramer Rao

NRS³ · Mandelstam–Tamm and Cramér–Rao: no state is orthogonal to itself before πħ/(2ΔE), sharp; F_X ≤ 4 Var H, on NRS³ the efficiency is 1/C_Nava(d)² — Lean 4 + Mathlib

Description excerpted from the original listing, which is linked below.

Open it Source code

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week