No Security Risks Detected
This domain appears to be safe and secure
Disclaimer: This assessment is based on automated analysis of publicly available information. Results are for informational purposes only. For critical applications, consult security professionals.
Scan Information
Refresh page after 10 minutes
for updated results
Page Information

Host Information
Technologies
SSL Certificate
Performance Statistics
HTTP Headers
Technology Stack Analysis
Vercel
Vercel is a cloud platform for static frontends and serverless functions.
HSTS
HTTP Strict Transport Security (HSTS) informs browsers that the site should only be accessed using HTTPS.
External Links 49
Untitled Link
github.com
Untitled Link
www.linkedin.com
Untitled Link
orcid.org
Untitled Link
stackoverflow.com
Untitled Link
twitter.com
Untitled Link
youtube.com
(he/him)
pronouns.org
S3D
s3d.cmu.edu
Joshua Sunshine
www.cs.cmu.edu
join us on Discord
discord.gg
GradBench
github.com
Floretta
github.com
Wasm
webassembly.org
Enzyme
enzyme.mit.edu
Rose
github.com
Penrose
penrose.cs.cmu.edu
JAX
jax.readthedocs.io
bouldering
ironcityboulders.com
improv
www.arcadecomedytheater.com
comedy
www.theglitterboxtheater.com
Letterboxd
letterboxd.com
Minkowski sum2023 Look, some polygons! Drag them around to see their Minkowski sum. (Still a work in progress.)
samestep.github.io
Elliptic curves2017 See how the elliptic curve group law is associative: click three points to get each of their pairwise sums, then click the magnifying glass to see that all the three-way sums converge at the same point. Hit escape to reset or use the box in the top-left to select alternative parameters for the curve.
samestep.github.io
Lambda calculus2016 Type Lispy lambda calculus expressions like((λ x x) 42) to see their reduced form. Backslash automatically becomesλ, and parentheses are automatched.
samestep.github.io
Codifying Visual Representations
doi.org
Wode Ni
www.cs.cmu.edu
Hwei-Shin Harriman
hsharriman.github.io
Jiří Minarčík
minarcik.com
DIAGRAMS 2024
diagrams-2024.diagrams-conference.org
Rose: Composable Autodiff for the Interactive Web
doi.org
Raven Rothkopf
ravenrothkopf.com
ECOOP 2024
2024.ecoop.org
Minkowski Penalties: Robust Differentiable Constraint Enforcement for Vector Graphics
doi.org
Keenan Crane
www.cs.cmu.edu
SIGGRAPH 2024
s2024.siggraph.org
Edgeworth: Efficient and Scalable Authoring of Visual Thinking Activities
doi.org
Ken Koedinger
pact.cs.cmu.edu
L@S 2024
learningatscale.hosting.acm.org
NaNofuzz: A Usable Tool for Automatic Test Generation
doi.org
Matthew C. Davis
cmumatt.github.io
Sangheon Choi
www.linkedin.com
Brad A. Myers
www.cs.cmu.edu
ESEC/FSE 2023
conf.researchr.org
Gradual Program Analysis for Null Pointers
doi.org
Jenna DiVincenzo
jennalwise.github.io
Jonathan Aldrich
www.cs.cmu.edu
Éric Tanter
pleiad.cl
Johannes Bader
johannes-bader.com
ECOOP 2021
2021.ecoop.org