This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Ryan Williams
rrwilliams.bsky.social
did:plc:it6jc5cjh7hav3nrjflcdb2y
professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)