Main

processing priority

4

site type

3 (personal blog or private political site, e.g. Blogspot, Substack, also small blogs on own domains)

review version

11

html import

20 (imported)

Events

first seen date

2024-08-13 01:44:36

expired found date

-

created at

2024-08-13 01:44:35

updated at

2025-04-21 22:37:00

Domain name statistics

length

23

crc

2528

tld

2211

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

13642151 (wordpress.com)

previous id

0

replaced with id

0

related id

-

dns primary id

0

dns alternative id

0

lifecycle status

0 (unclassified, or currently active)

Subdomains and pages

deleted subdomains

0

page imported products

0

page imported random

0

page imported parking

0

Error counters

count skipped due to recent timeouts on the same server IP

0

count content received but rejected due to 11-799

0

count dns errors

0

count cert errors

0

count timeouts

0

count http 429

0

count http 404

0

count http 403

0

count http 5xx

0

next operation date

-

Server

server bits

server ip

-

Mainpage statistics

mp import status

20

mp rejected date

-

mp saved date

-

mp size orig

660736

mp size raw text

149445

mp inner links count

48

mp inner links status

10 (links queued, awaiting import)

Open Graph

title

MyCQstate

description

In superposition

image

site name

MyCQstate

author

updated

2026-02-26 16:52:50

raw text

MyCQstate | In superposition MyCQstate In superposition Skip to content Home About ← Older posts What it is that we do Posted on November 22, 2020 by Thomas This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a “proof-based” discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will discuss my emerging take on truth in mathematics; what I say applies to TCS as well. (I wasn’t able to find satisfactory writings on the practice of computer science, even more broadly interpreted than just “theory”; any pointers on this are very welcome.) I obviously don’t claim any originality here; I suspect that to some the points I make might be interesting while to others they could feel passé–in the latter case, please help me make progress in the comments! A circle is a pl...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

Edukacja (47)

index version

1

spam phrases

0

Text statistics

text nonlatin

0

text cyrillic

0

text characters

65535

text words

24214

text unique words

3556

text lines

1723

text sentences

997

text paragraphs

218

text words per sentence

24

text matched phrases

0

text matched dictionaries

0

RSS

rss status

32 (unknown)

rss found date

2024-10-12 00:07:53

rss size orig

569831

rss items

10

rss spam phrases

0

rss detected language

1 (English)

inbefore feed id

-

inbefore status

0 (new)

Sitemap

sitemap status

10 (sitemap found, awaiting processing)

sitemap review version

2

sitemap urls count

75

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

2024-08-17 10:55:38

sitemap process date

2024-08-17 10:55:38

sitemap first import date

-

sitemap last import date

-