What's Behind Random Numbers?
We Are Damn close to 370.. can we hit it?
#dayinthelife #codingdays #programming
In this episode we'll break the Math.random() function in JavaScript with z3.
This Algorithm can Guess what the Computer Thinks! #SoME3
This algorithm can predict the random numbers, using some insider algorithms.
Timestamps ⌚
00:00 : Magic of Computers
00:27 : Random Number Theories
00:49 : What is Randomness?
01:03 : What Affects Randomness?
01:29 : How does computer Generate Random Numbers?
02:09 : Explanation on Random SEEDS
02:42 : What is Math.Random();
02:59 : v8
03:03 : XORSHIFT128+
03:38 : z3
03:52 : SMTLIB2
04:11 : Program in z3
04:25 : Coding Predictor
05:13 : Elaboration on Mantisaas'
05:40 : Coding Predictor
06:26 : Testing the Predictor
07:03 : More about CSPRNG
07:23 : Conclusion
Link to v8:- https://v8.dev/
Link to z3 (gitHub):- https://github.com/Z3Prover/z3
Link to z3 (wikipedia):-https://en.wikipedia.org/wiki/Z3_Theo...
Link to SMTLIB2:- https://smtlib.cs.uiowa.edu/
Link to CSPRNG:- https://en.wikipedia.org/wiki/Cryptog...
Link to Math.random():- https://developer.mozilla.org/en-US/d...
Source code to this video:- / elixpo_
Instagram:- / circuit_overtime
Source Code to Other Videos:- / circuitovertime
Music licensed by Artist:
Yehezkel Raz - Ten Lost Years
Sound Track - Dhruv Rathee
#programming #tech #computerscience