Skip to content
Standard Reader
Log in
Tag

Math

Articles and publications tagged Math across the Atmosphere.

26articles11publications
Sona's Website
Sona's WebsiteJul 21, 2026
Eq
What does being the `same` mean?
category theoryphilosophy
luminary.blog
luminary.blogJun 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 computingalgorithms
Holobrine
HolobrineJun 6, 2026
Geometric Foundations of Calculus: Infinitesimals as Oriented Zeros
mathcalculus
Holobrine
HolobrineMay 29, 2026
Cohen overcounted: an existence proof
CH is not proven independent, and the door for Woodin's Ultimate L program is open.
mathcontinuum hypothesis
Holobrine
HolobrineMay 28, 2026
The Ω Conjecture holds in every syntactically reachable case
mathcontinuum hypothesis
Holobrine
HolobrineMay 26, 2026
Proof sketch of Hugh Woodin's Ω conjecture
Set theoretic forcing is a type system.
type systemRust
fluffy
fluffyMar 14, 2026
Happy π day
πpi day
luminary.blog
luminary.blogAug 26, 2025
UE8M0 FP8 Number Format
Training LLMs without H100 using UE8M0 FP8 number format.
aimlmath
luminary.blog
luminary.blogAug 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.
aimlmath
Bare Bear
Bare BearAug 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...
mathsuffering
Sona's Website
Sona's WebsiteDec 21, 2024
A Monad Is Not A Burrito
Okay, it kind of is but that's like calling an airplane a car.
mathcategory-theory
Sona's Website
Sona's WebsiteDec 9, 2024
Algorithms
Villanova Summer REU
mathresearch
Dominik Hofer
Dominik HoferOct 12, 2024
My first wow experience in math class
After 4 weeks of taking the calculus 1 class in university, I’ve had my first true [insert mindblown-emoji here] moment. And I want to share it with you.
mathexplainer
Sona's Website
Sona's WebsiteAug 7, 2024
Zig CTFP
Zig is a functional programming language
mathcategory theory
Sona's Website
Sona's WebsiteMay 28, 2024
Hare Rope
Rope implementation in harelang.
programmingmath
Sona's Website
Sona's WebsiteMay 28, 2024
Hare Rope
Rope implementation in harelang.
programmingmath
Sona's Website
Sona's WebsiteNov 25, 2023
Fractal Renderer
Rendering fractals in parallel with C lang.
programmingmath
Sona's Website
Sona's WebsiteNov 25, 2023
Fractal Renderer
Rendering fractals in parallel with C lang.
programmingmath
Sona's Website
Sona's WebsiteOct 22, 2023
We Lost the ICPC Regionals
programmingmath
Spaghetti Thoughts
Spaghetti ThoughtsJun 3, 2023
The Misunderstanding is Strong
When the math doesn't math
DemocracyPolitics
frankhecker.com
frankhecker.comFeb 12, 2023
Logarithms are just orders of magnitude with a glow up, part 2
I continue to try to explain logarithms to myself.
mathmaths
frankhecker.com
frankhecker.comFeb 11, 2023
Logarithms are just orders of magnitude with a glow up, part 1
I try to explain to myself how logarithms work.
mathmathematics
Tedium: The Dull Side of the Internet
Tedium: The Dull Side of the InternetDec 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.
calculatorsmath
Tedium: The Dull Side of the Internet
Tedium: The Dull Side of the InternetMay 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.
calculatorsdesmos