Mechanaut: explore biology and chemistry in 3D
Explore Mechanaut, an interactive 3D biology and chemistry app for inspecting molecular structures and following guided biological processes.
Blog 4 posts
Engineering notes on blockchain, cryptography, AI-assisted development, and scientific visualization.
Structured-work: giving coding agents a place to resume
A practical approach to keeping project context, decisions, and evidence clear when work with a coding agent spans multiple sessions.
Inner-Product Arguments: A Step-by-Step Algebraic Walkthrough
Derive an inner-product polynomial, commit to its coefficients, and unpack the four equations checked by the verifier.
Matrix Inversion and Homomorphic Verification
Solve a two-variable linear system, verify its exponentiated equations, and understand what the checks establish about the solution.