Why Floating-Point Still Surprises People
A practical walk through binary fractions, rounding modes, and why 0.1 + 0.2 is not broken.
Computational Geometry
Cryptographic Primitives
Backend Systems
Math that actually does something.
Exploring the intersection of Math, Art, and Code.
About
I am a software engineer who spends too much time thinking about P vs NP problems. Originally from Tokyo, now writing code in the Bay Area.
My professional work involves backend optimization, but my passion lies in Computational Geometry and Cryptographic Primitives. I believe that code is just math that actually does something.
Currently, I am researching efficient ways to generate Voronoi diagrams in non-Euclidean spaces. If you want to talk about category theory or why 0.1 + 0.2 != 0.3 in floating-point arithmetic, buy me a coffee.
Current interests
Efficient Voronoi construction in non-Euclidean spaces, numerically stable geometric predicates, and the quiet pleasure of well-behaved backend systems.
Also: category theory, exact arithmetic, generative art, and why tiny implementation details always become philosophical eventually.
Recent essays
Voronoi Diagrams Beyond Euclidean Distance
What changes when the notion of distance itself changes?
Notes on Persistent Data Structures
Immutability is not only about purity. It can also be a performance tool.
Category Theory for People Who Write Code
You do not need to worship abstractions to find them useful.
A Small Defense of Plain Text
Durable tools tend to be boring in the best possible way.
What Backend Optimization Actually Feels Like
Less glamour, more measurement.
The Shape of Randomness in Generative Art
Randomness is rarely the point. Constraint is.
Cryptographic Primitives and Engineering Humility
The more elegant a primitive looks, the less casually you should touch it.
Why I Still Sketch Algorithms on Paper
Some ideas need friction before they deserve a compiler.
On Beauty in Computational Geometry
Why geometric algorithms feel different from other kinds of code.