{"title":"Blacklight Inspection","page_title":"Some personal notes turned into a blog","uri_ins":"http://zanzix.github.io/","uri_dest":"https://zanzix.github.io/","uri_redirects":["http://zanzix.github.io/"],"secure_connection":{},"host":"zanzix.github.io","config":{"emulateDevice":{"name":"Pixel 2 XL","userAgent":"Mozilla/5.0 (Linux; Android 8.0.0; Pixel 2 XL Build/OPD1.170816.004) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/75.0.3765.0 Mobile Safari/537.36","viewport":{"width":411,"height":823,"deviceScaleFactor":3.5,"isMobile":true,"hasTouch":true,"isLandscape":false}},"cleareCache":true,"captureHar":true,"captureLinks":false,"enableAdBlock":false,"saveBrowserProfile":false,"numPages":2,"defaultTimeout":35000,"defaultWaitUntil":"networkidle2","headless":true,"headers":{},"extraChromiumArgs":["--disable-features=TrackingProtection3pcd","--website-analysis-scan=00d27676-c56e-41dc-beea-5323e6c876a0"],"extraPuppeteerOptions":{}},"browser":{"name":"Chromium","version":"Chrome/127.0.6533.88","user_agent":"Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) HeadlessChrome/127.0.0.0 Safari/537.36","platform":{"name":"Linux","version":"4.4.302+"}},"script":{"host":"f55531b6c604","version":{"npm":"3.11.0","commit":"dev"},"node_version":"v24.20.0"},"start_time":"2026-09-15T12:31:08.638Z","end_time":"2026-09-15T12:31:27.254Z","browsing_history":["https://zanzix.github.io/","https://zanzix.github.io/posts/3-rec-idris.html","https://zanzix.github.io/posts/6-promonoidal-covers.html"],"hosts":{"requests":{"first_party":["zanzix.github.io"],"third_party":["www.googletagmanager.com","fonts.googleapis.com","fonts.gstatic.com","region1.google-analytics.com","platform.twitter.com","syndication.twitter.com"]}},"reports":{"behaviour_event_listeners":{"MOUSE":{"https://platform.twitter.com/widgets.js":["click"],"https://www.googletagmanager.com/gtag/js?id=G-6WEVP6B3NL":["click"]}},"canvas_fingerprinters":{"data_url":{},"fingerprinters":[],"styles":{},"texts":{}},"canvas_font_fingerprinters":{"canvas_font":{},"text_measure":{}},"cookies":[{"name":"_ga_6WEVP6B3NL","value":"GS2.1.s1789475475$o1$g0$t1789475483$j52$l0$h0","domain":"zanzix.github.io","path":"/","expires":"2027-10-20T12:31:23.905Z","size":59,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false}],"fb_pixel_events":[],"tiktok_pixel_events":[],"twitter_pixel_events":[{"advancedMatchingParams":[],"query":{"dnt":1,"l":{"_category_":"tfw_client_event","client_version":"6a3ad42b224df:1778106238597","dnt":true,"event_namespace":{"action":"impression","client":"tfw","page":"button","section":"share"},"format_version":1,"language":"en","message":"m:nocount:","triggered_on":1789475475754,"widget_creator_screen_name":"tangled_zans","widget_frame":false,"widget_origin":"https://zanzix.github.io/posts/3-rec-idris.html","widget_site_screen_name":"tangled_zans"},"session_id":"374a50eee2324244144bdf983ff88b992b0da79b"},"dataParams":[],"eventDescription":"","eventName":"","isStandardEvent":false,"pageUrl":"","raw":"https://syndication.twitter.com/i/jot/embeds?dnt=1&l=%7B%22widget_origin%22%3A%22https%3A%2F%2Fzanzix.github.io%2Fposts%2F3-rec-idris.html%22%2C%22widget_frame%22%3Afalse%2C%22widget_site_screen_name%22%3A%22tangled_zans%22%2C%22widget_creator_screen_name%22%3A%22tangled_zans%22%2C%22language%22%3A%22en%22%2C%22message%22%3A%22m%3Anocount%3A%22%2C%22_category_%22%3A%22tfw_client_event%22%2C%22triggered_on%22%3A1789475475754%2C%22dnt%22%3Atrue%2C%22client_version%22%3A%226a3ad42b224df%3A1778106238597%22%2C%22format_version%22%3A1%2C%22event_namespace%22%3A%7B%22client%22%3A%22tfw%22%2C%22page%22%3A%22button%22%2C%22section%22%3A%22share%22%2C%22action%22%3A%22impression%22%7D%7D&session_id=374a50eee2324244144bdf983ff88b992b0da79b"},{"advancedMatchingParams":[],"query":{"dnt":1,"l":{"_category_":"tfw_client_event","client_version":"6a3ad42b224df:1778106238597","dnt":true,"event_namespace":{"action":"impression","client":"tfw","page":"button","section":"follow"},"format_version":1,"language":"en","message":"m:withcount:","triggered_on":1789475475753,"widget_creator_screen_name":"tangled_zans","widget_frame":false,"widget_origin":"https://zanzix.github.io/posts/3-rec-idris.html","widget_site_screen_name":"tangled_zans"},"session_id":"374a50eee2324244144bdf983ff88b992b0da79b"},"dataParams":[],"eventDescription":"","eventName":"","isStandardEvent":false,"pageUrl":"","raw":"https://syndication.twitter.com/i/jot/embeds?dnt=1&l=%7B%22widget_origin%22%3A%22https%3A%2F%2Fzanzix.github.io%2Fposts%2F3-rec-idris.html%22%2C%22widget_frame%22%3Afalse%2C%22widget_site_screen_name%22%3A%22tangled_zans%22%2C%22widget_creator_screen_name%22%3A%22tangled_zans%22%2C%22language%22%3A%22en%22%2C%22message%22%3A%22m%3Awithcount%3A%22%2C%22_category_%22%3A%22tfw_client_event%22%2C%22triggered_on%22%3A1789475475753%2C%22dnt%22%3Atrue%2C%22client_version%22%3A%226a3ad42b224df%3A1778106238597%22%2C%22format_version%22%3A1%2C%22event_namespace%22%3A%7B%22client%22%3A%22tfw%22%2C%22page%22%3A%22button%22%2C%22section%22%3A%22follow%22%2C%22action%22%3A%22impression%22%7D%7D&session_id=374a50eee2324244144bdf983ff88b992b0da79b"}],"google_analytics_events":[],"key_logging":{},"session_recorders":{},"third_party_trackers":[{"data":{"body":{},"filter":"||twitter.com/i/jot","listName":"easyprivacy.txt","query":{"dnt":1,"l":{"_category_":"tfw_client_event","client_version":"6a3ad42b224df:1778106238597","dnt":true,"event_namespace":{"action":"impression","client":"tfw","page":"button","section":"share"},"format_version":1,"language":"en","message":"m:nocount:","triggered_on":1789475475754,"widget_creator_screen_name":"tangled_zans","widget_frame":false,"widget_origin":"https://zanzix.github.io/posts/3-rec-idris.html","widget_site_screen_name":"tangled_zans"},"session_id":"374a50eee2324244144bdf983ff88b992b0da79b"}},"stack":[{"fileName":"https://zanzix.github.io/posts/3-rec-idris.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://syndication.twitter.com/i/jot/embeds?dnt=1&l=%7B%22widget_origin%22%3A%22https%3A%2F%2Fzanzix.github.io%2Fposts%2F3-rec-idris.html%22%2C%22widget_frame%22%3Afalse%2C%22widget_site_screen_name%22%3A%22tangled_zans%22%2C%22widget_creator_screen_name%22%3A%22tangled_zans%22%2C%22language%22%3A%22en%22%2C%22message%22%3A%22m%3Anocount%3A%22%2C%22_category_%22%3A%22tfw_client_event%22%2C%22triggered_on%22%3A1789475475754%2C%22dnt%22%3Atrue%2C%22client_version%22%3A%226a3ad42b224df%3A1778106238597%22%2C%22format_version%22%3A1%2C%22event_namespace%22%3A%7B%22client%22%3A%22tfw%22%2C%22page%22%3A%22button%22%2C%22section%22%3A%22share%22%2C%22action%22%3A%22impression%22%7D%7D&session_id=374a50eee2324244144bdf983ff88b992b0da79b"},{"data":{"body":{},"filter":"||twitter.com/i/jot","listName":"easyprivacy.txt","query":{"dnt":1,"l":{"_category_":"tfw_client_event","client_version":"6a3ad42b224df:1778106238597","dnt":true,"event_namespace":{"action":"impression","client":"tfw","page":"button","section":"follow"},"format_version":1,"language":"en","message":"m:withcount:","triggered_on":1789475475753,"widget_creator_screen_name":"tangled_zans","widget_frame":false,"widget_origin":"https://zanzix.github.io/posts/3-rec-idris.html","widget_site_screen_name":"tangled_zans"},"session_id":"374a50eee2324244144bdf983ff88b992b0da79b"}},"stack":[{"fileName":"https://zanzix.github.io/posts/3-rec-idris.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://syndication.twitter.com/i/jot/embeds?dnt=1&l=%7B%22widget_origin%22%3A%22https%3A%2F%2Fzanzix.github.io%2Fposts%2F3-rec-idris.html%22%2C%22widget_frame%22%3Afalse%2C%22widget_site_screen_name%22%3A%22tangled_zans%22%2C%22widget_creator_screen_name%22%3A%22tangled_zans%22%2C%22language%22%3A%22en%22%2C%22message%22%3A%22m%3Awithcount%3A%22%2C%22_category_%22%3A%22tfw_client_event%22%2C%22triggered_on%22%3A1789475475753%2C%22dnt%22%3Atrue%2C%22client_version%22%3A%226a3ad42b224df%3A1778106238597%22%2C%22format_version%22%3A1%2C%22event_namespace%22%3A%7B%22client%22%3A%22tfw%22%2C%22page%22%3A%22button%22%2C%22section%22%3A%22follow%22%2C%22action%22%3A%22impression%22%7D%7D&session_id=374a50eee2324244144bdf983ff88b992b0da79b"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_fv":1,"_nsi":1,"_p":1789475474823,"_s":1,"_ss":1,"are":1,"cid":890592265.1789476,"dl":"https://zanzix.github.io/posts/3-rec-idris.html","dma":1,"dma_cps":"a","dt":"Introduction to Recursion Schemes with Idris","en":"page_view","frm":0,"gcd":"13l3l3l2l1l1","gtm":"45je69b1v9144704932za200zd9144704932","ngs":1,"npa":1,"pscdl":"","rcb":4,"sct":1,"seg":0,"sid":1789475475,"sr":"411x823","tag_exp":"115938466~115938468~118897920~118897930~120213116~120385422~120469145~120469153","tfd":542,"tid":"G-6WEVP6B3NL","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://zanzix.github.io/posts/3-rec-idris.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-6WEVP6B3NL&gtm=45je69b1v9144704932za200zd9144704932&_p=1789475474823&gcd=13l3l3l2l1l1&npa=1&dma_cps=a&dma=1&are=1&cid=890592265.1789475475&frm=0&ngs=1&pscdl=&rcb=4&sr=411x823&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115938466~115938468~118897920~118897930~120213116~120385422~120469145~120469153&sid=1789475475&sct=1&seg=0&dl=https%3A%2F%2Fzanzix.github.io%2Fposts%2F3-rec-idris.html&dt=Introduction%20to%20Recursion%20Schemes%20with%20Idris&en=page_view&_fv=1&_nsi=1&_ss=1&_ee=1&tfd=542"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"id":"G-6WEVP6B3NL"}},"stack":[{"fileName":"https://zanzix.github.io/posts/3-rec-idris.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-6WEVP6B3NL"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_fv":1,"_nsi":1,"_p":1789475471602,"_s":1,"_ss":1,"are":1,"cid":433198537.17894757,"dl":"https://zanzix.github.io/","dma":1,"dma_cps":"a","dt":"Some personal notes turned into a blog","en":"page_view","frm":0,"gcd":"13l3l3l2l1l1","gtm":"45je69b1v9144704932za200zd9144704932","ngs":1,"npa":1,"pscdl":"","rcb":19,"sct":1,"seg":0,"sid":1789475472,"sr":"411x823","tag_exp":"115938465~115938468~118897920~118897930~120213116~120385422~120469145~120469153","tfd":844,"tid":"G-6WEVP6B3NL","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://zanzix.github.io/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-6WEVP6B3NL&gtm=45je69b1v9144704932za200zd9144704932&_p=1789475471602&gcd=13l3l3l2l1l1&npa=1&dma_cps=a&dma=1&are=1&cid=433198537.1789475472&frm=0&ngs=1&pscdl=&rcb=19&sr=411x823&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115938465~115938468~118897920~118897930~120213116~120385422~120469145~120469153&sid=1789475472&sct=1&seg=0&dl=https%3A%2F%2Fzanzix.github.io%2F&dt=Some%20personal%20notes%20turned%20into%20a%20blog&en=page_view&_fv=1&_nsi=1&_ss=1&_ee=1&tfd=844"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"id":"G-6WEVP6B3NL"}},"stack":[{"fileName":"https://zanzix.github.io/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-6WEVP6B3NL"}]}}