Main

related bits

0

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-03-06 18:31:21

expired found date

-

created at

2024-05-31 11:51:44

updated at

2025-12-25 20:02:52

Domain name statistics

length

17

crc

19540

tld

2211

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

-

previous id

0

replaced with id

0

related id

-

dns primary id

13642151

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

81750

mp size raw text

1573

mp inner links count

6

mp inner links status

20 (imported)

Open Graph

title

Dan Marsden

description

I am a theoretical computer scientist, interested in logic, category theory and the foundations of computer science, with particular emphasis on applications of monad theory and graphical languages. A

site name

Dan Marsden

author

updated

2025-12-12 13:07:19

raw text

Dan Marsden – Theoretical computer scientist and lover of of monads and string diagrams Skip to content Dan Marsden Theoretical computer scientist and lover of of monads and string diagrams Menu Home Blog Contact Downloads Teaching Home I am a theoretical computer scientist, interested in logic, category theory and the foundations of computer science, with particular emphasis on applications of monad theory and graphical languages. Along with Ralf Hinze, I am the co-author of the book “ Introducing String Diagrams “. Much of my recent work has involved topics at the boundary between categorical semantics and finite model theory. I am currently a transitional assistant professor at the University of Nottingham, and a member of the functional programming lab . Latests blog posts : An application of monadicity A monad is just a one object enriched category Algebras are regular quotients of free algebras Beck’s Monadicity Theorem The Idea of Monadi...

Text analysis

redirect type

30 (window.location)

block type

0 (no issues)

detected language

1 (English)

category id

Pozostałe (16)

index version

2025110801

spam phrases

0

Text statistics

text nonlatin

0

text cyrillic

0

text characters

1129

text words

207

text unique words

120

text lines

52

text sentences

10

text paragraphs

2

text words per sentence

20

text matched phrases

0

text matched dictionaries

0

RSS

rss status

32 (unknown)

rss found date

2024-03-27 22:35:06

rss size orig

16289

rss items

10

rss spam phrases

0

rss detected language

1 (English)

inbefore feed id

-

inbefore status

0 (new)

Sitemap

sitemap status

30 (processing completed, results pushed to table crawler_sitemaps.ext_domain_sitemap_lists)

sitemap review version

1

sitemap urls count

62

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

2024-03-16 17:41:08

sitemap process date

2024-10-13 06:15:57

sitemap first import date

-

sitemap last import date

-