1<!DOCTYPE html><html lang="en"><head><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="preload" href="/_next/static/media/03fc1b4a8d284b5e-s.p.0wiir8udbzjvx.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="preload" href="/_next/static/media/99e609270109b47d-s.p.40sczeszzbjw1.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="preload" href="/_next/static/media/a7e15459c1805da0-s.p.3y9b8znjr2455.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="preload" href="/_next/static/media/effe91970fc4db64-s.p.0oace-s_gkfks.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="preload" as="image" href="/TEXT_LOGO.png"/><link rel="stylesheet" href="/_next/static/chunks/1__2m2cquhtea.css" data-precedence="next"/><link rel="stylesheet" href="/_next/static/chunks/267fa2anvddqk.css" data-precedence="next"/><link rel="preload" as="script" fetchPriority="low" href="/_next/static/chunks/169no08td-7sh.js"/>
1<script src="/_next/static/chunks/23uoun_6ksfle.js" async=""></script>
1<script src="/_next/static/chunks/2z5e1il6j_bfl.js" async=""></script>
1<script src="/_next/static/chunks/1n2209evo0din.js" async=""></script>
1<script src="/_next/static/chunks/turbopack-2x41tf9rbptf-.js" async=""></script>
1<script src="/_next/static/chunks/05dily3ed8q5h.js" async=""></script>
1<script src="/_next/static/chunks/2vj2eor_scqdn.js" async=""></script>
1<script src="/_next/static/chunks/3-4n331otnbih.js" async=""></script>
1<script src="/_next/static/chunks/2onu5-6276n95.js" async=""></script>
1<script src="/_next/static/chunks/3g8t3uulat0n3.js" async=""></script>
1<script src="/_next/static/chunks/3esq9t8aqho8c.js" async=""></script>
1<script src="/_next/static/chunks/1avfa_n9gzy53.js" async=""></script>
1<title>Newsletter | ByteSauna</title><meta name="description" content="Deep dives into AI, software, and the art of leading them well. Subscribe for expert insights every week."/><meta name="keywords" content="AI,software engineering,leadership,technology,newsletter,ByteSauna"/><link rel="icon" href="/favicon.ico?favicon.3vovc6-8_nup-.ico" sizes="64x64" type="image/x-icon"/><meta name="next-size-adjust" content=""/><link rel="alternate" type="application/rss+xml" title="ByteSauna RSS Feed" href="https://bytesauna.com/posts.rss"/><meta http-equiv="Content-Security-Policy" content=" 2 default-src 'self'; 3 base-uri 'self'; 4 object-src 'none'; 5 frame-src 'self' https://login.bytesauna.com; 6 form-action 'self'; 7 img-src 'self' data:; 8 font-src 'self'; 9 style-src 'self' 'unsafe-inline'; 10 connect-src 'self' 11 https://api.iconify.design 12 https://api.simplesvg.com 13 https://api.unisvg.com 14 https://*.google-analytics.com 15 https://www.googletagmanager.com 16 https://comment.bytesauna.com/ 17 https://login.bytesauna.com 18 https://subscribe.bytesauna.com; 19 script-src 'self' 20 https://www.googletagmanager.com 21 https://www.google-analytics.com 22 'sha256-OBTN3RiyCV4Bq7dFqZ5a2pAXjnCcCYeTJMO2I/LYKeo=' 'sha256-m7eq5C2VMN8mEM267qKgnPInVs13p7PukV3egjNvjHY='; 23 "/><meta property="og:image" content="https://bytesauna.com/logo.png"/><meta property="og:image:width" content="1200"/><meta property="og:image:height" content="630"/>
23<script src="/_next/static/chunks/0cz1d0mv5g_q7.js" noModule=""></script>
23</head><body class="ibm_plex_sans_adb7dc0a-module__aRyJcG__variable ibm_plex_mono_5741858f-module__-VIaXW__variable antialiased"><div hidden=""><!--$--><!--/$--></div><section aria-label="Notifications alt+T" tabindex="-1" aria-live="polite" aria-relevant="additions text" aria-atomic="false" data-react-aria-top-layer="true"></section><div><div class="bg-ink"><a class="" href="/"><div class="w-[10vmax] max-w-[150px] absolute top-4 right-4 opacity-80 cursor-pointer "><img src="/TEXT_LOGO.png" alt="Byte Sauna Logo"/></div></a><div class="bg-transparent"><div id="blog-hero" class="text-center md:h-[10vh] p-20 mb-8"><div><h1 class="animate-fadeUp text-4xl md:text-6xl text-base text-shadow mb-4">ByteSauna Newsletter</h1><h2 class="animate-fadeUp text-xl md:text-xl text-border text-shadow mb-8">Deep cuts into AI, software, and the art of leading them well.</h2></div><button class=" 24 px-6 py-3 text-white border rounded-lg 25 font-medium transition-all shadow-primary/25 hover:shadow-primary/80 26 shadow-lg 27 h-min w-fit 28 duration-300 bg-transparent base transition-transform duration-200 29 hover:scale-105 30 hover:bg-primary hover:border-primary focus:outline-none cursor-pointer 31 animate-fadeUp 32 ">Subscribe</button></div><div class="relative h-[50vw] md:h-[35vw] pointer-events-none"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1440 320" class="block w-full fill-slate absolute top-[10%] md:top-[15%] h-[60%] md:h-[40%]" preserveAspectRatio="none"><defs><path id="wave" d="M0,64L21.8,69.3C43.6,75,87,85,131,112C174.5,139,218,181,262,202.7C305.5,224,349,224,393,192C436.4,160,480,96,524,74.7C567.3,53,611,75,655,101.3C698.2,128,742,160,785,181.3C829.1,203,873,213,916,197.3C960,181,1004,139,1047,138.7C1090.9,139,1135,181,1178,213.3C1221.8,245,1265,267,1309,256C1352.7,245,1396,203,1418,181.3L1440,160L1440,320L1418.2,320C1396.4,320,1353,320,1309,320C1265.5,320,1222,320,1178,320C1134.5,320,1091,320,1047,320C1003.6,320,960,320,916,320C872.7,320,829,320,785,320C741.8,320,698,320,655,320C610.9,320,567,320,524,320C480,320,436,320,393,320C349.1,320,305,320,262,320C218.2,320,175,320,131,320C87.3,320,44,320,22,320L0,320Z"></path><g id="tile"><use href="#wave"></use></g><linearGradient id="gloss" x1="0" x2="0" y1="0" y2=".8"><stop offset="0%" stop-color="rgba(255,255,255,1)"></stop><stop offset="100%" stop-color="rgba(255,255,255,0)"></stop></linearGradient><filter id="grain" x="-20%" y="-20%" width="140%" height="140%"><feTurbulence type="fractalNoise" baseFrequency="0.6" numOctaves="2" seed="2" stitchTiles="stitch"></feTurbulence><feColorMatrix type="saturate" values="0"></feColorMatrix><feComponentTransfer><feFuncA type="table" tableValues="0 0.1 0.25 0.35"></feFuncA></feComponentTransfer><feComposite in="mono" in2="SourceAlpha" operator="in" result="clippedNoise"></feComposite><feBlend mode="multiply" in2="SourceGraphic"></feBlend></filter></defs><g filter="url(#grain)"><use href="#tile"></use><use href="#wave" fill="url(#gloss)" opacity=".2"></use></g></svg><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1440 320" class="block w-full fill-muted absolute top-[15%] md:top-[20%] h-[60%] md:h-[40%]" preserveAspectRatio="none"><defs><path id="wave" d="M0,64L21.8,69.3C43.6,75,87,85,131,112C174.5,139,218,181,262,202.7C305.5,224,349,224,393,192C436.4,160,480,96,524,74.7C567.3,53,611,75,655,101.3C698.2,128,742,160,785,181.3C829.1,203,873,213,916,197.3C960,181,1004,139,1047,138.7C1090.9,139,1135,181,1178,213.3C1221.8,245,1265,267,1309,256C1352.7,245,1396,203,1418,181.3L1440,160L1440,320L1418.2,320C1396.4,320,1353,320,1309,320C1265.5,320,1222,320,1178,320C1134.5,320,1091,320,1047,320C1003.6,320,960,320,916,320C872.7,320,829,320,785,320C741.8,320,698,320,655,320C610.9,320,567,320,524,320C480,320,436,320,393,320C349.1,320,305,320,262,320C218.2,320,175,320,131,320C87.3,320,44,320,22,320L0,320Z"></path><g id="tile"><use href="#wave"></use></g><linearGradient id="gloss" x1="0" x2="0" y1="0" y2=".8"><stop offset="0%" stop-color="rgba(255,255,255,1)"></stop><stop offset="100%" stop-color="rgba(255,255,255,0)"></stop></linearGradient><filter id="grain" x="-20%" y="-20%" width="140%" height="140%"><feTurbulence type="fractalNoise" baseFrequency="0.6" numOctaves="2" seed="2" stitchTiles="stitch"></feTurbulence><feColorMatrix type="saturate" values="0">
32</feColorMatrix><feComponentTransfer><feFuncA type="table" tableValues="0 0.1 0.25 0.35"></feFuncA></feComponentTransfer><feComposite in="mono" in2="SourceAlpha" operator="in" result="clippedNoise"></feComposite><feBlend mode="multiply" in2="SourceGraphic"></feBlend></filter></defs><g filter="url(#grain)"><use href="#tile"></use><use href="#wave" fill="url(#gloss)" opacity=".2"></use></g></svg><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1440 320" class="block w-full fill-border absolute top-[20%] md:top-[25%] h-[60%] md:h-[40%]" preserveAspectRatio="none"><defs><path id="wave" d="M0,64L21.8,69.3C43.6,75,87,85,131,112C174.5,139,218,181,262,202.7C305.5,224,349,224,393,192C436.4,160,480,96,524,74.7C567.3,53,611,75,655,101.3C698.2,128,742,160,785,181.3C829.1,203,873,213,916,197.3C960,181,1004,139,1047,138.7C1090.9,139,1135,181,1178,213.3C1221.8,245,1265,267,1309,256C1352.7,245,1396,203,1418,181.3L1440,160L1440,320L1418.2,320C1396.4,320,1353,320,1309,320C1265.5,320,1222,320,1178,320C1134.5,320,1091,320,1047,320C1003.6,320,960,320,916,320C872.7,320,829,320,785,320C741.8,320,698,320,655,320C610.9,320,567,320,524,320C480,320,436,320,393,320C349.1,320,305,320,262,320C218.2,320,175,320,131,320C87.3,320,44,320,22,320L0,320Z"></path><g id="tile"><use href="#wave"></use></g><linearGradient id="gloss" x1="0" x2="0" y1="0" y2=".8"><stop offset="0%" stop-color="rgba(255,255,255,1)"></stop><stop offset="100%" stop-color="rgba(255,255,255,0)"></stop></linearGradient><filter id="grain" x="-20%" y="-20%" width="140%" height="140%"><feTurbulence type="fractalNoise" baseFrequency="0.6" numOctaves="2" seed="2" stitchTiles="stitch"></feTurbulence><feColorMatrix type="saturate" values="0"></feColorMatrix><feComponentTransfer><feFuncA type="table" tableValues="0 0.1 0.25 0.35"></feFuncA></feComponentTransfer><feComposite in="mono" in2="SourceAlpha" operator="in" result="clippedNoise"></feComposite><feBlend mode="multiply" in2="SourceGraphic"></feBlend></filter></defs><g filter="url(#grain)"><use href="#tile"></use><use href="#wave" fill="url(#gloss)" opacity=".2"></use></g></svg><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1440 320" class="block w-full fill-base absolute top-[25%] md:top-[30%] h-[60%] md:h-[40%]" preserveAspectRatio="none"><defs><path id="wave" d="M0,64L21.8,69.3C43.6,75,87,85,131,112C174.5,139,218,181,262,202.7C305.5,224,349,224,393,192C436.4,160,480,96,524,74.7C567.3,53,611,75,655,101.3C698.2,128,742,160,785,181.3C829.1,203,873,213,916,197.3C960,181,1004,139,1047,138.7C1090.9,139,1135,181,1178,213.3C1221.8,245,1265,267,1309,256C1352.7,245,1396,203,1418,181.3L1440,160L1440,320L1418.2,320C1396.4,320,1353,320,1309,320C1265.5,320,1222,320,1178,320C1134.5,320,1091,320,1047,320C1003.6,320,960,320,916,320C872.7,320,829,320,785,320C741.8,320,698,320,655,320C610.9,320,567,320,524,320C480,320,436,320,393,320C349.1,320,305,320,262,320C218.2,320,175,320,131,320C87.3,320,44,320,22,320L0,320Z"></path><g id="tile"><use href="#wave"></use></g><linearGradient id="gloss" x1="0" x2="0" y1="0" y2=".8"><stop offset="0%" stop-color="rgba(255,255,255,1)"></stop><stop offset="100%" stop-color="rgba(255,255,255,0)"></stop></linearGradient><filter id="grain" x="-20%" y="-20%" width="140%" height="140%"><feTurbulence type="fractalNoise" baseFrequency="0.6" numOctaves="2" seed="2" stitchTiles="stitch"></feTurbulence><feColorMatrix type="saturate" values="0"></feColorMatrix><feComponentTransfer><feFuncA type="table" tableValues="0 0.1 0.25 0.35"></feFuncA></feComponentTransfer><feComposite in="mono" in2="SourceAlpha" operator="in" result="clippedNoise"></feComposite><feBlend mode="multiply" in2="SourceGraphic"></feBlend></filter></defs><g filter=""><use href="#tile"></use><use href="#wave" fill="url(#gloss)" opacity=".2"></use></g></svg><div class="absolute inset-x-0 bottom-0 h-[35%] md:h-[15%] bg-base"></div></div></div></div><main class="relative z-10 bg-base -translate-y-[1px] -mb-[1px] overflow-hidden pb-32 px-8"><div class="max-w-3xl mx-auto"><div class="mb-16"><div><a href="/post/difficulty"><p class="text-3xl hover:underline mb-2">Why you canât fire your engineering team just yet</p></a><p class="mb-4">Natural language fails to manage complexity and engineering requires precise mathematical logic.</p><p>April 27, 2026</p></div></div><div class="mb-16"><div><a href="/post/the-expertise-echo"><p class="text-3xl hover:underline mb-2">AI Enables You To Do What You Already Can Do</p></a><p class="mb-4">AI is a talent multiplier, not a substitute.</p><p>April 13, 2026</p></div></div><div class="mb-16"><div><a href="/post/formal_verification"><p class="text-3xl hover:underline mb-2">The vision of combating model hallucinations with formal verification</p></a><p class="mb-4">Explore the shift to AI-driven coding, the trust gap in GenAI, and how formal verification via Lean can replace manual review with mathematical certainty.</p><p>March 16, 2026</p></div></div><div class="mb-16"><div><a href="/post/routines"><p class="text-3xl hover:underline mb-2">Execution over inspiration</p></a><p class="mb-4">Ideas are overrated; execution is everything. Sustainable routines beat genius.</p><p>January 26, 2026</p></div></div><div class="mb-16"><div><a href="/post/the-synthesist"><p class="text-3xl hover:underline mb-2">The synthesist</p></a><p class="mb-4">A grounded take on AI as an abstraction layer, why jobs persist, and how future opportunities favor synthesists who connect engineering, business, and context.</p><p>January 19, 2026</p></div></div><div class="mb-16"><div><a href="/post/2025-ai-hype"><p class="text-3xl hover:underline mb-2">Where 2025âs agentic AI hype fell short</p></a><p class="mb-4">Why AI agents missed 2025 hype: failed pilots, slower developers, and a rethink of LLMs, what AI really is, why assumptions misled companies.</p><p>January 12, 2026</p></div></div><div class="mb-16"><div><a href="/post/language-user-interface"><p class="text-3xl hover:underline mb-2">Language is the new UI</p></a><p class="mb-4">LLMs arenât minds or agentsâtheyâre interfaces. An argument for viewing AI as an abstraction layer, not artificial intelligence.</p><p>January 5, 2026</p></div></div><div class="mb-16"><div><a href="/post/insight-debt"><p class="text-3xl hover:underline mb-2">On insight debt</p></a><p class="mb-4">Insight debt is the hidden tradeoff of AI-generated code: faster output today, harder maintenance and lost flexibility tomorrow.</p><p>December 29, 2025</p></div></div><div class="mb-16"><div><a href="/post/creativity"><p class="text-3xl hover:underline mb-2">What is creativity?</p></a><p class="mb-4">Is AI creativity real or just imitation? A reflection on human uniqueness, artistic style, humility, and whether true creativity depends on subjective experience.</p><p>December 22, 2025</p></div></div><div class="mb-16"><div><a href="/post/proofs-as-types"><p class="text-3xl hover:underline mb-2">Understanding mathematics through Lean</p></a><p class="mb-4">An introduction to how Lean formalizes mathematical proofs using the Curry-Howard correspondence, turning theorems into types and proofs into verifiable terms.</p><p>December 15, 2025</p></div></div><div class="mb-16"><div><a href="/post/microservices"><p class="text-3xl hover:underline mb-2">Microservices should form a polytree</p></a><p class="mb-4">Microservices work best as a polytree with clear dependencies and no cycles. Learn how this structure reduces complexity and makes systems easier to scale and maintain.</p><p>December 8, 2025</p></div></div><div class="mb-16"><div><a href="/post/consciousness"><p class="text-3xl hover:underline mb-2">Do the thinking models actually think?</p></a><p class="mb-4">LLMs mimic understanding but think bottom-up, unlike humans. Explore why theyâre more than autocomplete and why the future is humanâAI collaboration, not replacement.</p><p>December 1, 2025</p></div></div><div class="mb-16"><div><a href="/post/prompting"><p class="text-3xl hover:underline mb-2">No free lunch in vibe coding</p></a><p class="mb-4">AI wonât replace coding, it will simply move complexity from code to prompts. True control and precision will always need technical skill and structured thought.</p><p>November 24, 2025</p></div></div><div class="mb-16"><div><a href="/post/my-favorite-math-problem"><p class="text-3xl hover:underline mb-2">My favorite math problem</p></a><p class="mb-4">Thereâs one math problem I find surprisingly deep in how it connects simple puzzles to profou
32nd ideas in logic, proof, and the rise of AI in mathematics.</p><p>November 17, 2025</p></div></div><div class="mb-16"><div><a href="/post/dunning-kruger"><p class="text-3xl hover:underline mb-2">LLMs are steroids for your Dunning-Kruger</p></a><p class="mb-4">ChatGPT and LLMs amplify both insight and illusion. They are not knowledge engines, but confidence engines shaping how we think and learn.</p><p>November 10, 2025</p></div></div><div class="mb-16"><div><a href="/post/i-love-boring-business-ideas"><p class="text-3xl hover:underline mb-2">I love boring business ideas</p></a><p class="mb-4">Boring business ideas often outperform flashy startups. Stability, predictable revenue, and solid foundations create sustainable success without heavy funding.</p><p>November 3, 2025</p></div></div><div class="mb-16"><div><a href="/post/coding-vs-software-engineering"><p class="text-3xl hover:underline mb-2">AI can code, but it can't build software</p></a><p class="mb-4">AI can write code, but it canât build real software. Software engineering remains human work because AI can code, not engineer.</p><p>October 27, 2025</p></div></div><div class="mb-16"><div><a href="/post/a-case-against-ai-content"><p class="text-3xl hover:underline mb-2">Don't Let an AI Ruin Your Voice</p></a><p class="mb-4">AI can multiply your output overnight... or quietly erode your brand. How to keep efficiency and authenticity in balance?</p><p>October 21, 2025</p></div></div></div></main><footer class="w-full bg-border backdrop-blur text-base"><div class="mx-auto max-w-7xl px-6 py-8 text-center text-sm"><p>© <!-- -->2026<!-- --> <!-- -->ByteSauna<!-- -->. <!-- -->All rights reserved<!-- -->.</p><p class="mt-1"><a href="/privacy" class="hover:underline">Privacy policy</a></p><p class="mt-1 hover:underline cursor-pointer">Cookie settings</p></div></footer></div><!--$--><!--/$-->
32<script src="/_next/static/chunks/169no08td-7sh.js" id="_R_" async=""></script>
32<script>(self.__next_f=self.__next_f||[]).push([0])</script>
32<script>self.__next_f.push([1,"1:\"$Sreact.fragment\"\n2:I[92825,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"ClientSegmentRoot\"]\n3:I[8556,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"default\"]\n4:I[39756,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"default\"]\n5:I[37457,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"default\"]\n7:I[8653,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\",\"/_next/static/chunks/3g8t3uulat0n3.js\",\"/_next/static/chunks/3esq9t8aqho8c.js\",\"/_next/static/chunks/1avfa_n9gzy53.js\"],\"default\"]\n8:I[60097,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\",\"/_next/static/chunks/3g8t3uulat0n3.js\",\"/_next/static/chunks/3esq9t8aqho8c.js\",\"/_next/static/chunks/1avfa_n9gzy53.js\"],\"default\"]\n1f:I[68027,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"default\",1]\n:HL[\"/_next/static/chunks/1__2m2cquhtea.css\",\"style\"]\n:HL[\"/_next/static/chunks/267fa2anvddqk.css\",\"style\"]\n:HL[\"/_next/static/media/03fc1b4a8d284b5e-s.p.0wiir8udbzjvx.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n:HL[\"/_next/static/media/99e609270109b47d-s.p.40sczeszzbjw1.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n:HL[\"/_next/static/media/a7e15459c1805da0-s.p.3y9b8znjr2455.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n:HL[\"/_next/static/media/effe91970fc4db64-s.p.0oace-s_gkfks.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n1d:X\n0:{\"P\":null,\"c\":[\"\",\"post\"],\"q\":\"\",\"i\":false,\"f\":[[[\"\",{\"children\":[\"post\",{\"children\":[\"__PAGE__\",{},\"$undefined\",\"$undefined\",4608]},\"$undefined\",\"$undefined\",4608]},\"$undefined\",\"$undefined\",4624],[[\"$\",\"$1\",\"c\",{\"children\":[[[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/chunks/1__2m2cquhtea.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\",\"nonce\":\"$undefined\"}],[\"$\",\"link\",\"1\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/chunks/267fa2anvddqk.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\",\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-0\",{\"src\":\"/_next/static/chunks/05dily3ed8q5h.js\",\"async\":true,\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-1\",{\"src\":\"/_next/static/chunks/2vj2eor_scqdn.js\",\"async\":true,\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-2\",{\"src\":\"/_next/static/chunks/3-4n331otnbih.js\",\"async\":true,\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-3\",{\"src\":\"/_next/static/chunks/2onu5-6276n95.js\",\"async\":true,\"nonce\":\"$undefined\"}]],[\"$\",\"$L2\",null,{\"Component\":\"$3\",\"slots\":{\"children\":[\"$\",\"$L4\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L5\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":[[\"$\",\"h1\",null,{\"children\":\"Not found\"}],[]],\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]},\"serverProvidedParams\":{\"params\":{},\"promises\":[\"$@6\"]}}]]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[null,[\"$\",\"$L4\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L5\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":\"$undefined\",\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[[\"$\",\"div\",null,{\"children\":[[\"$\",\"$L7\",null,{}],[\"$\",\"main\",null,{\"className\":\"relative z-10 bg-base -translate-y-[1px] -mb-[1px] overflow-hidden pb-32 px-8\",\"children\":[\"$\",\"div\",null,{\"className\":\"max-w-3xl mx-auto\",\"children\":[[\"$\",\"div\",\"0\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Why you canât fire your engineering team just yet\",\"date\":\"2026-04-27T00:00:00.000Z\",\"url\":\"difficulty\",\"coverPhoto\":\"/difficulty.webp\",\"keywords\":\"vibe coding, softw
32are engineering vs coding, AI-first engineering, managing software complexity, generative AI software development, LLM code generation, technical debt in AI code, natural language vs mathematical logic, software architecture in AI era, future of programming 2026, AI-assisted development, agentic programming, fixed-point combinator logic, Y combinator in software, prompt engineering for developers, AI software maintenance, precise logic vs fuzzy input, software engineering realistic expectations\",\"description\":\"Natural language fails to manage complexity and engineering requires precise mathematical logic.\",\"uuid\":\"8a9d559e-bf82-4a96-b233-25b6bfccc43f\"}]}],[\"$\",\"div\",\"1\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"AI Enables You To Do What You Already Can Do\",\"date\":\"2026-04-13T00:00:00.000Z\",\"url\":\"the-expertise-echo\",\"coverPhoto\":\"/synthesist.webp\",\"keywords\":\"AI talent multiplier, future of knowledge work 2026, generative AI in the workplace, LLM expertise echo chamber, professional AI workflow, augmentation vs automation, fuzzy input, sophisticated input, unstructured information, AI skill democratization, generative engine optimization, answer engine optimization, knowledge worker productivity, AI citation score, agentic workflows, information gain, prompt engineering, human-AI collaboration.\",\"description\":\"AI is a talent multiplier, not a substitute.\",\"uuid\":\"1a8b4e9e-9d43-42e9-aed3-b7e521066251\"}]}],[\"$\",\"div\",\"2\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"The vision of combating model hallucinations with formal verification\",\"date\":\"2026-03-16T00:00:00.000Z\",\"url\":\"formal_verification\",\"coverPhoto\":\"/formal_verification.webp\",\"keywords\":\"GenAI Trust Gap, Formal Verification, Lean Prover, Software Specification, AI-Native Development, Verification Debt, Code Safety Reset, Leonardo de Moura, Automated Reasoning, Proof Suites, AI Hallucination in Code, Senior Engineer Sign-off, Intent-Driven Development, Human-in-the-Loop, Technical Debt 2.0, Formal Methods, Mathematical Certainty, AI Orchestration, Software Reliability Engineering (SRE), Claude Code.\",\"description\":\"Explore the shift to AI-driven coding, the trust gap in GenAI, and how formal verification via Lean can replace manual review with mathematical certainty.\",\"uuid\":\"ebab6468-46cd-4576-bfc1-989722ee67d6\"}]}],\"$L9\",\"$La\",\"$Lb\",\"$Lc\",\"$Ld\",\"$Le\",\"$Lf\",\"$L10\",\"$L11\",\"$L12\",\"$L13\",\"$L14\",\"$L15\",\"$L16\",\"$L17\"]}]}],\"$L18\"]}],[\"$L19\",\"$L1a\",\"$L1b\"],\"$L1c\"]}],{},null,false,null]},null,false,\"$1d\"]},null,false,null],\"$L1e\",false]],\"m\":\"$undefined\",\"G\":[\"$1f\",[\"$L20\",\"$L21\"]],\"S\":true,\"h\":null,\"r\":\"$undefined\",\"s\":\"$undefined\",\"a\":\"$undefined\",\"l\":\"$undefined\",\"p\":\"$undefined\",\"d\":\"$undefined\",\"b\":\"44yn1nrFJ2xBB-GJvHUnq\"}\n22:I[68426,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\",\"/_next/static/chunks/3g8t3uulat0n3.js\",\"/_next/static/chunks/3esq9t8aqho8c.js\",\"/_next/static/chunks/1avfa_n9gzy53.js\"],\"default\"]\n23:I[97367,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"OutletBoundary\"]\n24:\"$Sreact.suspense\"\n26:I[97367,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"ViewportBoundary\"]\n28:I[97367,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"MetadataBoundary\"]\n9:[\"$\",\"div\",\"3\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Execution over inspiration\",\"date\":\"2026-01-26T00:00:00.000Z\",\"url\":\"routines\",\"coverPhoto\":\"/routine.webp\",\"keywords\":\"Execution vs. Ideas, Power of Routine, Consistency over Intensity, Goal Setting, Burnout Prevention, Iterative Process, Discipline, Perseverance, Strategic Pivoting, Incremental Progress\",\"description\":\"Ideas are overrated; execution is everything. Sustainable routines beat genius.\",\"uuid\":\"af95b942-45b2-42e4-a8cf-78148d5f6377\"}]}]\na:[\"$\",\"div\",\"4\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"The synthesist\",\"date\":\"2026-01-19T00:00:00.000Z\",\"url\":\"the-synthesist\",\"coverPhoto\":\"/synthesist.webp\",\"keywords\":\"AI abstraction layer, AI as interface, AI and human interaction, impact of AI on jobs, AI hype cycle, future of AI work, AI productivity tools, advanced search AI, AI in software development, human-AI collaboration, interdisciplinary skills in tech, systems thinking in AI era, synthesist role, AI and business alignment, AI-driven workflows\",\"description\":\"A grounded take on AI as an abstraction layer, why jobs persist, and how future opportunities favor synthesists who connect engineering, business, and context.\",\"uuid\":\"c239d759-e1c8-4feb-bf61-30e88ba3cde0\"}]}]\nb:[\"$\",\"div\",\"5\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Where 2025âs agentic AI hype fell short\",\"date\":\"2026-01-12T00:00:00.000Z\",\"url\":\"2025-ai-hype\",\"coverPhoto\":\"/hype.webp\",\"keywords\":\"AI agents, artificial intelligence, large language models, LLMs, AI hype, AI agents 2025, generative AI failure, AI pilots failing, MIT AI report, METR study, developer productivity, AI in the workplace, Sam Altman AI, ChatGPT limitations, AI misconceptions, autonomous systems, AI strategy\",\"description\":\"Why AI agents missed 2025 hype: failed pilots, slower developers, and a rethink of LLMs, what AI really is, why assumptions misled companies.\",\"uuid\":\"011c2aef-4bfa-4cbe-b0d4-b5854b29bee2\"}]}]\nc:[\"$\",\"div\",\"6\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Language is the new UI\",\"date\":\"2026-01-05T00:00:00.000Z\",\"url\":\"language-user-interface\",\"coverPhoto\":\"/lui.webp\",\"keywords\":\"large language models, LLMs, AI hype, artificial intelligence, language user interface, LUI, human computer interaction, abstraction layers, CLI vs GUI, natural language interfaces, software development, programming tools, AI limitations, prompt engineering, future of AI\",\"description\":\"LLMs arenât minds or agentsâtheyâre interfaces. An argument for viewing AI as an abstraction layer, not artificial intelligence.\",\"uuid\":\"40d3e8a6-e385-4e2d-9290-867d09ff7745\"}]}]\nd:[\"$\",\"div\",\"7\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"On insight debt\",\"date\":\"2025-12-29T00:00:00.000Z\",\"url\":\"insight-debt\",\"coverPhoto\":\"/insight-debt.webp\",\"keywords\":\"AI-generated code, insight debt, software maintenance, technical debt, code
32comprehension, AI coding tools, large language models, software engineering, maintainable code, vibe coding, legacy systems, code ownership, developer productivity, system complexity\",\"description\":\"Insight debt is the hidden tradeoff of AI-generated code: faster output today, harder maintenance and lost flexibility tomorrow.\",\"uuid\":\"b42d9ddf-1473-4785-b525-8c062fe64f92\"}]}]\ne:[\"$\",\"div\",\"8\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"What is creativity?\",\"date\":\"2025-12-22T00:00:00.000Z\",\"url\":\"creativity\",\"coverPhoto\":\"/creativity.webp\",\"keywords\":\"AI creativity, artificial intelligence creativity, human creativity, subjective experience, AI vs human, creativity and AI, artistic style, machine learning art, philosophy of AI, human uniqueness\",\"description\":\"Is AI creativity real or just imitation? A reflection on human uniqueness, artistic style, humility, and whether true creativity depends on subjective experience.\",\"uuid\":\"b11008bf-7fac-4cbd-9147-7353af3f7b28\"}]}]\nf:[\"$\",\"div\",\"9\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Understanding mathematics through Lean\",\"date\":\"2025-12-15T00:00:00.000Z\",\"url\":\"proofs-as-types\",\"coverPhoto\":\"/proofs.webp\",\"keywords\":\"Lean theorem prover, Curry-Howard correspondence, formal proofs, mathematical logic, type theory, proof verification, Lean tutorial, theorem as types\",\"description\":\"An introduction to how Lean formalizes mathematical proofs using the Curry-Howard correspondence, turning theorems into types and proofs into verifiable terms.\",\"uuid\":\"f2cf7dac-6cb2-4232-9125-318cb43ac460\"}]}]\n10:[\"$\",\"div\",\"10\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Microservices should form a polytree\",\"date\":\"2025-12-08T00:00:00.000Z\",\"url\":\"microservices\",\"coverPhoto\":\"/polytree.webp\",\"keywords\":\"microservices, microservice architecture, polytree, distributed systems, service dependencies, system design, software architecture, scalability, fault tolerance\",\"description\":\"Microservices work best as a polytree with clear dependencies and no cycles. Learn how this structure reduces complexity and makes systems easier to scale and maintain.\",\"uuid\":\"df909981-9ab9-4445-b073-8dbe52a2c133\"}]}]\n11:[\"$\",\"div\",\"11\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Do the thinking models actually think?\",\"date\":\"2025-12-01T00:00:00.000Z\",\"url\":\"consciousness\",\"coverPhoto\":\"/consciousness.webp\",\"keywords\":\"AI consciousness, machine intelligence, large language models, ChatGPT thinking, AI hallucinations, autocomplete debate, philosophical zombie, Turing test, von Neumann, Shannon, AI reasoning, human vs machine intelligence, bottom-up thinking, top-down thinking, AI understanding, AI limitations, AI future, human-AI collaboration, AI capabilities, LLM intelligence, AI cognition, AGI debate\",\"description\":\"LLMs mimic understanding but think bottom-up, unlike humans. Explore why theyâre more than autocomplete and why the future is humanâAI collaboration, not replacement.\",\"uuid\":\"27897f5f-ec01-4205-a3cd-3f9c3dc5d977\"}]}]\n12:[\"$\",\"div\",\"12\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"No free lunch in vibe coding\",\"date\":\"2025-11-24T00:00:00.000Z\",\"url\":\"prompting\",\"coverPhoto\":\"/prompting.webp\",\"keywords\":\"AI coding, prompt engineering, Library of Babel, large language models, oracle argument, Kolmogorov complexity, Shannon theorem, softw
32are development, AI and programming, complexity in AI, conservation of complexity, future of coding, Jensen Huang AI, coding with ChatGPT, AI software engineering, prompting and coding, AI generated code, programming languages, AI automation limits, AI and information theory\",\"description\":\"AI wonât replace coding, it will simply move complexity from code to prompts. True control and precision will always need technical skill and structured thought.\",\"uuid\":\"1909b1e2-236e-4a6f-928f-1194e721668d\"}]}]\n13:[\"$\",\"div\",\"13\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"My favorite math problem\",\"date\":\"2025-11-17T00:00:00.000Z\",\"url\":\"my-favorite-math-problem\",\"coverPhoto\":\"/math.webp\",\"keywords\":\"mutilated chessboard problem, math puzzle, logic, mathematical proof, combinatorics, AI in mathematics, type theory, Lean theorem prover, Terence Tao, math and AI\",\"description\":\"Thereâs one math problem I find surprisingly deep in how it connects simple puzzles to profound ideas in logic, proof, and the rise of AI in mathematics.\",\"uuid\":\"e71bb1ac-8c92-4cf8-8b0c-4a7b45f07688\"}]}]\n14:[\"$\",\"div\",\"14\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"LLMs are steroids for your Dunning-Kruger\",\"date\":\"2025-11-10T00:00:00.000Z\",\"url\":\"dunning-kruger\",\"coverPhoto\":\"/dunning-kruger.webp\",\"keywords\":\"AI psychology, ChatGPT effects, Bertrand Russell The Triumph of Stupidity, AI confidence illusion, LLM misinformation, AI and human cognition, large language models psychology, ChatGPT user behavior, AI-induced overconfidence, artificial intelligence impact on society, AI and education, ChatGPT addiction, AI as mirror, reinforcement learning from human feedback, AI and self-delusion, psychological effects of ChatGPT, AI trust and misinformation, human-AI interaction, AI and critical thinking, confidence engine concept\",\"description\":\"ChatGPT and LLMs amplify both insight and illusion. They are not knowledge engines, but confidence engines shaping how we think and learn.\",\"uuid\":\"aacd2a0b-3bd2-4448-a741-060f5ff7ccaa\"}]}]\n15:[\"$\",\"div\",\"15\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"I love boring business ideas\",\"date\":\"2025-11-03T00:00:00.000Z\",\"url\":\"i-love-boring-business-ideas\",\"coverPhoto\":\"/post_it.webp\",\"keywords\":\"boring business ideas, stable business models, predictable revenue streams, sustainable startups, bootstrapped businesses, profitable small business ideas, long-term business growth, business stability over hype, startup lessons, early-stage founders, entrepreneurship mindset, business fundamentals, no funding startups, bootstrap vs funding, simple business ideas that work, realistic entrepreneurship, why boring businesses are the best, how to build a predictable revenue business, lessons from early-stage founders, why stable startups win in the long run, benefits of bootstrapping your business, how to find boring business ideas that make money, escaping startup hype culture, making a living with simple business ideas\",\"description\":\"Boring business ideas often outperform flashy startups. Stability, predictable revenue, and solid foundations create sustainable success without heavy funding.\",\"uuid\":\"d54d1057-5d33-4a67-9ce6-901a00330da7\"}]}]\n16:[\"$\",\"div\",\"16\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"AI can code, but it can't build software\",\"date\":\"2025-10-27T00:00:00.000Z\",\"url\":\"coding-vs-software-engineering\",\"coverPhoto\":\"/engineering.webp\",\"keywords\":\"AI software engineering, AI coding tools, AI and software development, GPT-5 coding, AI cofounder, technical cofounder search, AI can code but canât build software, GenAI in software development, why AI canât replace software engineers, AI-assisted coding vs software engineering, challenges of AI in building production software, human vs AI software engineering, making AI-generated code production ready, software engineering complexity and AI, limitations of AI coding assistants, building production apps with AI, app development, startup cofounder, CTO for startups, production readiness, maintainable software, softw
32are complexity, AI automation limits, future of coding jobs\",\"description\":\"AI can write code, but it canât build real software. Software engineering remains human work because AI can code, not engineer.\",\"uuid\":\"376aab71-5865-43ec-bf2f-820f44eb63a5\"}]}]\n17:[\"$\",\"div\",\"17\",{\"className\":\"mb-16\",\"children\":[\"$\",\"$L8\",null,{\"title\":\"Don't Let an AI Ruin Your Voice\",\"date\":\"2025-10-21T00:00:00.000Z\",\"url\":\"a-case-against-ai-content\",\"coverPhoto\":\"/a-case-against-ai.webp\",\"keywords\":\"AI-generated content, AI content strategy, brand authenticity, authentic brand voice, human vs AI writing, content marketing, AI in marketing, LLM productivity, AI and branding, content authenticity, AI slop, ethical AI use, marketing strategy, AI communication, audience trust, authentic communication, human connection, AI writing tools, content creation with AI, digital branding\",\"description\":\"AI can multiply your output overnight... or quietly erode your brand. How to keep efficiency and authenticity in balance?\",\"uuid\":\"ac151a91-1eb8-4e88-884a-b8b726fdbb04\"}]}]\n18:[\"$\",\"$L22\",null,{}]\n19:[\"$\",\"script\",\"script-0\",{\"src\":\"/_next/static/chunks/3g8t3uulat0n3.js\",\"async\":true,\"nonce\":\"$undefined\"}]\n1a:[\"$\",\"script\",\"script-1\",{\"src\":\"/_next/static/chunks/3esq9t8aqho8c.js\",\"async\":true,\"nonce\":\"$undefined\"}]\n1b:[\"$\",\"script\",\"script-2\",{\"src\":\"/_next/static/chunks/1avfa_n9gzy53.js\",\"async\":true,\"nonce\":\"$undefined\"}]\n1c:[\"$\",\"$L23\",null,{\"children\":[\"$\",\"$24\",null,{\"name\":\"Next.MetadataOutlet\",\"children\":\"$@25\"}]}]\n1e:[\"$\",\"$1\",\"h\",{\"children\":[null,[\"$\",\"$L26\",null,{\"children\":\"$L27\"}],[\"$\",\"div\",null,{\"hidden\":true,\"children\":[\"$\",\"$L28\",null,{\"children\":[\"$\",\"$24\",null,{\"name\":\"Next.Metadata\",\"children\":\"$L29\"}]}]}],[\"$\",\"meta\",null,{\"name\":\"next-size-adjust\",\"content\":\"\"}]]}]\n20:[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/chunks/1__2m2cquhtea.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\",\"nonce\":\"$undefined\"}]\n21:[\"$\",\"link\",\"1\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/chunks/267fa2anvddqk.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\",\"nonce\":\"$undefined\"}]\n6:\"$0:f:0:1:0:props:children:1:props:serverProvidedParams:params\"\n1d:C\n27:[[\"$\",\"meta\",\"0\",{\"charSet\":\"utf-8\"}],[\"$\",\"meta\",\"1\",{\"name\":\"viewport\",\"content\":\"width=device-width, initial-scale=1\"}]]\n2a:I[27201,[\"/_next/static/chunks/05dily3ed8q5h.js\",\"/_next/static/chunks/2vj2eor_scqdn.js\",\"/_next/static/chunks/3-4n331otnbih.js\",\"/_next/static/chunks/2onu5-6276n95.js\"],\"IconMark\"]\n25:null\n29:[[\"$\",\"title\",\"0\",{\"children\":\"Newsletter | ByteSauna\"}],[\"$\",\"meta\",\"1\",{\"name\":\"description\",\"content\":\"Deep dives into AI, software, and the art of leading them well. Subscribe for expert insights every week.\"}],[\"$\",\"meta\",\"2\",{\"name\":\"keywords\",\"content\":\"AI,software engineering,leadership,technology,newsletter,ByteSauna\"}],[\"$\",\"link\",\"3\",{\"rel\":\"icon\",\"href\":\"/favicon.ico?favicon.3vovc6-8_nup-.ico\",\"sizes\":\"64x64\",\"type\":\"image/x-icon\"}],[\"$\",\"$L2a\",\"4\",{}]]\n"])</script>
32<script>(function(){function c(){var b=a.contentDocument||(a.contentWindow&&a.contentWindow.document);if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a470bc185c0dade0',t:'MTc5MTQxNjI1Nw=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script>
32<script type="module" src="https://static.cloudflareinsights.com/beacon.min.js/v4bc70e2c01a94c73b74392e4234840661791215815920" integrity="sha512-L0ha0OXavK/8okipN9F8BtP84dg9DUhPERbBXzwI6dgTA55d2+yweo3pn5CSFYs45/r8md2+xvUPtTdvTNRfjA==" data-cf-beacon='{"version":"2024.11.0","token":"9db1bbc24e614b5c992d941dc7a3208f","r":1,"spa":2}' crossorigin="anonymous"></script>
32 33</body></html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.