id
processing priority
3
site type
0 (generic, awaiting analysis)
review version
11
html import
20 (imported)
first seen date
2024-10-24 17:25:56
expired found date
-
created at
2024-10-24 17:25:56
updated at
2025-06-30 08:41:09
length
20
crc
47904
tld
86
nm parts
0
nm random digits
0
nm rare letters
0
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)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
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 bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
149851
mp size raw text
55435
mp inner links count
24
mp inner links status
10 (links queued, awaiting import)
title
description
I am an assistant research fellow (assistant professor) at the Institute of Information Science, Academia Sinica, Taiwan. I am interested in the discovery of mathematical and logical structures of com
image
site name
author
updated
2026-03-03 03:48:27
raw text
Hsiang-Shang ‘Josh’ Ko 柯向上 Hsiang-Shang ‘Josh’ Ko 柯向上 Assistant research fellow (assistant professor) Institute of Information Science (IIS) , Academia Sinica Room N719, IIS, 128 Academia Road, Section 2, Nankang, Taipei 115201, Taiwan Blog Research Profile Roles Publications & manuscripts Latest blog posts What is intrinsically typed programming? To answer the question, one way may be moving to a more primitive setting that’s closer to logic programming, to see more clearly what happens when checking intrinsically typed programs. — 0040 · 11 Oct ’24 My fleet of model aircraft I collect model aircraft mainly to remember some of my flights and the people and stories associated with them. — 0039 · 9 Sep ’24 Always inhabited binomial trees A variation of the binomial tree datatype, and some more thoughts on a theory of datatype integration. — 0038 · 5 Jun ’24 All blog posts… Research Dependently typed programming Datatype-generic progra...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
1
spam phrases
0
text nonlatin
296
text cyrillic
0
text characters
42020
text words
7393
text unique words
1900
text lines
991
text sentences
219
text paragraphs
56
text words per sentence
33
text matched phrases
0
text matched dictionaries
0
links self subdomains
0
links other subdomains
105 - iis.sinica.edu.tw, homepage.iis.sinica.edu.tw, wiki.portal.chalmers.se, cs.ox.ac.uk, hackage.haskell.org, flolac.iis.sinica.edu.tw, scm.iis.sinica.edu.tw, ox.ac.uk, popl25.sigplan.org, popl20.sigplan.org, popl21.sigplan.org, cs.au.dk, popl19.sigplan.org, conf.researchr.org, icfp21.sigplan.org, cs.kent.ac.uk, icfp19.sigplan.org, popl24.sigplan.org, bx-community.wikidot.com, homepages.inf.ed.ac.uk, 2022.programming-conference.org, cse.chalmers.se, dbpl.vldb2020.org, icfp20.sigplan.org, icfp18.sigplan.org, popl18.sigplan.org, info.kochi-tech.ac.jp, ifipwg21wiki.cs.kuleuven.be, link.springer.com, icfp22.sigplan.org, dl.acm.org, csl2022.uni-goettingen.de, drops.dagstuhl.de, bull.iis.sinica.edu.tw, ac.k331.one, haslab.uminho.pt, ct.info.gifu-u.ac.jp, mrg.doc.ic.ac.uk, 2018.programming-conference.org, 2018.programmingconference.org, static.cambridge.org, ora.ox.ac.uk, patrikja.owlstown.net, mpc08.lri.fr
links other domains
76 - sinica.edu.tw, goo.gl, functional.cafe, orcid.org, dblp.org, haskell.org, ncatlab.org, doi.org, nii.ac.jp, ntu.edu.tw, airliners.net, x-plane.com, sigplan.org, tydeworkshop.org, etaps.org, trendsfp.com, programming-journal.org, icfpconference.org, diku.dk, nstc.gov.tw, ceur-ws.org, usenix.org, springer.com, rdcu.be, sosym.org, biscuits.work, cambridge.org, sleconf.org, getbootstrap.com
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
9
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
72 - en.wikipedia.org, youtu.be
links ext klim
0
links ext generic
4
dol status
0
dol updated
2026-03-03 03:48:27
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 path
sitemap status
3 (priority 3 already searched, no matches found)
sitemap review version
2
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
-