rkirov.github.io
rkirov.github.io is a live English-language website hosted on Fastly, Inc. (AS54113) in the United States, served by Github.com. cl0q first saw it on 2026-06-14 and last crawled it on 2026-10-17. It resolves to 185.199.111.153.
How the site describes itself:
Rado's Radical Reflections | Rado's Radical Reflections
Welcome This is my corner of the web where I share thoughts on software, mathematics, puzzles, life, and anything else that sparks my interest. Lean series: Learning Lean (part 1) Learning Lean (part 2) Learning Lean (part 3) Learning Lean (part 4) Why formalize mathematics - more than catching errors From Sets in Math to Types in Lean: Subtype, Fin, Set, Finset, and Fintype Leaning on AI Human Intuition, AI Formalization: A Real Analysis Case Study From Painfully Explicit to Implicit in Lean Other posts:
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-06-14 |
| Last crawled | 2026-10-17 |
| IPv4 | 185.199.111.153 |
| IPv6 | 2606:50c0:8001::153 |
| Network | AS54113 Fastly, Inc. · California |
| CNAME | rkirov.github.io |
| Language | en-us |
| Server | GitHub.com |
Explore more like this
More sites on Fastly, Inc.
Get this data at scale
This dossier is one domain from cl0q's index. Query the same live index through the API, or download the censuses built from it.
- API credit pack — 100,000 lookups against the live index, no subscription, at 30 lookups a minute.
- Server Tech Census — one row per domain: server, language and CDN flag.