stephanboyer.com valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
User-agent: * Sitemap: https://www.stephanboyer.com/sitemap Disallow: /admin/ Allow: / | ||
Meta Tags
| Title | Stephan |
| Description | My hobby: proof Computer science, software engineering, math, and |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 172.67.210.132 |
| Location | United States |
Related Websites
| Site | Rank |
More to Explore
stephanboyer.com Valuation
|
US$1,488,839
Last updated: 2022-07-06 08:45:27
stephanboyer.com has Semrush global rank of 7,109,103. stephanboyer.com has an estimated worth of US$ 1,488,839, based on its estimated Ads revenue. stephanboyer.com receives approximately 171,790 unique visitors each day. Its web server is located in United States, with IP address 172.67.210.132. According to SiteAdvisor, stephanboyer.com is safe to visit. |
Traffic & Worth Estimates
| Purchase/Sale Value | US$1,488,839 |
| Daily Ads Revenue | US$1,375 |
| Monthly Ads Revenue | US$41,230 |
| Yearly Ads Revenue | US$494,753 |
| Daily Unique Visitors | 11,453 |
| Note: All traffic and earnings values are estimates. | |
DNS Records
| Host | Type | TTL | Data |
| stephanboyer.com. | A | 300 | IP: 172.67.210.132 |
| stephanboyer.com. | A | 300 | IP: 104.21.61.126 |
| stephanboyer.com. | AAAA | 300 | IPV6: 2606:4700:3035::6815:3d7e |
| stephanboyer.com. | AAAA | 300 | IPV6: 2606:4700:3034::ac43:d284 |
| stephanboyer.com. | NS | 86400 | NS Record: miles.ns.cloudflare.com. |
| stephanboyer.com. | NS | 86400 | NS Record: nina.ns.cloudflare.com. |
| stephanboyer.com. | MX | 300 | MX Record: 5 alt2.aspmx.l.google.com. |
| stephanboyer.com. | MX | 300 | MX Record: 10 aspmx2.googlemail.com. |
| stephanboyer.com. | MX | 300 | MX Record: 10 aspmx3.googlemail.com. |
| stephanboyer.com. | MX | 300 | MX Record: 1 aspmx.l.google.com. |
| stephanboyer.com. | MX | 300 | MX Record: 5 alt1.aspmx.l.google.com. |
HtmlToTextCheckTime:2022-07-06 08:45:27
| Home Articles Projects Music About Follow @stepchowfun My hobby: proof engineering November 25, 2017 I have a great time working with my teammates at Airbnb. Many of them work very hard, so much that they don’t enjoy programming for fun anymore. I still love recreational programming, but in a peculiar sense. When I come home from work, I try to prove theorems in a proof assistant . Usually the theorems are related to functional programming or type systems. It’s a masochistic hobby. Convincing a computer that a theorem is true can be quite difficult compared to convincing a human. But if I can get a computer to accept my proof, then a) I must have a pretty good understanding of it, and b) it really must be right! I use the Coq theorem prover for formalizing proofs. Coq is a beautiful and simple language [1]—far simpler than the languages I use at work! Its beauty is hidden beneath a rather unsightly IDE [2]: The proof is on the left. The green highlighted part has been verified by Coq. |
HTTP Headers
HTTP/1.1 301 Moved Permanently
Date: Fri, 29 Oct 2021 10:55:58 GMT
Connection: keep-alive
Cache-Control: max-age=3600
Expires: Fri, 29 Oct 2021 11:55:58 GMT
Location: https://www.stephanboyer.com/
Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=lNFrzNWHhbxNFD47mxirtgitY%2F9F3rc9gEGT1xzG%2FcHCFhvUKv4HhC6G%2BxT%2Bsfornodm12rsOJ6PS%2FzniyOiDJTA%2B%2FcKpDbOoU00UHJQn60J3LE7dCLdmmsNpTiZcUKlyu0y"}],"group":"cf-nel","max_age":604800}
NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
X-Content-Type-Options: nosniff
Server: cloudflare
CF-RAY: 6a5bdfe76f69f222-ORD
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400
HTTP/2 200
date: Fri, 29 Oct 2021 10:55:58 GMT
content-type: text/html; charset=utf-8
x-frame-options: SAMEORIGIN
x-xss-protection: 1; mode=block
x-content-type-options: nosniff
cache-control: public, max-age=3600
x-request-id: 8ef4fb22-2ae7-4b95-be84-5e5fb21bdc90
x-runtime: 0.011359
via: 1.1 vegur
cf-cache-status: REVALIDATED
accept-ranges: bytes
expect-ct: max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
report-to: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=so3awB%2FDLh6cMhz6o2LHtUYB0u%2Be1eLYR%2BfmeWp35NtpCL20QmXDvtM0CbHWGgmYl9QukVZktEht9ZYbSQj%2B29mA%2FgpHiVDHP988suv6dHHUPOHigYtlj73XzQPo2JEY6Dz1MGeFGQ%3D%3D"}],"group":"cf-nel","max_age":604800}
nel: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
strict-transport-security: max-age=0; includeSubDomains
server: cloudflare
cf-ray: 6a5bdfe82eaf2c11-ORD
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400
|
stephanboyer.com Whois Information
Domain Name: STEPHANBOYER.COM Registry Domain ID: 1652456708_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.google.com Registrar URL: http://domains.google.com Updated Date: 2021-01-01T01:22:48Z Creation Date: 2011-04-23T14:00:51Z Registry Expiry Date: 2022-04-23T14:00:51Z Registrar: Google LLC Registrar IANA ID: 895 Registrar Abuse Contact Email: registrar-abuse@google.com Registrar Abuse Contact Phone: +1.8772376466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: MILES.NS.CLOUDFLARE.COM Name Server: NINA.NS.CLOUDFLARE.COM DNSSEC: unsigned >>> Last update of whois database: 2021-09-17T00:26:09Z <<< |