Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
#Default for missing robots.txt User-agent: * Disallow: Crawl-delay: |
Title | Leslie Lamport’s Home |
Description | LESLIE LAMPORT’S HOME PAGE ANNOUNCEMENT: TLA+ Workshop, 27 August 2012, Paris The TLA Toolbox, an IDE for the TLA+ tools, has been released. Check it out. |
Keywords | N/A |
WebSite | lamport.org |
Host IP | 205.233.73.65 |
Location | United States |
Site | Rank |
US$5,797,665
Last updated: 2023-05-04 10:15:43
lamport.org has Semrush global rank of 1,825,615. lamport.org has an estimated worth of US$ 5,797,665, based on its estimated Ads revenue. lamport.org receives approximately 668,962 unique visitors each day. Its web server is located in United States, with IP address 205.233.73.65. According to SiteAdvisor, lamport.org is safe to visit. |
Purchase/Sale Value | US$5,797,665 |
Daily Ads Revenue | US$5,352 |
Monthly Ads Revenue | US$160,551 |
Yearly Ads Revenue | US$1,926,609 |
Daily Unique Visitors | 44,598 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
lamport.org. | A | 3599 | IP: 205.233.73.65 |
lamport.org. | NS | 3600 | NS Record: ns2.your-site.com. |
lamport.org. | NS | 3600 | NS Record: ns1.your-site.com. |
lamport.org. | NS | 3600 | NS Record: ns3.your-site.com. |
lamport.org. | MX | 3600 | MX Record: 10 mx01.your-site.com. |
lamport.org. | MX | 3600 | MX Record: 99 mx99.your-site.com. |
lamport.org. | TXT | 3600 | TXT Record: v=spf1 a mx include:_spf.your-site.com ~all |
lamport.org. | TXT | 3600 | TXT Record: spf2.0/pra a mx include:_spf.your-site.com ~all |
LESLIE LAMPORT’S HOME PAGE ANNOUNCEMENT: TLA+ Workshop, 27 August 2012, Paris The TLA Toolbox, an IDE for the TLA+ tools, has been released. Check it out. The PlusCal Algorithm Language NEW: Why Don’t Computer Scientists Learn Math? --> TLA+ Use at Amazon The TLA Web Page My Collected Works My Coordinates 37° 24’ 14" North 122° 2’ 6" West address: Microsoft Corporation 1020 Enterprise Way Sunnyvale, CA 94089 U.S.A. email: I am happy to receive email from people, but not from spammers. So, please do not put my email address on the Web in plain text. You may post this gif file if you wish. notes |
HTTP/1.1 200 OK Date: Tue, 26 Oct 2021 12:33:42 GMT Server: Apache Upgrade: h2,h2c Connection: Upgrade Last-Modified: Mon, 07 Jan 2019 02:09:04 GMT ETag: "9df-57ed4b68dab57" Accept-Ranges: bytes Content-Length: 2527 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: LAMPORT.ORG Registry Domain ID: D3224723-LROR Registrar WHOIS Server: whois.networksolutions.com Registrar URL: http://www.networksolutions.com Updated Date: 2020-11-27T07:53:52Z Creation Date: 1999-01-26T05:00:00Z Registry Expiry Date: 2026-01-26T05:00:00Z Registrar: Network Solutions, LLC Registrar IANA ID: 2 Registrar Abuse Contact Email: abuse@web.com Registrar Abuse Contact Phone: +1.8777228662 Domain Status: ok https://icann.org/epp#ok Registrant State/Province: FL Registrant Country: US Name Server: NS1.YOUR-SITE.COM Name Server: NS3.YOUR-SITE.COM Name Server: NS2.YOUR-SITE.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-09-14T12:45:42Z <<< |