T3 INTERBLAG REAL-ESTATET3 INTERBLAG REAL-ESTATEhttps://t3.at/Parser Combinatorshttps://t3.at/blog/parser-combinators/https://t3.at/blog/parser-combinators/Better than regex!Sat, 17 Oct 2026 00:00:00 GMTAI: The Great Integratorhttps://t3.at/blog/ai-integrator/https://t3.at/blog/ai-integrator/Wed, 14 Oct 2026 00:00:00 GMTAll abstractions are the samehttps://t3.at/blog/everything-is-everything/https://t3.at/blog/everything-is-everything/A microservice is just a class, a static class is just a folder: every abstraction is code, bundled into units, with a dependency graph between them.Mon, 12 Oct 2026 00:00:00 GMTSoftware is recursive and AI is the base casehttps://t3.at/blog/ai-base-case/https://t3.at/blog/ai-base-case/Tue, 06 Oct 2026 00:00:00 GMTColour #1: The RGB Cubehttps://t3.at/blog/colour/rgb-cube/https://t3.at/blog/colour/rgb-cube/Fri, 21 Aug 2026 00:00:00 GMTColour #2: The Electromagnetic Spectrumhttps://t3.at/blog/colour/spectrum/https://t3.at/blog/colour/spectrum/Fri, 21 Aug 2026 00:00:00 GMTColour #3: The Tristimulushttps://t3.at/blog/colour/tristimulus/https://t3.at/blog/colour/tristimulus/Fri, 21 Aug 2026 00:00:00 GMTColour #4: Deuteranopiahttps://t3.at/blog/colour/colour-blindness/https://t3.at/blog/colour/colour-blindness/Fri, 21 Aug 2026 00:00:00 GMTColour #5: Pink, Olo and 4D colourshttps://t3.at/blog/colour/olo/https://t3.at/blog/colour/olo/Fri, 21 Aug 2026 00:00:00 GMTColour #6: Gradientshttps://t3.at/blog/colour/gradients/https://t3.at/blog/colour/gradients/Fri, 21 Aug 2026 00:00:00 GMTColour #7: Luminancehttps://t3.at/blog/colour/luminance/https://t3.at/blog/colour/luminance/Fri, 21 Aug 2026 00:00:00 GMTColour #8: OKLCHhttps://t3.at/blog/colour/oklch/https://t3.at/blog/colour/oklch/Fri, 21 Aug 2026 00:00:00 GMTClasses are Coalgebras #3: ADTs are functorialhttps://t3.at/blog/classes-are-coalgebras/adt2/https://t3.at/blog/classes-are-coalgebras/adt2/Sat, 27 Jun 2026 00:00:00 GMTClasses are Coalgebras #2: Algebraic Data Typeshttps://t3.at/blog/classes-are-coalgebras/adt/https://t3.at/blog/classes-are-coalgebras/adt/Sun, 14 Jun 2026 00:00:00 GMTClasses are Coalgebras #1: Functorshttps://t3.at/blog/classes-are-coalgebras/functors/https://t3.at/blog/classes-are-coalgebras/functors/Tue, 26 May 2026 00:00:00 GMTDistributed System Simulatorhttps://t3.at/blog/distributed-system-simulator/https://t3.at/blog/distributed-system-simulator/Wed, 15 Apr 2026 00:00:00 GMTAngular suckshttps://t3.at/blog/angular-sucks/https://t3.at/blog/angular-sucks/Wed, 18 Mar 2026 00:00:00 GMTNixOS as an exercise in Cross-Functional Requirementshttps://t3.at/blog/nix-cfr/https://t3.at/blog/nix-cfr/Sun, 22 Feb 2026 00:00:00 GMTThe Fractal Modulith, revisitedhttps://t3.at/blog/fractal-modulith-2/https://t3.at/blog/fractal-modulith-2/Thu, 22 Jan 2026 00:00:00 GMTSuno AIhttps://t3.at/blog/suno/https://t3.at/blog/suno/Sun, 18 Jan 2026 00:00:00 GMTBrooklyn 99: Captain Holt Seesaw Puzzlehttps://t3.at/blog/holt-seesaw/https://t3.at/blog/holt-seesaw/Sun, 28 Dec 2025 00:00:00 GMTType Systems #25: The Lambda Iceberg and Lambda Cubehttps://t3.at/blog/type-systems/iceberg/https://t3.at/blog/type-systems/iceberg/Wed, 24 Dec 2025 00:00:00 GMTType Systems #24: The Calculus of Constructions and Dependent Typeshttps://t3.at/blog/type-systems/dependent-types/https://t3.at/blog/type-systems/dependent-types/Tue, 23 Dec 2025 00:00:00 GMTType Systems #23: The Curry-Howard Isomorphismhttps://t3.at/blog/type-systems/curry-howard/https://t3.at/blog/type-systems/curry-howard/Mon, 22 Dec 2025 00:00:00 GMTType Systems #22: Zippers and One-Hole Contextshttps://t3.at/blog/type-systems/one-hole-context/https://t3.at/blog/type-systems/one-hole-context/Sun, 21 Dec 2025 00:00:00 GMTType Systems #21: Algebraic Data Typeshttps://t3.at/blog/type-systems/adts/https://t3.at/blog/type-systems/adts/Sat, 20 Dec 2025 00:00:00 GMTType Systems #20: An Equivalence between Typeshttps://t3.at/blog/type-systems/type-isomorphism/https://t3.at/blog/type-systems/type-isomorphism/Fri, 19 Dec 2025 00:00:00 GMTType Systems #19: System Fωω..? A Recap of Type Systemshttps://t3.at/blog/type-systems/fomegaomega/https://t3.at/blog/type-systems/fomegaomega/Thu, 18 Dec 2025 00:00:00 GMTType Systems #18: Higher-Kinded Typeshttps://t3.at/blog/type-systems/hkt/https://t3.at/blog/type-systems/hkt/Wed, 17 Dec 2025 00:00:00 GMTType Systems #17: System Fω, and Kindshttps://t3.at/blog/type-systems/system-fomega/https://t3.at/blog/type-systems/system-fomega/Tue, 16 Dec 2025 00:00:00 GMTType Systems #16: Functions... on Types?https://t3.at/blog/type-systems/functions-on-types/https://t3.at/blog/type-systems/functions-on-types/Mon, 15 Dec 2025 00:00:00 GMTType Systems #15: A Church Encoding of Listshttps://t3.at/blog/type-systems/church-lists/https://t3.at/blog/type-systems/church-lists/Sun, 14 Dec 2025 00:00:00 GMTType Systems #14: System F<:, Tops and Bottomshttps://t3.at/blog/type-systems/system-fsub/https://t3.at/blog/type-systems/system-fsub/Sat, 13 Dec 2025 00:00:00 GMTType Systems #13: The Typescript Latticehttps://t3.at/blog/type-systems/ts-lattice/https://t3.at/blog/type-systems/ts-lattice/Fri, 12 Dec 2025 00:00:00 GMTType Systems #12: Subtypinghttps://t3.at/blog/type-systems/subtyping/https://t3.at/blog/type-systems/subtyping/Thu, 11 Dec 2025 00:00:00 GMTType Systems #11: Existential Quantificationhttps://t3.at/blog/type-systems/existential-quantification/https://t3.at/blog/type-systems/existential-quantification/Wed, 10 Dec 2025 00:00:00 GMTType Systems #10: Universal Quantification and Rank-N Typeshttps://t3.at/blog/type-systems/universal-quantification/https://t3.at/blog/type-systems/universal-quantification/Tue, 09 Dec 2025 00:00:00 GMTType Systems #9: BTW: Continuation-Passing Stylehttps://t3.at/blog/type-systems/cps/https://t3.at/blog/type-systems/cps/Mon, 08 Dec 2025 00:00:00 GMTType Systems #8: Theorems for Free!https://t3.at/blog/type-systems/theorems-for-free/https://t3.at/blog/type-systems/theorems-for-free/Sun, 07 Dec 2025 00:00:00 GMTType Systems #7: Using Genericshttps://t3.at/blog/type-systems/system-f2/https://t3.at/blog/type-systems/system-f2/Sat, 06 Dec 2025 00:00:00 GMTType Systems #1.6: Curryinghttps://t3.at/blog/type-systems/utlc3/https://t3.at/blog/type-systems/utlc3/Fri, 05 Dec 2025 00:00:00 GMTType Systems #5: Polymorphism and System Fhttps://t3.at/blog/type-systems/system-f/https://t3.at/blog/type-systems/system-f/Thu, 04 Dec 2025 00:00:00 GMTType Systems #4: STLC is not enough!https://t3.at/blog/type-systems/stlc2/https://t3.at/blog/type-systems/stlc2/Wed, 03 Dec 2025 00:00:00 GMTType Systems #3: Simply Typed Lambda Calculushttps://t3.at/blog/type-systems/stlc/https://t3.at/blog/type-systems/stlc/Tue, 02 Dec 2025 00:00:00 GMTType Systems #2: Untyped Lambda Calculus, againhttps://t3.at/blog/type-systems/utlc2/https://t3.at/blog/type-systems/utlc2/Mon, 01 Dec 2025 00:00:00 GMTType Systems #1: Untyped Lambda Calculushttps://t3.at/blog/type-systems/utlc/https://t3.at/blog/type-systems/utlc/Fri, 28 Nov 2025 00:00:00 GMTWill AI lead to a Haskell resurgence?https://t3.at/blog/ai-haskell/https://t3.at/blog/ai-haskell/Wed, 19 Nov 2025 00:00:00 GMTCategory theory is hilariously recursivehttps://t3.at/blog/categories/https://t3.at/blog/categories/Sun, 12 Oct 2025 00:00:00 GMTSide-effect decoherencehttps://t3.at/blog/side-effect-decoherence/https://t3.at/blog/side-effect-decoherence/Thu, 28 Aug 2025 00:00:00 GMTPlease just give me a programming language manhttps://t3.at/blog/configuramming/https://t3.at/blog/configuramming/Thu, 07 Aug 2025 00:00:00 GMTColor themeshttps://t3.at/blog/colors/https://t3.at/blog/colors/Mon, 04 Aug 2025 00:00:00 GMTAngular and Greenspun's Tenth Rulehttps://t3.at/blog/angular-greenspun/https://t3.at/blog/angular-greenspun/Fri, 01 Aug 2025 00:00:00 GMTFree objects #4https://t3.at/blog/free-objects/hierarchy/https://t3.at/blog/free-objects/hierarchy/Wed, 30 Jul 2025 00:00:00 GMTType intersectionshttps://t3.at/blog/type-intersections/https://t3.at/blog/type-intersections/Thu, 24 Jul 2025 00:00:00 GMTConstructors shouldn't throwhttps://t3.at/blog/constructors-shouldnt-throw/https://t3.at/blog/constructors-shouldnt-throw/Sun, 20 Jul 2025 00:00:00 GMTTwo-sigma developmenthttps://t3.at/blog/two-sigma-development/https://t3.at/blog/two-sigma-development/Thu, 17 Jul 2025 00:00:00 GMTA fractal modulithhttps://t3.at/blog/a-fractal-modulith/https://t3.at/blog/a-fractal-modulith/Sat, 05 Jul 2025 00:00:00 GMTFree objects #3: Magmas & Binary Finger Treeshttps://t3.at/blog/free-objects/magmas/https://t3.at/blog/free-objects/magmas/Fri, 04 Jul 2025 00:00:00 GMTPipeline runs grow n² with the number of open PRshttps://t3.at/blog/pipelines/https://t3.at/blog/pipelines/Thu, 03 Jul 2025 00:00:00 GMTFree objects #2: Monoids & Listshttps://t3.at/blog/free-objects/monoids/https://t3.at/blog/free-objects/monoids/Thu, 19 Jun 2025 00:00:00 GMTEnforcing Architecture through Ceremonyhttps://t3.at/blog/enforcing-architecture-through-ceremony/https://t3.at/blog/enforcing-architecture-through-ceremony/Mon, 16 Jun 2025 00:00:00 GMTFree objects #1: Commutative Monoids & Multisetshttps://t3.at/blog/free-objects/commutative-monoids/https://t3.at/blog/free-objects/commutative-monoids/Sat, 07 Jun 2025 00:00:00 GMTprefixed/compound ids are kinda neathttps://t3.at/blog/prefixed-ids-are-kinda-neat/https://t3.at/blog/prefixed-ids-are-kinda-neat/Wed, 07 May 2025 00:00:00 GMTHow to structure any codebasehttps://t3.at/blog/how-to-structure-any-codebase/https://t3.at/blog/how-to-structure-any-codebase/Tue, 06 Aug 2024 00:00:00 GMTPlease walk on the right half of the sidewalkhttps://t3.at/blog/please-walk-on-the-right-half-of-the-sidewalk/https://t3.at/blog/please-walk-on-the-right-half-of-the-sidewalk/Tue, 14 Nov 2023 00:00:00 GMTTypescript Hacks #1: String suggestionshttps://t3.at/blog/typescript-hacks/string-suggestions/https://t3.at/blog/typescript-hacks/string-suggestions/Tue, 05 Sep 2023 00:00:00 GMTCreate OpenShift clusters for testing (in Azure, and locally)https://t3.at/blog/create-openshift-clusters-for-testing/https://t3.at/blog/create-openshift-clusters-for-testing/Tue, 01 Aug 2023 00:00:00 GMT