{"title":"Blacklight Inspection","page_title":"Konstantin Weitz","uri_ins":"http://konne.me/","uri_dest":"https://www.konne.me/","uri_redirects":["http://konne.me/","https://konne.me/"],"secure_connection":{},"host":"konne.me","config":{"emulateDevice":{"name":"iPhone 11 Pro Max","userAgent":"Mozilla/5.0 (iPhone; CPU iPhone OS 13_7 like Mac OS X) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/13.1 Mobile/15E148 Safari/604.1","viewport":{"width":414,"height":896,"deviceScaleFactor":3,"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=cfdee8e5-dca5-44fe-ae43-55b958080919"],"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":"6.6.87.1-microsoft-standard-WSL2"}},"script":{"host":"aa2e6fc3216c","version":{"npm":"3.11.0","commit":"dev"},"node_version":"v24.20.0"},"start_time":"2026-09-09T16:00:42.933Z","end_time":"2026-09-09T16:00:53.499Z","browsing_history":["https://www.konne.me/","https://www.konne.me/2015/09/25/diagrams.html","https://www.konne.me/2015/02/04/data-abstraction-0.html"],"hosts":{"requests":{"first_party":["konne.me","www.konne.me"],"third_party":["maxcdn.bootstrapcdn.com","netdna.bootstrapcdn.com","ajax.googleapis.com","cdn.mathjax.org","www.google-analytics.com","www.googletagmanager.com","region1.google-analytics.com","konne.disqus.com","disqus.com","c.disquscdn.com","fonts.googleapis.com","referrer.disqus.com","fonts.gstatic.com"]}},"reports":{"behaviour_event_listeners":{"MOUSE":{"https://c.disquscdn.com/embedv2/latest/embedv2.js":["scroll"],"https://c.disquscdn.com/next/embed/common.bundle.712217b7f5a618b8bc684129c2acd47a.js":["click"],"https://c.disquscdn.com/next/embed/lounge.bundle.7f21ab1c601ae726335d27912834559e.js":["click","scroll","mousemove"],"https://konne.disqus.com/embed.js":["click","scroll","mousemove"],"https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js":["click"]},"KEYBOARD":{"https://c.disquscdn.com/next/embed/common.bundle.712217b7f5a618b8bc684129c2acd47a.js":["keypress"],"https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js":["keydown"]}},"canvas_fingerprinters":{"data_url":{},"fingerprinters":[],"styles":{},"texts":{}},"canvas_font_fingerprinters":{"canvas_font":{},"text_measure":{}},"cookies":[{"name":"_ga","value":"GA1.2.1292977329.1788969650","domain":"konne.me","path":"/","expires":"2027-10-14T16:00:49.941Z","size":30,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"_gid","value":"GA1.2.929528656.1788969650","domain":"konne.me","path":"/","expires":"2026-09-10T16:00:49.000Z","size":30,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"_gat","value":"1","domain":"konne.me","path":"/","expires":"2026-09-09T16:01:49.000Z","size":5,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"_ga_2P8HKY9L1Q","value":"GS2.2.s1788969650$o1$g0$t1788969650$j60$l0$h0","domain":"konne.me","path":"/","expires":"2027-10-14T16:00:50.068Z","size":59,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false}],"fb_pixel_events":[],"tiktok_pixel_events":[],"twitter_pixel_events":[],"google_analytics_events":[],"key_logging":{},"session_recorders":{},"third_party_trackers":[{"data":{"body":{},"filter":"||referrer.disqus.com^","listName":"easyprivacy.txt","query":{"abe":0,"dnt":0,"embed_hidden":0,"event":"init_embed","experiment":"videofloorexp_hidden","forum":"konne","forum_id":3351800,"imp":"8aulr5b2p9kpbs","load_time":188,"max_enabled":false,"promoted_enabled":false,"referrer":"https://www.konne.me/","service":"dynamic","theme":"next","thread":3485600576,"thread_slug":"konstantin_weitz_37","tracking_enabled":0,"user_type":"anon","variant":"fallthrough"}},"stack":[{"fileName":"https://disqus.com/embed/comments/?base=default&f=konne&t_u=https%3A%2F%2Fwww.konne.me%2F2015%2F02%2F04%2Fdata-abstraction-0.html&t_d=Konstantin%20Weitz%3A%20Abstract%20Data%20Types%20and%20Object%20Oriented%20Programming%20in%20Coq%20(Part%20I)&t_t=Konstantin%20Weitz%3A%20Abstract%20Data%20Types%20and%20Object%20Oriented%20Programming%20in%20Coq%20(Part%20I)&s_o=default#version=2b53f7bc0e6db9df9d9b00a3aca1508b","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://referrer.disqus.com/juggler/event.gif?abe=0&embed_hidden=0&load_time=188&event=init_embed&thread=3485600576&forum=konne&forum_id=3351800&imp=8aulr5b2p9kpbs&thread_slug=konstantin_weitz_37&user_type=anon&theme=next&dnt=0&tracking_enabled=0&experiment=videofloorexp_hidden&variant=fallthrough&service=dynamic&promoted_enabled=false&max_enabled=false&referrer=https%3A%2F%2Fwww.konne.me%2F"},{"data":{"body":{},"filter":"||referrer.disqus.com^","listName":"easyprivacy.txt","query":{"event":"cmp.gpp.absent"}},"stack":[{"fileName":"https://www.konne.me/2015/02/04/data-abstraction-0.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://referrer.disqus.com/juggler/stat.gif?event=cmp.gpp.absent"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_eu":"ABAI","_fv":1,"_p":1788969649964,"_s":1,"_ss":1,"are":1,"cid":1292977329.178897,"dl":"https://www.konne.me/2015/02/04/data-abstraction-0.html","dma":1,"dma_cps":"a","dt":"Konstantin Weitz: Abstract Data Types and Object Oriented Programming in Coq (Part I)","en":"page_view","frm":0,"gcd":"13l3l3l2l2l1","gtm":"45je6930v9125884824za20g","ngs":1,"npa":0,"pscdl":"","rcb":16,"sct":1,"seg":0,"sid":1788969650,"sr":"414x896","tag_exp":"115616986~115938465~115938468~118897920~118897930~120213116~120385423~120469145~120469153","tfd":325,"tid":"G-2P8HKY9L1Q","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://www.konne.me/2015/02/04/data-abstraction-0.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-2P8HKY9L1Q&gtm=45je6930v9125884824za20g&_p=1788969649964&gcd=13l3l3l2l2l1&npa=0&dma_cps=a&dma=1&_eu=ABAI&are=1&cid=1292977329.1788969650&frm=0&ngs=1&pscdl=&rcb=16&sr=414x896&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115616986~115938465~115938468~118897920~118897930~120213116~120385423~120469145~120469153&dl=https%3A%2F%2Fwww.konne.me%2F2015%2F02%2F04%2Fdata-abstraction-0.html&dt=Konstantin%20Weitz%3A%20Abstract%20Data%20Types%20and%20Object%20Oriented%20Programming%20in%20Coq%20(Part%20I)&sid=1788969650&sct=1&seg=0&en=page_view&_fv=1&_ss=1&_ee=1&tfd=325"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"_slc":1,"cx":"c","id":"G-2P8HKY9L1Q"}},"stack":[{"fileName":"https://www.konne.me/2015/02/04/data-abstraction-0.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-2P8HKY9L1Q&cx=c&_slc=1"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_gid":929528656.178897,"_r":1,"_s":1,"_slc":1,"_u":"IEBAAEABAAAAACAAI~","_v":"j102","a":98293,"cid":1292977329.178897,"dl":"https://www.konne.me/2015/02/04/data-abstraction-0.html","dt":"Konstantin Weitz: Abstract Data Types and Object Oriented Programming in Coq (Part I)","gjid":326139403,"jid":381236315,"sr":"414x896","t":"pageview","tid":"UA-49962459-1","ul":"en-us","v":1,"vp":"414x896","z":1674518293}},"stack":[{"fileName":"https://www.konne.me/2015/02/04/data-abstraction-0.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.google-analytics.com/j/collect?v=1&_v=j102&a=98293&t=pageview&_s=1&dl=https%3A%2F%2Fwww.konne.me%2F2015%2F02%2F04%2Fdata-abstraction-0.html&ul=en-us&dt=Konstantin%20Weitz%3A%20Abstract%20Data%20Types%20and%20Object%20Oriented%20Programming%20in%20Coq%20(Part%20I)&sr=414x896&vp=414x896&_u=IEBAAEABAAAAACAAI~&jid=381236315&gjid=326139403&cid=1292977329.1788969650&tid=UA-49962459-1&_gid=929528656.1788969650&_r=1&_slc=1&z=1674518293"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://www.konne.me/2015/02/04/data-abstraction-0.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.google-analytics.com/analytics.js"},{"data":{"body":{},"filter":"||referrer.disqus.com^","listName":"easyprivacy.txt","query":{"abe":0,"dnt":0,"embed_hidden":0,"event":"init_embed","experiment":"videofloorexp_hidden","forum":"konne","forum_id":3351800,"imp":"8aulosu1m9napn","load_time":194,"max_enabled":false,"promoted_enabled":false,"referrer":"https://www.konne.me/","service":"dynamic","theme":"next","thread":4174762602,"thread_slug":"konstantin_weitz_72","tracking_enabled":0,"user_type":"anon","variant":"fallthrough"}},"stack":[{"fileName":"https://disqus.com/embed/comments/?base=default&f=konne&t_u=https%3A%2F%2Fwww.konne.me%2F2015%2F09%2F25%2Fdiagrams.html&t_d=Konstantin%20Weitz%3A%20Machine%20Checkable%20Pictorial%20Mathematics%20for%20Category%20Theory&t_t=Konstantin%20Weitz%3A%20Machine%20Checkable%20Pictorial%20Mathematics%20for%20Category%20Theory&s_o=default#version=2b53f7bc0e6db9df9d9b00a3aca1508b","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://referrer.disqus.com/juggler/event.gif?abe=0&embed_hidden=0&load_time=194&event=init_embed&thread=4174762602&forum=konne&forum_id=3351800&imp=8aulosu1m9napn&thread_slug=konstantin_weitz_72&user_type=anon&theme=next&dnt=0&tracking_enabled=0&experiment=videofloorexp_hidden&variant=fallthrough&service=dynamic&promoted_enabled=false&max_enabled=false&referrer=https%3A%2F%2Fwww.konne.me%2F"},{"data":{"body":{},"filter":"||referrer.disqus.com^","listName":"easyprivacy.txt","query":{"event":"cmp.gpp.absent"}},"stack":[{"fileName":"https://www.konne.me/2015/09/25/diagrams.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://referrer.disqus.com/juggler/stat.gif?event=cmp.gpp.absent"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_eu":"ABAI","_fv":1,"_p":1788969646021,"_s":1,"_ss":1,"are":1,"cid":998563778.178897,"dl":"https://www.konne.me/2015/09/25/diagrams.html","dma":1,"dma_cps":"a","dt":"Konstantin Weitz: Machine Checkable Pictorial Mathematics for Category Theory","en":"page_view","frm":0,"gcd":"13l3l3l2l2l1","gtm":"45je6930v9125884824za20g","ngs":1,"npa":0,"pscdl":"","rcb":0,"sct":1,"seg":0,"sid":1788969646,"sr":"414x896","tag_exp":"115616985~115938466~115938469~118897920~118897930~120213116~120385423~120469145~120469153","tfd":357,"tid":"G-2P8HKY9L1Q","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://www.konne.me/2015/09/25/diagrams.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-2P8HKY9L1Q&gtm=45je6930v9125884824za20g&_p=1788969646021&gcd=13l3l3l2l2l1&npa=0&dma_cps=a&dma=1&_eu=ABAI&are=1&cid=998563778.1788969646&frm=0&ngs=1&pscdl=&rcb=0&sr=414x896&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115616985~115938466~115938469~118897920~118897930~120213116~120385423~120469145~120469153&dl=https%3A%2F%2Fwww.konne.me%2F2015%2F09%2F25%2Fdiagrams.html&dt=Konstantin%20Weitz%3A%20Machine%20Checkable%20Pictorial%20Mathematics%20for%20Category%20Theory&sid=1788969646&sct=1&seg=0&en=page_view&_fv=1&_ss=1&_ee=1&tfd=357"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"_slc":1,"cx":"c","id":"G-2P8HKY9L1Q"}},"stack":[{"fileName":"https://www.konne.me/2015/09/25/diagrams.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-2P8HKY9L1Q&cx=c&_slc=1"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_gid":1635615695.178897,"_r":1,"_s":1,"_slc":1,"_u":"IEBAAEABAAAAACAAI~","_v":"j102","a":5357237,"cid":998563778.178897,"dl":"https://www.konne.me/2015/09/25/diagrams.html","dt":"Konstantin Weitz: Machine Checkable Pictorial Mathematics for Category Theory","gjid":593297815,"jid":1758861319,"sr":"414x896","t":"pageview","tid":"UA-49962459-1","ul":"en-us","v":1,"vp":"414x896","z":712050840}},"stack":[{"fileName":"https://www.konne.me/2015/09/25/diagrams.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.google-analytics.com/j/collect?v=1&_v=j102&a=5357237&t=pageview&_s=1&dl=https%3A%2F%2Fwww.konne.me%2F2015%2F09%2F25%2Fdiagrams.html&ul=en-us&dt=Konstantin%20Weitz%3A%20Machine%20Checkable%20Pictorial%20Mathematics%20for%20Category%20Theory&sr=414x896&vp=414x896&_u=IEBAAEABAAAAACAAI~&jid=1758861319&gjid=593297815&cid=998563778.1788969646&tid=UA-49962459-1&_gid=1635615695.1788969646&_r=1&_slc=1&z=712050840"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://www.konne.me/2015/09/25/diagrams.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.google-analytics.com/analytics.js"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_eu":"ABAI","_fv":1,"_p":1788969643704,"_s":1,"_ss":1,"are":1,"cid":992940428.178897,"dl":"https://www.konne.me/","dma":1,"dma_cps":"a","dt":"Konstantin Weitz","en":"page_view","frm":0,"gcd":"13l3l3l2l2l1","gtm":"45je6930v9125884824za20g","ngs":1,"npa":0,"pscdl":"","rcb":9,"sct":1,"seg":0,"sid":1788969643,"sr":"414x896","tag_exp":"115938466~115938468~118897920~118897930~120213116~120385423~120469145~120469153","tfd":795,"tid":"G-2P8HKY9L1Q","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://www.konne.me/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-2P8HKY9L1Q&gtm=45je6930v9125884824za20g&_p=1788969643704&gcd=13l3l3l2l2l1&npa=0&dma_cps=a&dma=1&_eu=ABAI&are=1&cid=992940428.1788969644&frm=0&ngs=1&pscdl=&rcb=9&sr=414x896&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115938466~115938468~118897920~118897930~120213116~120385423~120469145~120469153&dl=https%3A%2F%2Fwww.konne.me%2F&dt=Konstantin%20Weitz&sid=1788969643&sct=1&seg=0&en=page_view&_fv=1&_ss=1&_ee=1&tfd=795"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"_slc":1,"cx":"c","id":"G-2P8HKY9L1Q"}},"stack":[{"fileName":"https://www.konne.me/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-2P8HKY9L1Q&cx=c&_slc=1"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_gid":288470185.17889696,"_r":1,"_s":1,"_slc":1,"_u":"IEBAAEABAAAAACAAI~","_v":"j102","a":372721272,"cid":992940428.178897,"dl":"https://www.konne.me/","dt":"Konstantin Weitz","gjid":1175762910,"jid":1064159592,"sr":"414x896","t":"pageview","tid":"UA-49962459-1","ul":"en-us","v":1,"vp":"414x896","z":1122669336}},"stack":[{"fileName":"https://www.konne.me/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.google-analytics.com/j/collect?v=1&_v=j102&a=372721272&t=pageview&_s=1&dl=https%3A%2F%2Fwww.konne.me%2F&ul=en-us&dt=Konstantin%20Weitz&sr=414x896&vp=414x896&_u=IEBAAEABAAAAACAAI~&jid=1064159592&gjid=1175762910&cid=992940428.1788969644&tid=UA-49962459-1&_gid=288470185.1788969644&_r=1&_slc=1&z=1122669336"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://www.konne.me/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.google-analytics.com/analytics.js"}]}}