Notices by Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)

Profunctors are to function types as ?what? is to Pi types?

this is one of the most exciting developments in optics and PL!

https://mathstodon.xyz/@julesh/113906999866217931

@julesh ok, i'll do it like a *pleb* :P

@julesh I wish I had quote toots so I could tell people this is one of the most exciting developments in optics and PL :D

@julesh oof, that is very difficult to parse :o

@julesh wow :D

@julesh :D are you making progress?

what is a chilli pepper's one weakness?

a chilli's heel

@julesh everyone says "wake up sheeple", but what about "good night, sheeple" and "how was your sleep, sheeple?"

@julesh 😆

@julesh sheeps :D

@julesh relevant: https://pivot-to-ai.com/2025/01/13/uk-government-plans-to-splurge-billions-on-ai-we-step-through-the-tricky-details/

@julesh 😴 😴 😴

@typeswitch @julesh doom crowbar mod

@julesh step 2: we need an economy framework. That way, even if you *can* produce 10 million m/pm, you'll want to be smart about it to avoid crashing the economy.

@julesh this is what peak performance looks like

Programs in Jermaine take a list of inputs to a disjoint union of outputs.

So this program takes a sum (s : Either a b) and branches off into two branches, one of which outputs (this : a) and the other (that : b)

concrete syntax is starting to take form (thanks to @julesh and @Andrev)

@julesh https://www.youtube.com/watch?v=V_A9sAaNawU

@julesh 🐞