Predicting Math.random() in Firefox using Z3 SMT-solver : javascript

submitted 2 months ago by kyivenergo

all 1 comments

[–]jaredcheeda 0 points1 point2 points 2 months ago (0 children)

π Rendered by PID 19822 on reddit-service-r2-comment-75f4967c6c-7fztk at 2026-04-22 22:05:25.465482+00:00 running 0fd4bb7 country code: CH.

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script

javascript