lacker.io
Preview meta tags from the lacker.io website.
Linked Hostnames
11- 10 links tolacker.io
- 5 links togithub.com
- 1 link toarxiv.org
- 1 link todeepmind.google
- 1 link toen.wikipedia.org
- 1 link toleanprover-community.github.io
- 1 link tomatryoshka-project.github.io
- 1 link totwitter.com
Thumbnail
Search Engine Appearance
https://lacker.io/
Kevin Lacker's blog
TODO: insert description here
Bing
Kevin Lacker's blog
https://lacker.io/
TODO: insert description here
DuckDuckGo
https://lacker.io/Kevin Lacker's blog
TODO: insert description here
General Meta Tags
5- titleKevin Lacker's blog
- charsetutf-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- descriptionTODO: insert description here
Open Graph Meta Tags
3- og:titleKevin Lacker's blog
- og:descriptionTODO: insert description here
- og:imagehttps://lacker.io/assets/leo_on_chest.jpg
Twitter Meta Tags
2- twitter:cardsummary
- twitter:creator@lacker
Link Tags
7- alternatehttp://lacker.io/feed.xml
- apple-touch-icon/assets/favicon/apple-touch-icon.png
- canonicalhttp://lacker.io/
- icon/assets/favicon/favicon-32x32.png
- icon/assets/favicon/favicon-16x16.png
Links
24- https://arxiv.org/abs/2205.11491
- https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry
- https://en.wikipedia.org/wiki/Bidirectional_search
- https://github.com/lacker
- https://github.com/leanprover-community/mathlib/blob/master/src/data/nat/basic.lean