ilyasergey.net
HTML metadata
Technology
- CDN
- Fastly
- Server
- GitHub.com
- Analytics
-
- Google Tag Manager
- Fonts
-
- Google Fonts
Third-party hosts loaded (7)
- cdn.jsdelivr.net×7
- badge.dimensions.ai×1
- cdnjs.cloudflare.com×1
- d1bxh8uas1mnw7.cloudfront.net×1
- fonts.googleapis.com×1
- ilyasergey.github.io×1
- www.googletagmanager.com×1
Social
Certificate (current)
R12
Expires in 41 days
Links to (26)
- github.io×9
- linkedin.com×3
- sigplan.org×3
- google.com×3
- lean-lang.org×2
- alhimovich.com×2
- arxiv.org×2
- bsky.app×2
- csauthors.net×2
- dagstuhl.de×2
- doi.org×2
- github.com×2
- jekyllrb.com×2
- jorgecham.com×2
- kirancodes.me×2
- orcid.org×2
- pirlea.net×2
- proofsandintuitions.net×2
- zenodo.org×2
- researchr.org×2
- office365.com×2
- veil.dev×2
- mystenlabs.com×2
- twitter.com×2
- youtube.com×2
- fplaunchpad.org×1