Main

related bits

0

processing priority

3

site type

5 (wiki-type site, growing by topic rather than chronologically)

review version

11

html import

20 (imported)

Events

first seen date

2024-09-15 04:33:48

expired found date

-

created at

2024-09-15 04:33:48

updated at

2026-02-25 06:13:21

Domain name statistics

length

16

crc

10411

tld

86

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

87719371 (github.io)

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

4569

mp size raw text

804

mp inner links count

12

mp inner links status

20 (imported)

Open Graph

title

description

Grad student at UCSC researching programming languages.

image

site name

author

updated

2026-02-22 20:16:58

raw text

Tim Disney (disnetdev) -- Home Hello! My name is Tim Disney. I talk @disnet tim@disnet.me I make code papers blog posts Recent Publications Hygienic Macros for JavaScript (Dissertation 2015) Contracts for Async Patterns in JavaScript (STOP 2015) Game Semantics for Type Soundness (LICS 2015) Sweeten Your JavaScript: Hygienic Macros for ES5 (DLS 2014) Dynamic Detection of Object Capability Violations Through Model Checking (DLS 2014) Traces for Type Soundness (Tech Report 2014) Types for Precise Thread Interference ( Tech Report 2011) Virtual Values for Language Extension (OOPSLA 2011) Temporal Higher-Order Contracts (ICFP 2011) Gradual Information Flow Typing (STOP 2011) Copyright © Tim Disney

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

568

text words

101

text unique words

70

text lines

32

text sentences

3

text paragraphs

0

text words per sentence

33

text matched phrases

0

text matched dictionaries

0

RSS

rss path

rss status

1 (priority 1 already searched, no matches found)

rss found date

-

rss size orig

0

rss items

0

rss spam phrases

0

rss detected language

0 (awaiting analysis)

inbefore feed id

-

inbefore status

0 (new)

Sitemap

sitemap path

sitemap status

1 (priority 1 already searched, no matches found)

sitemap review version

1

sitemap urls count

0

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

-

sitemap process date

-

sitemap first import date

-

sitemap last import date

-