This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Tom Gur
tomgur.bsky.social
did:plc:vobffairyzpu3wnlvahiaiwo
Day #10: Rocco Servedio's Richard M. Karp Distinguished Lecture on New Directions in Property Testing, covering some of the most exciting active areas of research in the field.
https://www.youtube.com/watch?v=QBr98n1ba4w
2024-12-10T08:10:06.754Z