nearmic
Keep your iPhone mic ready for your Mac.
BitsExplorer finds what people are building with AI, every day. See today's picks →
NRS³ · Pauli–Dirac: exclusion, shells 2n², three spin matrices and no fourth in 2×2; no 2×2 gamma matrices, the least dimension is 4 — Lean 4 + Mathlib
Description excerpted from the original listing, which is linked below.
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