tom7.org valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Tom Murphy 7’s Invincible Web |
| Description | Tom 7’s serious web page for graduate school. (But it has fun stuff |
| Keywords | tom 7, tom murphy, tom murphy vii, cs computer science graduate student CMU, programming languages, pittsburgh, pa, sml, type theory, design |
Server Information
| WebSite | |
| Host IP | 104.236.64.252 |
| Location | United States |
Related Websites
| Site | Rank |
More to Explore
tom7.org Valuation
|
US$6,987,469
Last updated: 2023-05-03 20:40:21
tom7.org has Semrush global rank of 1,514,755. tom7.org has an estimated worth of US$ 6,987,469, based on its estimated Ads revenue. tom7.org receives approximately 806,247 unique visitors each day. Its web server is located in United States, with IP address 104.236.64.252. According to SiteAdvisor, tom7.org is safe to visit. |
Traffic & Worth Estimates
| Purchase/Sale Value | US$6,987,469 |
| Daily Ads Revenue | US$6,450 |
| Monthly Ads Revenue | US$193,500 |
| Yearly Ads Revenue | US$2,321,990 |
| Daily Unique Visitors | 53,750 |
| Note: All traffic and earnings values are estimates. | |
DNS Records
| Host | Type | TTL | Data |
| tom7.org. | A | 1200 | IP: 104.236.64.252 |
| tom7.org. | NS | 300 | NS Record: dns1.stabletransit.com. |
| tom7.org. | NS | 300 | NS Record: dns2.stabletransit.com. |
| tom7.org. | MX | 86400 | MX Record: 10 aspmx.l.google.com. |
| tom7.org. | MX | 86400 | MX Record: 20 ALT2.aspmx.l.google.com. |
| tom7.org. | MX | 86400 | MX Record: 20 ALT1.aspmx.l.google.com. |
| tom7.org. | MX | 86400 | MX Record: 30 ASPMX3.GOOGLEMAIL.com. |
| tom7.org. | MX | 86400 | MX Record: 30 ASPMX4.GOOGLEMAIL.com. |
| tom7.org. | MX | 86400 | MX Record: 30 ASPMX5.GOOGLEMAIL.com. |
| tom7.org. | MX | 86400 | MX Record: 30 ASPMX2.GOOGLEMAIL.com. |
| tom7.org. | TXT | 300 | TXT Record: google-site-verification=YC2u_IequCH9jMB_ahX9zfi5XtJU1pUIao8hDJk-ms0 |
HtmlToTextCheckTime:2023-05-03 20:40:21
| --> Tom Murphy VII welcomes you to the internet. CS PhD alumnus (2001–2007) Advisors : Bob Harper , Karl Crary Phone : Who uses phones?? Your prestigious university or an irrationally exuberant venture capitalist you know is so totally going to hire me when I graduate this year, right? --> Hi I finished grad school! A long time ago! Now I’m just a guy with a PhD , some papers , and a bunch of projects . I love programming languages to the max. For my research I worked on the ConCert Project , eventually designing and implementing a typed programming language for distributed programming called ML5 . It’s based on modal logic and I formalized lots of the proofs in Twelf so they can be verified by our patient and careful friends, computers. Lots of people don’t care about programming languages, possibly because they think that all languages are the same, or they don’t want help from their patient and careful friends, or have never used an optimizing compiler for a high-level |
HTTP Headers
HTTP/1.1 200 OK Date: Tue, 26 Oct 2021 01:03:34 GMT Server: Apache/2.4.41 (Ubuntu) Accept-Ranges: bytes Vary: Accept-Encoding Content-Length: 16775 Content-Type: text/html |
tom7.org Whois Information
WHOIS LIMIT EXCEEDED - SEE WWW.PIR.ORG/WHOIS FOR DETAILS |