Guidance Help

Stream: maths

[Andre]

I'm interested in capturing some abstract information around user interactions. Hypothetically lets say someone moves their mouse icon on an application. This application can read the position of the mouse and calculates it's 1) randomness and/or 2) energy. I'm not sure if either are different or the same. The idea - for me anyway - is to reflect the high intensity (moving back and forth quickly) as a value from 0 to 1 so I can us it to change something visually on the screen. How would I start to reason about this problem mathematically? And am I in the right place for these kinds of ideas?

[Mario Carneiro]

Unless you have a theorem you want to prove about such things I don't think lean is likely to help you, although I suppose it can be helpful to get your thoughts in order on a mathematical topic once you have some familiarity with the tool. Mathematical modeling as it applies to programming is more a task for general computer science, not formalization

[Arthur Paulino]

Hm, do you want to build an application that executes such task? I'd recommend using Python and a lib called pynput

[Mario Carneiro]

Regarding a starting point for the mathematical underpinnings of energy and randomness I would suggest reading up on information entropy, and possibly thermodynamic temperature. The short answer is that yes, they are connected, and there is even a relatively straightforward equation to convert between information entropy and temperature