What knits together "thinking in math" and "writing in code" is...human effort. If the domain is mathy, then it won't take much. If it's not... Math is the w

What knits together "thinking in math" and "writing in code" is...human effort. If the domain is mathy, then it won't take much. If it's not... Math is the world without abstraction leaks; programming is the act of plugging those leaks.