Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | metareflection.club |
Description | Skip to the content. metareflection.club The moon and its broken reflection And its shadows shall appear, As the symbol of love in heaven, And its waverin |
Keywords | N/A |
WebSite | metareflection.club |
Host IP | 185.199.110.153 |
Location | - |
Site | Rank |
US$1,005
Last updated: 2023-05-12 05:33:45
metareflection.club has Semrush global rank of 0. metareflection.club has an estimated worth of US$ 1,005, based on its estimated Ads revenue. metareflection.club receives approximately 116 unique visitors each day. Its web server is located in -, with IP address 185.199.110.153. According to SiteAdvisor, metareflection.club is safe to visit. |
Purchase/Sale Value | US$1,005 |
Daily Ads Revenue | US$0 |
Monthly Ads Revenue | US$27 |
Yearly Ads Revenue | US$334 |
Daily Unique Visitors | 7 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
metareflection.club. | A | 1799 | IP: 185.199.110.153 |
metareflection.club. | A | 1799 | IP: 185.199.108.153 |
metareflection.club. | A | 1799 | IP: 185.199.109.153 |
metareflection.club. | A | 1799 | IP: 185.199.111.153 |
metareflection.club. | NS | 10800 | NS Record: ns-103-c.gandi.net. |
metareflection.club. | NS | 10800 | NS Record: ns-2-a.gandi.net. |
metareflection.club. | NS | 10800 | NS Record: ns-80-b.gandi.net. |
metareflection.club. | MX | 10800 | MX Record: 10 spool.mail.gandi.net. |
metareflection.club. | MX | 10800 | MX Record: 50 fb.mail.gandi.net. |
metareflection.club. | TXT | 10800 | TXT Record: v=spf1 include:_mailcust.gandi.net ?all |
Skip to the content. metareflection.club The moon and its broken reflection And its shadows shall appear, As the symbol of love in heaven, And its wavering image here. View at Harvard metareflection.club The metareflection.club researches all aspects of static and dynamic reflection, programs / processes manipulating programs / processes. Research Projects Theory (semantics) and practice (architectures, examples) of dynamic reflection Multi-stage programming to collapse levels of interpretation Applications of computational reflection to learning theories in cognitive science and psychology Neuro-symbolic bijections Modular verification Reasoning over knowledge graphs Joining relational programming and SMT (Satisfiability Modulo Theories) solving Unifying probabilistic and constraint/logic programming Automating (chip) design Automating (biology) protocols Programming Languages Coq, Lean SMTLIB, Dafny, F* Scala, OCaml, F#, SML miniKanren, Prolog Scheme, Common Lisp, Clojure Python C, |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://metareflection.club/ X-GitHub-Request-Id: B34A:62D7:33EC4:579B1:61A886B4 Content-Length: 162 Accept-Ranges: bytes Date: Thu, 02 Dec 2021 08:41:24 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-ewr18171-EWR X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1638434484.173378,VS0,VE22 Vary: Accept-Encoding X-Fastly-Request-ID: fec76b6de4c84af541b2d883306582a0ae887786 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 22 Jul 2021 16:35:37 GMT access-control-allow-origin: * etag: "60f99e59-c94" expires: Thu, 02 Dec 2021 08:51:24 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 51EE:39DC:64E3D:8A484:61A886B4 accept-ranges: bytes date: Thu, 02 Dec 2021 08:41:24 GMT via: 1.1 varnish age: 0 x-served-by: cache-lga21960-LGA x-cache: MISS x-cache-hits: 0 x-timer: S1638434484.269746,VS0,VE15 vary: Accept-Encoding x-fastly-request-id: acdde13cfeb48164d93ab61ec2b2d5d557a332cb content-length: 3220 |
Domain Name: metareflection.club Registry Domain ID: D54A1482BACB4452CA2FE3F65384B9A01-NSR Registrar URL: whois.gandi.net Updated Date: 2021-06-20T04:40:57Z Creation Date: 2020-02-01T07:14:25Z Registry Expiry Date: 2023-02-01T07:14:25Z Registrar: Gandi SAS Registrar IANA ID: 81 Registrar Abuse Contact Email: abuse@support.gandi.net Registrar Abuse Contact Phone: +33.170377661 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Country: CH Name Server: ns-103-c.gandi.net Name Server: ns-2-a.gandi.net Name Server: ns-80-b.gandi.net DNSSEC: unsigned >>> Last update of WHOIS database: 2021-12-09T06:15:52Z <<< |