Skip to content
Standard
Reader
Log in
Tag
Math
Articles and publications tagged Math across the Atmosphere.
23
articles
6
publications
Articles
Publications
Sona's Website
·
Jul 21, 2026
Eq
What does being the `same` mean?
category theory
·
philosophy
luminary.blog
·
Jun 17, 2026
How Classical and Quantum Computers Search a Maze
A classical computer walks the maze one path at a time. A quantum computer makes the wrong paths cancel out. What Grover's algorithm actually does, and why it is quadratically, not exponentially, faster.
quantum computing
·
algorithms
Holobrine
·
Jun 6, 2026
Geometric Foundations of Calculus: Infinitesimals as Oriented Zeros
math
·
calculus
Holobrine
·
May 29, 2026
Cohen overcounted: an existence proof
CH is not proven independent, and the door for Woodin's Ultimate L program is open.
math
·
continuum hypothesis
Holobrine
·
May 28, 2026
The Ω Conjecture holds in every syntactically reachable case
math
·
continuum hypothesis
Holobrine
·
May 26, 2026
Proof sketch of Hugh Woodin's Ω conjecture
Set theoretic forcing is a type system.
1
·
type system
·
Rust
luminary.blog
·
Aug 26, 2025
UE8M0 FP8 Number Format
Training LLMs without H100 using UE8M0 FP8 number format.
aiml
·
math
luminary.blog
·
Aug 25, 2025
Understanding ML Numerical Formats
Understanding INT4, INT8, FP16, BF16, and TF32 formats in machine learning - their precision, speed, and memory trade-offs for training and inference.
aiml
·
math
Bare Bear
·
Aug 11, 2025
Some Math
Definition Given a group G with symmetry elements g and symmetry operators P̂_(g), we denoted the irreducible representations by Γ_(n), where the n labels each different irreducible representation. We then define a set of basis vectors for each representation denoted by $\ket{\Gamma_n j}$, where...
math
·
suffering
Sona's Website
·
Dec 21, 2024
A Monad Is Not A Burrito
Okay, it kind of is but that's like calling an airplane a car.
math
·
category-theory
Sona's Website
·
Dec 9, 2024
Algorithms
Villanova Summer REU
math
·
research
Sona's Website
·
Aug 7, 2024
Zig CTFP
Zig is a functional programming language
math
·
category theory
Sona's Website
·
May 28, 2024
Hare Rope
Rope implementation in harelang.
programming
·
math
Sona's Website
·
May 28, 2024
Hare Rope
Rope implementation in harelang.
programming
·
math
Sona's Website
·
Nov 25, 2023
Fractal Renderer
Rendering fractals in parallel with C lang.
programming
·
math
Sona's Website
·
Nov 25, 2023
Fractal Renderer
Rendering fractals in parallel with C lang.
programming
·
math
Sona's Website
·
Oct 22, 2023
We Lost the ICPC Regionals
programming
·
math
Spaghetti Thoughts
·
Jun 3, 2023
The Misunderstanding is Strong
When the math doesn't math
Democracy
·
Politics
frankhecker.com
·
Feb 12, 2023
Logarithms are just orders of magnitude with a glow up, part 2
I continue to try to explain logarithms to myself.
math
·
maths
frankhecker.com
·
Feb 11, 2023
Logarithms are just orders of magnitude with a glow up, part 1
I try to explain to myself how logarithms work.
math
·
mathematics
Tedium: The Dull Side of the Internet
·
Dec 2, 2022
Math + The Mechanics
The story of the Curta Calculator, a stylish portable mechanical calculator that doesn’t use electricity and has a surprisingly dramatic origin story.
calculators
·
math
Tedium: The Dull Side of the Internet
·
May 22, 2017
Plotting A Takeover
The Texas Instruments graphing calculator, the long-neglected computing platform required by many high school math students, finally gets some competition.
calculators
·
desmos
Tedium: The Dull Side of the Internet
·
Sep 24, 2015
A Game Boy For Math
Educators had a love-hate relationship with graphing calculators when they launched, but students loved them because they were great for games.
math
·
calculators
You've reached the end.
Home
Latest
Discover
Search
