Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Rebecca Skinner - |
Description | Home Rebecca Skinner Resume Github Twitter Archive Home Recent Posts --> --> An Introduction to Type Level Programming - August 25, 2021 --> --> -- |
Keywords | N/A |
WebSite | rebeccaskinner.net |
Host IP | 185.199.110.153 |
Location | - |
Site | Rank |
US$1,831,103
Last updated: 2023-05-17 10:47:23
rebeccaskinner.net has Semrush global rank of 5,780,291. rebeccaskinner.net has an estimated worth of US$ 1,831,103, based on its estimated Ads revenue. rebeccaskinner.net receives approximately 211,282 unique visitors each day. Its web server is located in -, with IP address 185.199.110.153. According to SiteAdvisor, rebeccaskinner.net is safe to visit. |
Purchase/Sale Value | US$1,831,103 |
Daily Ads Revenue | US$1,691 |
Monthly Ads Revenue | US$50,708 |
Yearly Ads Revenue | US$608,490 |
Daily Unique Visitors | 14,086 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
rebeccaskinner.net. | A | 1799 | IP: 185.199.110.153 |
rebeccaskinner.net. | A | 1799 | IP: 185.199.109.153 |
rebeccaskinner.net. | A | 1799 | IP: 185.199.111.153 |
rebeccaskinner.net. | A | 1799 | IP: 185.199.108.153 |
rebeccaskinner.net. | NS | 1800 | NS Record: dns1.registrar-servers.com. |
rebeccaskinner.net. | NS | 1800 | NS Record: dns2.registrar-servers.com. |
rebeccaskinner.net. | MX | 1800 | MX Record: 10 aspmx3.googlemail.com. |
rebeccaskinner.net. | MX | 1800 | MX Record: 5 alt1.aspmx.l.google.com. |
rebeccaskinner.net. | MX | 1800 | MX Record: 5 alt2.aspmx.l.google.com. |
rebeccaskinner.net. | MX | 1800 | MX Record: 1 aspmx.l.google.com. |
rebeccaskinner.net. | MX | 1800 | MX Record: 10 aspmx2.googlemail.com. |
rebeccaskinner.net. | TXT | 1799 | TXT Record: google-site-verification=4Syp21OqWzZhVEp-gmRtlTK0BzaBI-tuvK_Mt_15Uic |
Rebecca Skinner Resume Github Twitter Archive Home Recent Posts --> --> An Introduction to Type Level Programming - August 25, 2021 --> --> --> The Fixed Point - June 9, 2021 --> --> --> The Nixification of rebeccaskinner.net - June 6, 2021 --> --> --> Syntax Highlighting in Hakyll - January 31, 2021 --> --> --> Building A Todo List with Python and Flask - May 11, 2018 --> --> --> Building Python Applications with Nix - May 9, 2018 --> --> --> An Introduction to Type Level Programming 107 minutes Used judiciously, type level programming can let you write programs that are safer, more expressive, more flexible, and easier to maintain over the long term. Unfortunately, learning when and how to make effective use of type-level programming constructs can be difficult. In this post you’ll learn how to apply many basic type-level programming concepts as you incrementally build a type-level theming system. When you’re finished with |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://rebeccaskinner.net/ X-GitHub-Request-Id: 62F6:652F:93BDA9:E0EC1F:6239881F Content-Length: 162 Accept-Ranges: bytes Date: Tue, 22 Mar 2022 08:26:07 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-bma1632-BMA X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1647937567.108231,VS0,VE102 Vary: Accept-Encoding X-Fastly-Request-ID: 363718fdf933a1eeea7e6e8e8fd654ec18bcde04 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Fri, 10 Sep 2021 21:20:44 GMT access-control-allow-origin: * etag: "613bcc2c-1dae" expires: Tue, 22 Mar 2022 08:36:07 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: A438:0B96:8BAFA2:D8CB91:6239881F fastly-original-body-size: 7598 accept-ranges: bytes date: Tue, 22 Mar 2022 08:26:07 GMT via: 1.1 varnish age: 0 x-served-by: cache-bma1630-BMA x-cache: MISS x-cache-hits: 0 x-timer: S1647937567.366277,VS0,VE97 vary: Accept-Encoding x-fastly-request-id: 9c2ac4670124cd3c6839d306a9a69f775a3fb2eb content-length: 7598 |
Domain Name: REBECCASKINNER.NET Registry Domain ID: 1817952502_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2018-07-25T19:07:19Z Creation Date: 2013-07-27T15:09:20Z Registry Expiry Date: 2024-07-27T15:09:20Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: ok https://icann.org/epp#ok Name Server: DNS1.REGISTRAR-SERVERS.COM Name Server: DNS2.REGISTRAR-SERVERS.COM DNSSEC: unsigned >>> Last update of whois database: 2022-03-22T08:50:53Z <<< |