id
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)
first seen date
2024-10-13 01:49:23
expired found date
-
created at
2024-10-13 01:49:23
updated at
2025-12-26 10:42:54
length
22
crc
63007
tld
2211
nm parts
0
nm random digits
0
nm rare letters
0
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)
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
386203
mp size raw text
124714
mp inner links count
27
mp inner links status
10 (links queued, awaiting import)
title
...never odd or even...
description
by Dominic Orchard. Posts on computer science, maths, languages.
image
site name
...never odd or even...
author
updated
2026-02-22 04:54:24
raw text
…never odd or even… – by Dominic Orchard. Posts on computer science, maths, languages. Skip to content …never odd or even… by Dominic Orchard. Posts on computer science, maths, languages. A short exploration of GHC’s instance resolution hiding mistakes from the type checker. I was recently working on some Haskell code (for research, with Jack Hughes ) and happened to be using a monoid (via the Monoid type class) and I was rushing. I accidentally wrote x `mempty` y instead of x `mappend` y . The code with mempty type checked and compiled, but I quickly noticed some tests giving unexpected results. After a pause, I checked the recent diff and noticed this mistake, but I had to think for a moment about why this mistake was not leading to a type error. I thought this was an interesting little example of how type class instance resolution can sometimes trip you up in Haskell, and how to uncover what is going on. This also points to a need for GHC to explain its instance ...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
1
spam phrases
0
text nonlatin
4
text cyrillic
0
text characters
65535
text words
19712
text unique words
3535
text lines
1773
text sentences
985
text paragraphs
255
text words per sentence
20
text matched phrases
0
text matched dictionaries
0
links self subdomains
0
links other subdomains
32 - hackage.haskell.org, blog.metatheorem.org, cl.cam.ac.uk, cs.kent.ac.uk, icfp17.sigplan.org, cs.ox.ac.uk, link.springer.com, win.tue.nl, cs.gunma-u.ac.jp, dl.acm.org, matt.might.net, mrg.doc.ic.ac.uk
links other domains
5 - mgsloan.com, metatheorem.org, iflconference.org, speakerdeck.com, dorchard.co.uk
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
2
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
51 - s0.wp.com, wp.me, s1.wp.com, wordpress.com, twitter.com, en.wikipedia.org
links ext klim
0
links ext generic
0
dol status
0
dol updated
2026-02-22 04:54:24
rss status
32 (unknown)
rss found date
2024-10-13 01:49:25
rss size orig
298530
rss items
10
rss spam phrases
0
rss detected language
1 (English)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
40 (completed successful import of reports.txt file to table in_pages)
sitemap review version
2
sitemap urls count
22
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
2024-10-13 01:49:24
sitemap process date
2024-10-13 01:49:24
sitemap first import date
-
sitemap last import date
2025-12-26 10:42:54