betaoxydation.bsky.social

30 August 2026 15:21

Fundamentāli tas ir spēka koncentrācijas jeb totalitārisma/fašisma projekts. Šogad tajā projektā būs iepludināts +/- triljons dolāru. Un šeit mēs varam atgriezties pie biedra, kurš kodē automatizāciju, kas izglābs pasauli. /rant

Zanzi Tangle

zanzi.bsky.social

06 August 2026 16:43

the flow of information for coalgebra flows right-to-left, so this says "generate the Stream using `from S (S (S Z))`, then pipe it to be deconstructed by Later[Later[Now[j]] Declarations with square brackets denote outputs, so main : () |- [j : Nat] returns a single output `j : Nat`

Zanzi Tangle

zanzi.bsky.social

06 August 2026 16:43

<= means 'computation that returns an observable output', so from : Stream <= (seed : Nat) is value-level computation that takes a (seed : Nat) as input and returns a Stream as an output. |> and <| are cuts, they combine either a constructor with an algebra, or a destructor with a coalgebra.

Zanzi Tangle

zanzi.bsky.social

06 August 2026 15:39

after two years of development, I finally demoed Jermaine for the first time - a language with fully symmetric data and codata, and native call-cc.

Bruno Gavranović

bgavran.bsky.social

06 July 2026 20:04

Almost forgot to mention: I'll be presenting TensorType today at 16:30 EEST at the ACT conference https://actconf2026.github.io/programme.html