1. NetAtlas
  2. planet.haskell.org

planet.haskell.org

Homepage snapshot Rankings Pages Subdomains
Main

id

294208088

name

planet.haskell.org · homepage snapshot

processing priority

4

site type

0 (generic, awaiting analysis)

review version

11

html import

20 (imported)

Events

first seen date

2024-08-12 14:12:02

expired found date

-

created at

2024-08-12 14:12:01

updated at

2024-09-10 10:57:20

Domain name statistics

length

18

crc

3092

tld

2688

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

65860162 (haskell.org)

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

935598

mp size raw text

465444

mp inner links count

1

mp inner links status

10 (links queued, awaiting import)

Open Graph

title

description

image

site name

author

updated

2026-03-03 08:01:21

raw text

Planet Haskell Planet Haskell November 07, 2024 Donnacha Oisín Kidney POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda Posted on November 7, 2024 Tags: Agda New paper: “Algebraic Effects Meet Hoare Logic in Cubical Agda”, by myself, Zhixuan Yang , and Nicolas Wu , will be published at POPL 2024. Zhixuan has a nice summary of it here . The preprint is available here . by Donnacha Oisín Kidney at November 07, 2024 12:00 AM August 12, 2024 ERDI Gergo Formatting serial streams in hardware I've been playing around with building a Sudoku solver circuit on an FPGA: you connect to it via a serial port, send it a Sudoku grid with some unknown cells, and after solving it, you get back the solved (fully filled-in) grid. I wanted the output to be nicely human-readable, for example for a 3,3-Sudoku (i.e. the usual Sudoku size where the grid is made up of a 3 ⨯ 3 matrix of 3 ⨯ 3 boxes): 4 2 1 9 ...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

Frontend (137)

index version

1

spam phrases

0

Text statistics

text nonlatin

86

text cyrillic

0

text characters

65535

text words

65535

text unique words

7351

text lines

14907

text sentences

3289

text paragraphs

255

text words per sentence

22

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

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

-