nickbenton.name valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
Title Nick Benton:
Description Nick Benton --> Research Interests Publications Talks, etc. Personal Contact Leviathan Cω Polyphonic C# SML.NET MLj Coqdomains x86proved Hack I am an E
Keywords N/A
Server Information
WebSite nickbenton faviconnickbenton.name
Host IP 185.199.110.153
Location -
Related Websites
Site Rank
More to Explore
nickbenton.name Valuation
US$1,526,108
Last updated: 2023-05-16 20:31:58

nickbenton.name has Semrush global rank of 6,935,490. nickbenton.name has an estimated worth of US$ 1,526,108, based on its estimated Ads revenue. nickbenton.name receives approximately 176,090 unique visitors each day. Its web server is located in -, with IP address 185.199.110.153. According to SiteAdvisor, nickbenton.name is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$1,526,108
Daily Ads Revenue US$1,409
Monthly Ads Revenue US$42,262
Yearly Ads Revenue US$507,138
Daily Unique Visitors 11,740
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
nickbenton.name. A 299 IP: 185.199.110.153
nickbenton.name. A 299 IP: 185.199.109.153
nickbenton.name. A 299 IP: 185.199.108.153
nickbenton.name. A 299 IP: 185.199.111.153
nickbenton.name. NS 300 NS Record: ns1dns.name.com.
nickbenton.name. NS 300 NS Record: ns2fgp.name.com.
nickbenton.name. NS 300 NS Record: ns3gxy.name.com.
nickbenton.name. NS 300 NS Record: ns4cfn.name.com.
HtmlToTextCheckTime:2023-05-16 20:31:58
Nick Benton --> Research Interests Publications Talks, etc. Personal Contact Leviathan Cω Polyphonic C# SML.NET MLj Coqdomains x86proved Hack I am an Engineering Manager at Facebook in London, supporting the Hack London team and the Facebook Languages Research (FLaRe) team in Paris. My research ranges from proof theory and categorical logic, through semantics of programming languages and static analyses, to programming language design and compiler implementation. My thesis was on strictness analysis and I have since worked on topics that include term calculi and categorical models for linear logic, MLj and SML.NET (optimizing compilers from SML to the JVM and .NET with extensions for interlanguage working), Polyphonic C#/Cω (C# with join-calculus concurrency and XML/relational data constructs), monads and effect systems, models for dynamic allocation, compositional compiler correctness, mechanically formalized logics for reasoning about machine code programs, and reactive
HTTP Headers
HTTP/1.1 200 OK
Server: GitHub.com
Content-Type: text/html; charset=utf-8
Last-Modified: Tue, 23 Jul 2019 17:32:43 GMT
Access-Control-Allow-Origin: *
ETag: "5d3744bb-c81"
expires: Sat, 12 Feb 2022 00:01:10 GMT
Cache-Control: max-age=600
x-proxy-cache: MISS
X-GitHub-Request-Id: AA5E:0EE7:C1638:FD46D:6206F66E
Content-Length: 3201
Accept-Ranges: bytes
Date: Sat, 12 Feb 2022 09:43:46 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-bma1662-BMA
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1644659026.266986,VS0,VE108
Vary: Accept-Encoding
X-Fastly-Request-ID: df675b3374585f47d939c613b91a6c3e5a13a19a
nickbenton.name Whois Information
****
Registry Domain ID: 134597681_DOMAIN_NAME-VRSN
Domain Name: NICKBENTON.NAME
Registrar: Name.com, Inc.
Registrar IANA ID: 625
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
>>> Last update of whois database: 2022-02-11T23:15:21Z <<<