{"title":"Blacklight Inspection","page_title":"ZeroSharp — Software Development","uri_ins":"http://blog.zerosharp.com/","uri_dest":"https://blog.zerosharp.com/","uri_redirects":["http://blog.zerosharp.com/"],"secure_connection":{},"host":"blog.zerosharp.com","config":{"emulateDevice":{"name":"iPhone 14 Pro Max","userAgent":"Mozilla/5.0 (iPhone; CPU iPhone OS 16_6 like Mac OS X) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/16.6 Mobile/15E148 Safari/604.1","viewport":{"width":430,"height":739,"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=ea48e1f5-b94e-4375-bc4d-38e19ead5d9c"],"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":"27f34b741838","version":{"npm":"3.11.0","commit":"dev"},"node_version":"v24.20.0"},"start_time":"2026-09-08T12:46:14.763Z","end_time":"2026-09-08T12:46:23.932Z","browsing_history":["https://blog.zerosharp.com/","https://blog.zerosharp.com/about/","https://blog.zerosharp.com/fermats-last-theorem-in-lean/"],"hosts":{"requests":{"first_party":["blog.zerosharp.com"],"third_party":["static.cloudflareinsights.com","cloudflareinsights.com","zerosharp.disqus.com","disqus.com","c.disquscdn.com","fonts.googleapis.com","referrer.disqus.com","fonts.gstatic.com"]}},"reports":{"behaviour_event_listeners":{"KEYBOARD":{"https://c.disquscdn.com/next/recommendations/common.bundle.43d7b81d7be743ddbbff9eeae86f2a4b.js":["keypress"],"https://c.disquscdn.com/next/embed/common.bundle.712217b7f5a618b8bc684129c2acd47a.js":["keypress"],"https://static.cloudflareinsights.com/beacon.min.js":["keydown"]},"MOUSE":{"https://c.disquscdn.com/next/recommendations/common.bundle.43d7b81d7be743ddbbff9eeae86f2a4b.js":["click"],"https://c.disquscdn.com/next/recommendations/recommendations.bundle.e10dd10b7f8cbf10e87b9f893f636092.js":["click","scroll","mousemove"],"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://zerosharp.disqus.com/recommendations.js":["click","scroll","mousemove"],"https://zerosharp.disqus.com/embed.js":["click","scroll","mousemove"],"https://static.cloudflareinsights.com/beacon.min.js":["click"]}},"canvas_fingerprinters":{"data_url":{},"fingerprinters":[],"styles":{},"texts":{}},"canvas_font_fingerprinters":{"canvas_font":{},"text_measure":{}},"cookies":[{"name":"__jid","value":"88150co2npqifv","domain":"disqus.com","path":"/","expires":"2026-09-08T13:16:20.000Z","size":19,"httpOnly":false,"secure":true,"session":false,"sameSite":"None","priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":true},{"name":"disqus_unique","value":"88150dk3d0qh3v","domain":"disqus.com","path":"/","expires":"2027-09-08T12:46:20.000Z","size":27,"httpOnly":false,"secure":true,"session":false,"sameSite":"None","priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":true}],"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":{"event":"failed_recommendations.server.undefined"}},"stack":[{"fileName":"https://blog.zerosharp.com/fermats-last-theorem-in-lean/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://referrer.disqus.com/juggler/stat.gif?event=failed_recommendations.server.undefined"},{"data":{"body":{},"filter":"||referrer.disqus.com^","listName":"easyprivacy.txt","query":{"abe":0,"dnt":0,"embed_hidden":0,"event":"init_embed","experiment":"videofloorexp_hidden","forum":"zerosharp","forum_id":1368326,"imp":"88150nv2n1m0g2","load_time":200,"max_enabled":false,"promoted_enabled":false,"referrer":"https://blog.zerosharp.com/","service":"dynamic","theme":"next","thread":11455572613,"thread_slug":"fermats_last_theorem_in_lean","tracking_enabled":0,"user_type":"anon","variant":"fallthrough"}},"stack":[{"fileName":"https://disqus.com/embed/comments/?base=default&f=zerosharp&t_i=%2Ffermats-last-theorem-in-lean%2F&t_u=https%3A%2F%2Fwww.zerosharp.com%2Ffermats-last-theorem-in-lean%2F&t_e=Fermat%27s%20Last%20Theorem%20in%20Lean&t_d=Fermat%27s%20Last%20Theorem%20in%20Lean&t_t=Fermat%27s%20Last%20Theorem%20in%20Lean&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=200&event=init_embed&thread=11455572613&forum=zerosharp&forum_id=1368326&imp=88150nv2n1m0g2&thread_slug=fermats_last_theorem_in_lean&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%2Fblog.zerosharp.com%2F"},{"data":{"body":{},"filter":"||referrer.disqus.com^","listName":"easyprivacy.txt","query":{"event":"cmp.gpp.absent"}},"stack":[{"fileName":"https://blog.zerosharp.com/fermats-last-theorem-in-lean/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://referrer.disqus.com/juggler/stat.gif?event=cmp.gpp.absent"},{"data":{"body":{"bi":{"be":"WebKit","bev":"605.1.15","bv":"16.6"},"eventType":1,"firstContentfulPaint":133,"firstPaint":133,"location":"https://blog.zerosharp.com/fermats-last-theorem-in-lean/","memory":{"jsHeapSizeLimit":4294705152,"totalJSHeapSize":9757375,"usedJSHeapSize":6865079},"nt":"navigate","pageloadId":"07f8060d-fd3d-4e83-8367-5d55cfc24e12","siteToken":"5aec63ca3eed495fbb35fb2c2a063fbf","st":2,"startTime":1788871579933,"timingsV2":{"connectEnd":1,"connectStart":1,"decodedBodySize":9544,"domComplete":730,"domInteractive":100,"domainLookupEnd":1,"domainLookupStart":1,"firstInterimResponseStart":0,"loadEventEnd":730,"loadEventStart":730,"nextHopProtocol":"h3","requestStart":2,"responseEnd":60,"responseStart":59,"secureConnectionStart":1,"transferSize":3738},"versions":{"js":"2026.9.1","timings":2}},"filter":"||cloudflareinsights.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://blog.zerosharp.com/fermats-last-theorem-in-lean/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://cloudflareinsights.com/cdn-cgi/rum"},{"data":{"body":{},"filter":"||cloudflareinsights.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://blog.zerosharp.com/fermats-last-theorem-in-lean/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://static.cloudflareinsights.com/beacon.min.js"},{"data":{"body":{"bi":{"be":"WebKit","bev":"605.1.15","bv":"16.6"},"eventType":1,"firstContentfulPaint":131,"firstPaint":131,"location":"https://blog.zerosharp.com/about/","memory":{"jsHeapSizeLimit":4294705152,"totalJSHeapSize":6144914,"usedJSHeapSize":3683502},"nt":"navigate","pageloadId":"4709a121-ffc9-4792-aab2-160a3496883a","siteToken":"5aec63ca3eed495fbb35fb2c2a063fbf","st":2,"startTime":1788871576933,"timingsV2":{"connectEnd":1,"connectStart":1,"decodedBodySize":3061,"domComplete":180,"domInteractive":86,"domainLookupEnd":1,"domainLookupStart":1,"firstInterimResponseStart":0,"loadEventEnd":180,"loadEventStart":180,"nextHopProtocol":"h3","requestStart":2,"responseEnd":78,"responseStart":78,"secureConnectionStart":1,"transferSize":1827},"versions":{"js":"2026.9.1","timings":2}},"filter":"||cloudflareinsights.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://blog.zerosharp.com/about/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://cloudflareinsights.com/cdn-cgi/rum"},{"data":{"body":{},"filter":"||cloudflareinsights.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://blog.zerosharp.com/about/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://static.cloudflareinsights.com/beacon.min.js"},{"data":{"body":{"bi":{"be":"WebKit","bev":"605.1.15","bv":"16.6"},"eventType":1,"firstContentfulPaint":225,"firstPaint":225,"location":"https://blog.zerosharp.com/","memory":{"jsHeapSizeLimit":4294705152,"totalJSHeapSize":5085559,"usedJSHeapSize":2708203},"nt":"navigate","pageloadId":"7bdec861-f917-42be-be2c-81e445f55aab","siteToken":"5aec63ca3eed495fbb35fb2c2a063fbf","st":2,"startTime":1788871574950,"timingsV2":{"connectEnd":63,"connectStart":40,"decodedBodySize":1388,"domComplete":264,"domInteractive":180,"domainLookupEnd":40,"domainLookupStart":3,"firstInterimResponseStart":0,"loadEventEnd":264,"loadEventStart":264,"nextHopProtocol":"h3","requestStart":63,"responseEnd":171,"responseStart":170,"secureConnectionStart":40,"transferSize":1058},"versions":{"js":"2026.9.1","timings":2}},"filter":"||cloudflareinsights.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://blog.zerosharp.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://cloudflareinsights.com/cdn-cgi/rum"},{"data":{"body":{},"filter":"||cloudflareinsights.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://blog.zerosharp.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://static.cloudflareinsights.com/beacon.min.js"}]}}