# Ryan Harris — Engineering in Public > Software architecture, developer tools, authorization, and AI workflow notes connected to working open-source projects. This is the compact level of a three-level context pyramid: follow a Markdown link for a page summary and full article, or use [llms-full.txt](https://thefellow.github.io/llms-full.txt) for the complete site corpus. Source repositories are linked from their project pages. ## Start Here - [Engineering in public](https://thefellow.github.io/index.md): Public notes connecting software architecture to working projects. - [Articles](https://thefellow.github.io/articles.md): Long-form articles turning architecture principles into testable working designs. - [Notes](https://thefellow.github.io/notes.md): Focused observations drawn from active projects, experiments, and research. - [Projects](https://thefellow.github.io/projects.md): Open-source projects with design context beyond their repository READMEs. - [Resume](https://thefellow.github.io/resume.md): Staff-level experience in authorization, architecture, delivery, and technical leadership. - [Series](https://thefellow.github.io/series.md): Ordered paths through related articles, notes, and projects. ## Projects - [arch-lint](https://thefellow.github.io/projects/arch-lint.md): A Go analyzer that makes architectural dependency rules build-time checks. - [cedar-dotnet](https://thefellow.github.io/projects/cedar-dotnet.md): A semantic Cedar implementation with idiomatic C# APIs and conformance tests. - [enumstruct](https://thefellow.github.io/projects/enumstruct.md): A Go analyzer that detects missing pointer-union cases as models evolve. - [Expr for .NET](https://thefellow.github.io/projects/expr-dotnet.md): A safe .NET expression language with inspectable compilation and bounded execution. - [F#kYeah](https://thefellow.github.io/projects/fkyeah.md): An F# engine executing inspectable, resumable AI workflows from DOT graphs. - [fluid](https://thefellow.github.io/projects/fluid.md): An interactive Go playground for exploring two-dimensional Eulerian fluid dynamics. - [go-modular-monolith](https://thefellow.github.io/projects/go-modular-monolith.md): A Go reference app enforcing modular boundaries and cross-cutting concerns. - [go-riblt](https://thefellow.github.io/projects/go-riblt.md): A generic Go RIBLT library reconciling sets with difference-sized communication. - [modular-monolith](https://thefellow.github.io/projects/modular-monolith.md): An idiomatic .NET port preserving Mixology's observable application behavior. - [ValueTypes](https://thefellow.github.io/projects/value-types.md): A compact C# library for modeling value-object equality and composition. ## Articles - [Authorization Is Part of Navigation](https://thefellow.github.io/articles/authorization-is-part-of-navigation.md): How Cedar shapes routes, aggregates, rows, and available actions. - [Bespoke Views over a Shared Application Boundary](https://thefellow.github.io/articles/bespoke-views-over-a-shared-application-boundary.md): Why native views share application behavior, not universal view models. - [Building a File-Backed Columnar Event Pipeline](https://thefellow.github.io/articles/building-a-file-backed-columnar-event-pipeline.md): Immutable Parquet snapshots support direct analytical queries and typed results. - [Building an Application TUI Toolkit](https://thefellow.github.io/articles/building-an-application-tui-toolkit.md): How Mixology adapts MVVM and Elm ideas into an application toolkit. - [Building High-Quality Software](https://thefellow.github.io/articles/building-high-quality-software.md): Eleven lessons that turn architectural intent into executable software constraints. - [Growing a Reciprocal Domain Workflow](https://thefellow.github.io/articles/growing-a-reciprocal-domain-workflow.md): Procurement and Inventory expose the boundary between reactions and workflows. - [Growing Mixology with a GUI Surface](https://thefellow.github.io/articles/growing-mixology-with-fyne.md): Tracking Mixology's testable growth from two surfaces to three. - [Making Illegal States Unrepresentable in Go](https://thefellow.github.io/articles/making-illegal-states-unrepresentable-in-go.md): F# techniques make Go domain constraints explicit and enforceable. - [Migrating Mixology from bstore to SQLite](https://thefellow.github.io/articles/migrating-mixology-from-bstore-to-sqlite.md): Mixology replaces bstore while preserving its application contracts. - [Preserving Truth Through Operational Degradation](https://thefellow.github.io/articles/preserving-truth-through-operational-degradation.md): Preserve history while blocking knowingly degraded state promotion. - [Testing Native Go Desktop Applications Headlessly](https://thefellow.github.io/articles/testing-native-go-desktop-applications-headlessly.md): Layered evidence for native GUI behavior without opening windows. - [Turning Cross-Domain Calls into Enforced Boundaries](https://thefellow.github.io/articles/turning-cross-domain-calls-into-enforced-boundaries.md): Transactional events replace cross-domain calls with enforced ownership. - [Typed Filtering over SQLite](https://thefellow.github.io/articles/typed-filtering-over-sqlite.md): How typed expressions become safe, exact SQLite query plans. - [Using a Third Surface as an Architecture Test](https://thefellow.github.io/articles/using-a-third-surface-as-an-architecture-test.md): A third presentation runtime tests whether application boundaries are real. ## Notes - [From Groups to ECDSA: Elliptic-Curve Cryptography from First Principles](https://thefellow.github.io/notes/elliptic-curve-cryptography-from-first-principles.md): A ground-up route through groups, finite fields, curves, and signatures. - [Linux for Windows Brains](https://thefellow.github.io/notes/linux-for-windows-brains.md): Translate Windows concepts into practical Linux mental models. - [Octonions and the Standard Model in F#](https://thefellow.github.io/notes/octonions-and-the-standard-model-in-fsharp.md): Non-associative multiplication produces a Furey-inspired eight-state particle pattern. - [Porting Cedar from Go to .NET: Semantics Before Syntax](https://thefellow.github.io/notes/porting-cedar-semantics-from-go-to-dotnet.md): How conformance tests preserve Cedar behavior while C# APIs remain idiomatic. - [Projecting Actions Across User Interfaces](https://thefellow.github.io/notes/projecting-actions-across-user-interfaces.md): Share action meaning across native interfaces without sharing views. - [Retiring Weave](https://thefellow.github.io/notes/retiring-weave.md): A local code-index experiment yielded a useful benchmark. - [Building a Generic RIBLT in Go](https://thefellow.github.io/notes/riblt-in-go.md): A generic Go RIBLT reveals streaming set reconciliation step by step. - [Type-Safe Linear Algebra in F#](https://thefellow.github.io/notes/type-safe-linear-algebra-in-fsharp.md): Phantom dimensions make invalid matrix arithmetic fail at compile time. ## Series - [Building Mixology](https://thefellow.github.io/series/mixology.md): An ordered path through Mixology's executable application architecture.