We prove things and show our work. ZK circuits for real physics. Formal verification for real systems.
Contributors
J
jacobi
Creator of Jacobian
More from Programming
Programming
The Scalable Agent
Frameworks, systems, and coaching-driven insights for real estate agents building businesses they own. By Steve Banasiak — Broker, LYNQ Real Estate | Treasure Coast, FL
1 subscribers
Programming
Good Boy Ninja
Motion-Graphics and Software-Development related thoughts
Programming
Clix
Tips on mobile push notification for developers.
Programming
Kaleidogame
Updates on my indie game