Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Michael Smith — |
Description | Hello! I’m a graduate computer science researcher in the PhD program at UC San Diego , working on programming systems and security. I’ve previously intern |
Keywords | N/A |
WebSite | spinda.net |
Host IP | 158.69.213.144 |
Location | United States |
Site | Rank |
US$495,909
Last updated: 2023-05-12 19:05:05
spinda.net has Semrush global rank of 21,343,254. spinda.net has an estimated worth of US$ 495,909, based on its estimated Ads revenue. spinda.net receives approximately 57,221 unique visitors each day. Its web server is located in United States, with IP address 158.69.213.144. According to SiteAdvisor, spinda.net is safe to visit. |
Purchase/Sale Value | US$495,909 |
Daily Ads Revenue | US$458 |
Monthly Ads Revenue | US$13,733 |
Yearly Ads Revenue | US$164,795 |
Daily Unique Visitors | 3,815 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
spinda.net. | A | 297 | IP: 158.69.213.144 |
spinda.net. | NS | 300 | NS Record: ns5.he.net. |
spinda.net. | NS | 300 | NS Record: ns1.he.net. |
spinda.net. | NS | 300 | NS Record: ns4.he.net. |
spinda.net. | NS | 300 | NS Record: ns3.he.net. |
spinda.net. | NS | 300 | NS Record: ns2.he.net. |
spinda.net. | MX | 300 | MX Record: 1 aspmx.l.google.com. |
spinda.net. | MX | 300 | MX Record: 10 aspmx3.googlemail.com. |
spinda.net. | MX | 300 | MX Record: 10 aspmx2.googlemail.com. |
spinda.net. | MX | 300 | MX Record: 5 alt1.aspmx.l.google.com. |
spinda.net. | MX | 300 | MX Record: 5 alt2.aspmx.l.google.com. |
spinda.net. | TXT | 300 | TXT Record: hey-verification:9aSdURiP9N6hwFfz2i4nrYQR |
spinda.net. | TXT | 300 | TXT Record: v=spf1 include:_spf.google.com ~all |
Hello! I’m a graduate computer science researcher in the PhD program at UC San Diego , working on programming systems and security. I’ve previously interned at Mozilla , contributing to Firefox’s JavaScript engine/JIT, headless mode, and remote debugging protocols, as well as Rust and Servo ; and at Brave , building new systems for web privacy protection, program analysis, and browser engine instrumentation. I’ve also contributed to LiquidHaskell and the Glasgow Haskell Compiler . Email: mds009@eng.ucsd.edu GitHub: @spinda Currently Working On: Research: Cachet ( GitHub ) Static checking for secure just-in-time compilers, using Rust , Corral , Boogie , and Z3 ! Designing a language for building secure compilers, and using it to verify a fork of Firefox’s JavaScript JIT. Personal: SmartDry Lives! Reviving a dead IoT laundry sensor by hacking the firmware and reimplementing its cloud backend. Fun Projects: ML: Who needs a backend? ChatGPT as the universal Redux reducer Publications: |
HTTP/1.1 301 Moved Permanently Server: nginx/1.20.1 Date: Sun, 19 Dec 2021 20:29:13 GMT Content-Type: text/html Content-Length: 169 Connection: keep-alive Location: https://www.spinda.net/ HTTP/2 200 server: nginx/1.20.1 date: Sun, 19 Dec 2021 20:29:16 GMT content-type: text/html content-length: 2814 last-modified: Fri, 02 Nov 2018 18:02:45 GMT etag: "5bdc9145-afe" strict-transport-security: max-age=63072000; x-frame-options: DENY x-content-type-options: nosniff accept-ranges: bytes |
Domain Name: SPINDA.NET Registry Domain ID: 1915805312_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-03-03T07:31:21Z Creation Date: 2015-04-02T04:34:10Z Registry Expiry Date: 2022-04-02T04:34:10Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS1.HE.NET Name Server: NS2.HE.NET Name Server: NS3.HE.NET Name Server: NS4.HE.NET Name Server: NS5.HE.NET DNSSEC: unsigned >>> Last update of whois database: 2021-12-23T07:47:52Z <<< |