https://blog-4r4.pages.dev/ https://blog-4r4.pages.dev/blog/ https://blog-4r4.pages.dev/blog/algebra-of-music/ 2026-09-12T09:00:00Z https://blog-4r4.pages.dev/blog/design-the-algebra-first/ 2026-08-01T09:00:00Z https://blog-4r4.pages.dev/blog/designing-reliable-background-jobs/ 2026-07-24 https://blog-4r4.pages.dev/blog/financial-contract-combinators/ 2026-10-03T09:00:00Z https://blog-4r4.pages.dev/blog/hello-world/ 2026-06-01 https://blog-4r4.pages.dev/blog/lattices-and-laziness/ 2026-10-24T09:00:00Z https://blog-4r4.pages.dev/blog/markdown-zola-feature-reference/ 2026-07-25 https://blog-4r4.pages.dev/blog/music-dsl-in-scala-3/ 2026-09-05T09:00:00Z https://blog-4r4.pages.dev/blog/observables-and-options/ 2026-10-10T09:00:00Z https://blog-4r4.pages.dev/blog/performance-and-players/ 2026-09-19T09:00:00Z https://blog-4r4.pages.dev/blog/scala-3-dependent-and-structural-types/ 2026-07-25T10:00:00Z https://blog-4r4.pages.dev/blog/scala-3-enums-and-adts/ 2026-07-25T17:00:00Z https://blog-4r4.pages.dev/blog/scala-3-gadts-and-variance/ 2026-07-25T09:00:00Z https://blog-4r4.pages.dev/blog/scala-3-given-using-type-classes/ 2026-07-25T14:00:00Z https://blog-4r4.pages.dev/blog/scala-3-higher-kinded-types-and-type-lambdas/ 2026-07-25T12:00:00Z https://blog-4r4.pages.dev/blog/scala-3-match-types-and-compile-time/ 2026-07-25T11:00:00Z https://blog-4r4.pages.dev/blog/scala-3-opaque-types/ 2026-07-25T15:00:00Z https://blog-4r4.pages.dev/blog/scala-3-type-class-derivation/ 2026-07-25T13:00:00Z https://blog-4r4.pages.dev/blog/scala-3-type-system-intro/ 2026-07-25T18:00:00Z https://blog-4r4.pages.dev/blog/scala-3-union-and-intersection-types/ 2026-07-25T16:00:00Z https://blog-4r4.pages.dev/blog/self-similar-music/ 2026-09-26T09:00:00Z https://blog-4r4.pages.dev/blog/tile-algebra-applicative/ 2026-08-15T09:00:00Z https://blog-4r4.pages.dev/blog/tile-algebra-design/ 2026-08-08T09:00:00Z https://blog-4r4.pages.dev/blog/tile-algebra-efficient-implementation/ 2026-08-29T09:00:00Z https://blog-4r4.pages.dev/blog/tile-algebra-initial-encoding/ 2026-08-22T09:00:00Z https://blog-4r4.pages.dev/blog/valuing-contracts/ 2026-10-17T09:00:00Z https://blog-4r4.pages.dev/tags/ https://blog-4r4.pages.dev/tags/api-design/ https://blog-4r4.pages.dev/tags/distributed-systems/ https://blog-4r4.pages.dev/tags/dsl/ https://blog-4r4.pages.dev/tags/markdown/ https://blog-4r4.pages.dev/tags/meta/ https://blog-4r4.pages.dev/tags/music/ https://blog-4r4.pages.dev/tags/reference/ https://blog-4r4.pages.dev/tags/reliability/ https://blog-4r4.pages.dev/tags/scala/ https://blog-4r4.pages.dev/tags/type-systems/