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-09-27 22:48:50

expired found date

-

created at

2024-09-27 22:48:50

updated at

2025-12-28 13:07:06

Domain name statistics

length

30

crc

38460

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

83158

mp size raw text

1729

mp inner links count

0

mp inner links status

1 (no links)

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

2026-02-28 19:17:41

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 . I have a fully funded PhD studentship for a home student, please get in touch if you are interested in doing a PhD with me. Latests blog posts : An application of monadicity A monad is just a...

Text analysis

redirect type

30 (window.location)

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

1248

text words

236

text unique words

136

text lines

56

text sentences

11

text paragraphs

3

text words per sentence

21

text matched phrases

0

text matched dictionaries

0

RSS

rss status

32 (unknown)

rss found date

2024-09-27 22:48:51

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

40 (completed successful import of reports.txt file to table in_pages)

sitemap review version

2

sitemap urls count

62

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

2024-09-27 22:48:51

sitemap process date

2024-09-27 22:48:51

sitemap first import date

-

sitemap last import date

2025-12-28 13:07:06