Jekyll2026-09-23T23:43:50+00:00https://alkizar.github.io/feed.xmlBryce Goldmanpersonal descriptionBryce Goldmanbryceggoldman@gmail.comA Synthetic Description of Monotone Dataflow2026-10-01T00:00:00+00:002026-10-01T00:00:00+00:00https://alkizar.github.io/posts/2026/10/synthetic-dfa[TODO]

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Headings are cool

You can have many headings

Aren’t headings cool?

Monotone Dataflow Analysis

Background

Classical Theory

Synthetic Theory

Categorical Motivations

]]>Bryce Goldmanbryceggoldman@gmail.comLimits as a Fuzzy Yoneda Theory2026-09-20T00:00:00+00:002026-09-20T00:00:00+00:00https://alkizar.github.io/posts/2026/09/fuzzy-yoneda[TODO]

How do we know when a duck is a duck?

Looks Like a Duck

(if we know how something interacts with the universe then we know what it is)

The Yoneda Lemma

(describe Yoneda)

Quacks like a Duck

(what if we only know about some interactions?)

Diagrams and Limits

(intro limits with the required machinery, explain how they are the best approximations for a diagram)

Fuzzy Yoneda

(state UP of limits as an extension of Yoneda)

]]>Bryce Goldmanbryceggoldman@gmail.comBe Not Afraid2026-09-12T00:00:00+00:002026-09-12T00:00:00+00:00https://alkizar.github.io/posts/2026/09/be-not-afraidWelcome to my blog!

I will be occasionally uploading my musings here. You have been warned.

]]>Bryce Goldmanbryceggoldman@gmail.com