gt4py Knowledge Base https://gridtools.github.io/gt4py_knowledge Last 10 notes on gt4py Knowledge Base Quartz -- quartz.jzhao.xyz gt4py Knowledge Base https://gridtools.github.io/gt4py_knowledge/ https://gridtools.github.io/gt4py_knowledge/ Fri, 02 Oct 2026 06:28:29 GMT Working Principles https://gridtools.github.io/gt4py_knowledge/knowledge/software-engineering/principles https://gridtools.github.io/gt4py_knowledge/knowledge/software-engineering/principles Fri, 02 Oct 2026 06:28:29 GMT Connectivities as types: one declaration for offset, local dimension and provider key https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types Fri, 02 Oct 2026 00:00:00 GMT Connectivities as types — alternatives considered https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_alternatives https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_alternatives Thu, 01 Oct 2026 00:00:00 GMT Connectivities as types — alignment with the UGRID and SGRID conventions https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_conventions https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_conventions Thu, 01 Oct 2026 00:00:00 GMT Connectivities as types — what type identity costs the IR, pickle and codegen https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_identity https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_identity Thu, 01 Oct 2026 00:00:00 GMT Connectivities as types — slides https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_slides https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_slides Thu, 01 Oct 2026 00:00:00 GMT Connectivities as types — Cartesian axes, the CW-complex reading and alignment https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_staggering https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_staggering Thu, 01 Oct 2026 00:00:00 GMT Connectivities as types — decisions made by running mypy and pyright https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_typing https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_typing Thu, 01 Oct 2026 00:00:00 GMT Connectivities as types — background: dependent typing for mesh connectivities https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_dependent-typing https://gridtools.github.io/gt4py_knowledge/personal/egparedes/connectivities-as-types/connectivities-as-types_dependent-typing Wed, 23 Sep 2026 00:00:00 GMT