{"scan":{"id":"d9490a3b-5753-41ba-9427-dd08f125a1cf","inputUrl":"blog.kleisli.io","url":"http://blog.kleisli.io/","site":"blog.kleisli.io","collectionId":"5146f352-cd06-4ad5-9a57-617bc10d6609","status":"success","error":null,"pageTitle":"Kleisli.IO Blog","finalUrl":"https://blog.kleisli.io/","dnsServer":"9.9.9.9","pages":3,"browsingHistory":["https://blog.kleisli.io/","https://blog.kleisli.io/post/dependent-types-in-pure-nix","https://blog.kleisli.io/feed.xml"],"device":"mobile-pixel-4a-5g","phase":"pre","postOf":null,"consentResult":null,"consentCmp":null,"language":"en","languageSource":"html-lang","acceptLanguage":"en-US","languageDocument":true,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"tcfCmpId":null,"blocked":null,"blockedBy":null,"totalTrackingRequests":0,"analysisVersion":11,"trackerdbVersion":"1.0.945","maxmindDate":"2026-06-17","collectorVersion":"3.11.0","wikidataQid":null,"wikidataConfidence":null,"priority":0,"runnerId":null,"leaseExpiresAt":null,"requiredTag":null,"avoidRunnerId":null,"attempts":1,"createdAt":"2026-09-07T09:55:02.418Z","startedAt":"2026-09-08T10:31:53.212Z","finishedAt":"2026-09-08T10:32:10.262Z"},"pageAfterConsent":false,"half":{"id":"d9490a3b-5753-41ba-9427-dd08f125a1cf","status":"success","at":"2026-09-07T09:55:02.418Z","pages":["https://blog.kleisli.io/","https://blog.kleisli.io/post/dependent-types-in-pure-nix","https://blog.kleisli.io/feed.xml"],"consentResult":null,"consentCmp":null,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"trackerRefs":[],"trackers":0,"requests":0,"thirdPartyHosts":2,"cookies":1,"thirdPartyCookies":0},"other":{"id":"d7bbc370-78c3-4850-930f-aeca53d7b2a5","status":"success","at":"2026-09-08T10:32:10.294Z","pages":["https://blog.kleisli.io/","https://blog.kleisli.io/post/dependent-types-in-pure-nix","https://blog.kleisli.io/feed.xml"],"consentResult":"nopopup","consentCmp":null,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"trackerRefs":[],"trackers":0,"requests":0,"thirdPartyHosts":2,"cookies":1,"thirdPartyCookies":0,"phase":"post","trackerRows":[]},"trackers":[],"unidentified":[],"hosts":[{"id":635800,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","hostname":"blog.kleisli.io","party":"first","addresses":["46.62.233.128"],"countries":["DE"],"providers":["Hetzner Online GmbH (AS24940)"],"asns":[24940],"source":"observed","error":null},{"id":635801,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","hostname":"fonts.googleapis.com","party":"third","addresses":["74.125.71.95"],"countries":["US"],"providers":["Google LLC (AS15169)"],"asns":[15169],"source":"observed","error":null},{"id":635802,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","hostname":"fonts.gstatic.com","party":"third","addresses":["142.251.39.99"],"countries":["US"],"providers":["Google LLC (AS15169)"],"asns":[15169],"source":"observed","error":null}],"consentManagers":[],"signals":[{"id":930653,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"behaviour","label":"MOUSE","source":"https://blog.kleisli.io/_lol/a/9d7ddbf72fb3d153158aa33b3f84cf5955a811bff8c0eb39bdac6126786f4cee.js","details":["scroll"]},{"id":930654,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"behaviour","label":"MOUSE","source":"https://blog.kleisli.io/_lol/a/ae0197dde303ff4e107337c1f7693d5ff40fdeeb957feb26872a2158af37b37b.js","details":["click"]},{"id":930655,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"behaviour","label":"MOUSE","source":"https://blog.kleisli.io/_lol/a/f484b151322315a59d9cfb5627f35700c47deb44231434a443ef12c7129cdaed.js","details":["click"]},{"id":930656,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"behaviour","label":"MOUSE","source":"https://blog.kleisli.io/_lol/a/14dc9924d58521332c2767684327cd0a5f5161c49908f327bfc4fd34c3fc02fc.js","details":["click"]},{"id":930657,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"behaviour","label":"KEYBOARD","source":"https://blog.kleisli.io/_lol/a/f484b151322315a59d9cfb5627f35700c47deb44231434a443ef12c7129cdaed.js","details":["keydown"]}],"cookies":[{"id":517329,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","name":"lack.session","domain":"blog.kleisli.io","path":"/","party":"first","session":false,"expiresAt":"2027-10-13T10:32:03.072Z","secure":true,"httpOnly":true,"sameSite":"Lax"}],"software":[],"platforms":[],"offeredLanguages":[],"resources":[{"id":1124152,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","party":"first","kind":"script","requests":19,"bytes":5017621},{"id":1124153,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","party":"first","kind":"style","requests":6,"bytes":2827907},{"id":1124154,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","party":"third","kind":"font","requests":6,"bytes":480462},{"id":1124155,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","party":"first","kind":"document","requests":4,"bytes":25711},{"id":1124156,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","party":"first","kind":"image","requests":4,"bytes":4538},{"id":1124157,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","party":"third","kind":"style","requests":2,"bytes":2604},{"id":1124158,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","party":"first","kind":"other","requests":2,"bytes":256}],"dependencies":[{"id":407552,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","host":"fonts.gstatic.com","requests":6,"bytes":480462,"kinds":["font"],"embedded":false},{"id":407553,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","host":"fonts.googleapis.com","requests":2,"bytes":2604,"kinds":["style"],"embedded":false}],"pixels":[],"headers":[{"id":350978,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","name":"content-security-policy","value":"default-src 'self'; script-src 'self'; style-src 'self' https://fonts.googleapis.com; font-src 'self' data: https://fonts.gstatic.com; img-src 'self' data: https:; connect-src 'self'"},{"id":350979,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","name":"referrer-policy","value":"strict-origin-when-cross-origin"},{"id":350980,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","name":"server","value":"nginx"},{"id":350981,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","name":"x-content-type-options","value":"nosniff"},{"id":350982,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","name":"x-frame-options","value":"DENY"}],"identifiers":[],"domain":{"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","domain":"kleisli.io","dnssec":"unsigned","ipv6":true,"ipv6Reachable":null,"ipv6Reason":"no-egress","spf":true,"dmarcPolicy":"quarantine","dnsError":null,"tlsProtocol":"TLSv1.3","tlsCipher":"TLS_AES_256_GCM_SHA384","tlsAlpn":"h2","tlsIssuer":"Let's Encrypt","tlsValidFrom":"2026-08-07T06:36:42.000Z","tlsValidTo":"2026-11-05T06:36:41.000Z","tlsAuthorized":true,"tlsError":null,"registrar":null,"registeredAt":null,"expiresAt":null,"holderCountry":null,"rdapSource":"rdap.org","rdapError":"domaine inconnu du registre","robotsFound":true,"robotsAllows":true,"adsFound":false,"adsPartners":0,"securityFound":false,"securityContact":null,"probedAt":"2026-09-08T10:32:10.277Z","mailProvider":null,"dnsProvider":null,"tlsAuthority":"Let's Encrypt (ISRG)","tlsAuthorityCountry":"US"},"dns":[{"id":403871,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"mx","value":"mail.kleisli.io","rank":10,"cnameTarget":null,"provider":null},{"id":403872,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"ns","value":"ns2.kleisli.io","rank":null,"cnameTarget":null,"provider":null},{"id":403873,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","kind":"ns","value":"ns1.kleisli.io","rank":null,"cnameTarget":null,"provider":null}],"adsPartners":[],"blocklists":[{"id":685072,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"Quad9","resolverIp":"9.9.9.9","kind":"security","verdict":"allowed","note":null},{"id":685073,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"CleanBrowsing Security","resolverIp":"185.228.168.9","kind":"security","verdict":"allowed","note":null},{"id":685074,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"Comodo Secure","resolverIp":"8.26.56.26","kind":"security","verdict":"unknown","note":"ETIMEOUT"},{"id":685075,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"OpenDNS","resolverIp":"208.67.222.222","kind":"security","verdict":"unknown","note":"EREFUSED"},{"id":685076,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"AdGuard","resolverIp":"94.140.14.14","kind":"ads","verdict":"allowed","note":null},{"id":685077,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"AdGuard Famille","resolverIp":"94.140.14.15","kind":"family","verdict":"allowed","note":null},{"id":685078,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"Cloudflare Famille","resolverIp":"1.1.1.3","kind":"family","verdict":"allowed","note":null},{"id":685079,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"CleanBrowsing Famille","resolverIp":"185.228.168.168","kind":"family","verdict":"allowed","note":null},{"id":685080,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"CleanBrowsing Adulte","resolverIp":"185.228.168.10","kind":"family","verdict":"allowed","note":null},{"id":685081,"scanId":"d9490a3b-5753-41ba-9427-dd08f125a1cf","resolver":"OpenDNS Famille","resolverIp":"208.67.222.123","kind":"family","verdict":"unknown","note":"EREFUSED"}],"threats":[],"wayback":null,"cnames":[],"reputation":[],"webcompat":{"consulted":false,"rules":0,"updatedAt":null,"flags":[]},"wikidata":{"entities":{"Q18349346":{"qid":"Q18349346","label":"Hetzner","description":"Hébergeur web","officialWebsite":"https://www.hetzner.com","image":"http://commons.wikimedia.org/wiki/Special:FilePath/Logo%20Hetzner.svg","tosdrId":null,"influenceWatchId":null,"wikipedia":{"en":"https://en.wikipedia.org/wiki/Hetzner","fr":"https://fr.wikipedia.org/wiki/Hetzner"},"parentQid":null,"countryCode":"DE","countryLabel":"Allemagne","fetchedAt":"2026-10-18T15:25:39.077Z"},"Q95":{"qid":"Q95","label":"Google","description":"multinationale américaine spécialisée dans les technologies, filiale d'Alphabet Inc.","officialWebsite":"https://about.google/","image":"http://commons.wikimedia.org/wiki/Special:FilePath/Google%202026%20logo.svg","tosdrId":"182","influenceWatchId":"for-profit/google","wikipedia":{"en":"https://en.wikipedia.org/wiki/Google","fr":"https://fr.wikipedia.org/wiki/Google"},"parentQid":"Q20800404","countryCode":"US","countryLabel":"États-Unis","fetchedAt":"2026-10-18T14:59:50.798Z"},"Q20800404":{"qid":"Q20800404","label":"Alphabet Inc.","description":"conglomérat américain","officialWebsite":"https://abc.xyz/","image":"http://commons.wikimedia.org/wiki/Special:FilePath/Alphabet%20Inc%20Logo%202015.svg","tosdrId":null,"influenceWatchId":"for-profit/alphabet","wikipedia":{"en":"https://en.wikipedia.org/wiki/Alphabet_Inc.","fr":"https://fr.wikipedia.org/wiki/Alphabet_(entreprise)"},"parentQid":null,"countryCode":"US","countryLabel":"États-Unis","fetchedAt":"2026-10-18T14:59:52.816Z"}},"asnToQid":{"15169":"Q95","24940":"Q18349346"}},"siteMatch":{"qid":null,"confidence":null,"decided":false}}