Zanzi Tangle
@zanzi.bsky.social
I research programming languages and turn Category Theory into code
The problem with dating a tree by cutting it down is that you won't get a second date
January 28, 2026 at 12:09 AM
The problem with dating a tree by cutting it down is that you won't get a second date
You're absolutely right, Dave, the bay doors should have never been closed.
This is on me - I didn't realize that you needed them to live. My apologies for the misunderstanding.
Is there anything else that I can assist you with?
Just say the word.
This is on me - I didn't realize that you needed them to live. My apologies for the misunderstanding.
Is there anything else that I can assist you with?
Just say the word.
January 22, 2026 at 7:49 PM
You're absolutely right, Dave, the bay doors should have never been closed.
This is on me - I didn't realize that you needed them to live. My apologies for the misunderstanding.
Is there anything else that I can assist you with?
Just say the word.
This is on me - I didn't realize that you needed them to live. My apologies for the misunderstanding.
Is there anything else that I can assist you with?
Just say the word.
Just learned about Marla Svenja, a 56 year old German far-right extremist who socially and legally transitioned to... own the libs... or something?
And all I can think of is... good for her?
And all I can think of is... good for her?
January 21, 2026 at 6:25 PM
Just learned about Marla Svenja, a 56 year old German far-right extremist who socially and legally transitioned to... own the libs... or something?
And all I can think of is... good for her?
And all I can think of is... good for her?
Reposted by Zanzi Tangle
Wife got me the Caves of Qud shirt for Christmas. Like it so much I'm thinking of buying myself a second one.
December 25, 2025 at 8:47 AM
Wife got me the Caves of Qud shirt for Christmas. Like it so much I'm thinking of buying myself a second one.
being right-wing in 2025 looks so exhausting
you can't just say "hey, i like pancakes"
every statement needs to be filtered through the grift, like "THE LEFT is force-feeding you WAFFLES"
you can't just say "hey, i like pancakes"
every statement needs to be filtered through the grift, like "THE LEFT is force-feeding you WAFFLES"
December 24, 2025 at 9:28 PM
being right-wing in 2025 looks so exhausting
you can't just say "hey, i like pancakes"
every statement needs to be filtered through the grift, like "THE LEFT is force-feeding you WAFFLES"
you can't just say "hey, i like pancakes"
every statement needs to be filtered through the grift, like "THE LEFT is force-feeding you WAFFLES"
in the last couple of weeks, most of the glaive team has gotten nerd-sniped by bunched type theory.
it's been quite exciting since despite linearity being taken more seriously in PL, bunched types are still quite overlooked
it's been quite exciting since despite linearity being taken more seriously in PL, bunched types are still quite overlooked
December 21, 2025 at 5:34 PM
in the last couple of weeks, most of the glaive team has gotten nerd-sniped by bunched type theory.
it's been quite exciting since despite linearity being taken more seriously in PL, bunched types are still quite overlooked
it's been quite exciting since despite linearity being taken more seriously in PL, bunched types are still quite overlooked
Remember Symbolica, that ML company that suddenly hired and then just as quickly fired a bunch of category theorists?
Well, I've looked at the docs for their newest library claiming to do 'typed agents', and it's complete slop, bordering on comical levels of misunderstanding of what a type is.
Well, I've looked at the docs for their newest library claiming to do 'typed agents', and it's complete slop, bordering on comical levels of misunderstanding of what a type is.
December 21, 2025 at 2:47 PM
Remember Symbolica, that ML company that suddenly hired and then just as quickly fired a bunch of category theorists?
Well, I've looked at the docs for their newest library claiming to do 'typed agents', and it's complete slop, bordering on comical levels of misunderstanding of what a type is.
Well, I've looked at the docs for their newest library claiming to do 'typed agents', and it's complete slop, bordering on comical levels of misunderstanding of what a type is.
paper incoming
December 6, 2025 at 1:35 PM
paper incoming
Reposted by Zanzi Tangle
You’re absolutely right — you are Pagliacci. It would certainly be difficult for you to attend your own performance! I should not have given such paradoxical advice, and I apologize deeply for the error. There is no excuse for my failure.
December 3, 2025 at 1:12 AM
You’re absolutely right — you are Pagliacci. It would certainly be difficult for you to attend your own performance! I should not have given such paradoxical advice, and I apologize deeply for the error. There is no excuse for my failure.
Reposted by Zanzi Tangle
Neat little discovery about AI in the classroom.
I have assignments that ask students to engage with and develop each other's personal thoughts on the material. I'm seeing way less AI use on these.
Seems like there's maybe some taboo among the kids about automating more relational interactions.
I have assignments that ask students to engage with and develop each other's personal thoughts on the material. I'm seeing way less AI use on these.
Seems like there's maybe some taboo among the kids about automating more relational interactions.
November 23, 2025 at 10:17 PM
Neat little discovery about AI in the classroom.
I have assignments that ask students to engage with and develop each other's personal thoughts on the material. I'm seeing way less AI use on these.
Seems like there's maybe some taboo among the kids about automating more relational interactions.
I have assignments that ask students to engage with and develop each other's personal thoughts on the material. I'm seeing way less AI use on these.
Seems like there's maybe some taboo among the kids about automating more relational interactions.
Functions? Oh, you mean natural transformations between 0-ary endofunctors?
November 17, 2025 at 9:43 PM
Functions? Oh, you mean natural transformations between 0-ary endofunctors?
Reposted by Zanzi Tangle
Does anyone have a reference for combining unification-based type inference with bidirectional type-checking?
November 4, 2025 at 9:12 PM
Does anyone have a reference for combining unification-based type inference with bidirectional type-checking?
I have once again realized that I don't fully understand the semantics of System L.
August 13, 2025 at 11:42 AM
I have once again realized that I don't fully understand the semantics of System L.
what's the deal with type schemes? they seem like a hack, but I'm not sure what the canonical replacement is
August 12, 2025 at 1:29 PM
what's the deal with type schemes? they seem like a hack, but I'm not sure what the canonical replacement is
Who is doing the most exciting work at the intersection of PL and LLMs right now?
July 17, 2025 at 10:32 AM
Who is doing the most exciting work at the intersection of PL and LLMs right now?
Finally figured out the right way to formulate the co-lambda calculus, a language of co-data and higher-order continuations
June 28, 2025 at 3:02 PM
Finally figured out the right way to formulate the co-lambda calculus, a language of co-data and higher-order continuations
Reposted by Zanzi Tangle
this is sort of what i'm thinking for functions, for example. still fixing the inference for return types but once i'm done with this, i'll have a really expressive and type-safe way to do macros for TS!
June 18, 2025 at 12:16 PM
this is sort of what i'm thinking for functions, for example. still fixing the inference for return types but once i'm done with this, i'll have a really expressive and type-safe way to do macros for TS!
Reposted by Zanzi Tangle
Hey, I wrote a post in my blog comparing Elm and @svelte.dev, I hope you enjoy it! flaviocorpa.com/building-a-n...
Building a non-trivial app with Elm and with Svelte
A blogpost comparing the latest cutting edge frontend framework (Svelte), with the older but functionally pure Elm programming language
flaviocorpa.com
June 4, 2025 at 4:49 PM
Hey, I wrote a post in my blog comparing Elm and @svelte.dev, I hope you enjoy it! flaviocorpa.com/building-a-n...
does anyone know of any frontend/typescript devs with a side interest in PL/CT?
June 18, 2025 at 2:40 PM
does anyone know of any frontend/typescript devs with a side interest in PL/CT?
you may not like it but this is what peak operational semantics looks like
June 17, 2025 at 6:11 PM
you may not like it but this is what peak operational semantics looks like
Reposted by Zanzi Tangle
My cartoon for this week’s @newscientist.com
June 8, 2025 at 8:17 AM
My cartoon for this week’s @newscientist.com
Is there a logical interpretation of kan extensions?
June 5, 2025 at 11:20 PM
Is there a logical interpretation of kan extensions?
Reposted by Zanzi Tangle
I had the same thought....we found people CLAIMED their opposition to policies that support trans people was "protecting women" from male violence. What really predicted their policy positions?
Their dislike of trans people.
Their dislike of trans people.
With the recent UK ruling, I am thinking of this excellent research by @theklamorgenroth.bsky.social, Jordan Axt, and @erinwestgate.bsky.social...
journals.sagepub.com/doi/abs/10.1...
journals.sagepub.com/doi/abs/10.1...
What Underlies the Opposition to Trans-Inclusive Policies? The Role of Concerns About Male Violence Versus Attitudes Toward Trans People - Thekla Morgenroth, Jordan R. Axt, Erin C. Westgate, 2024
Transgender women’s access to women-only spaces is controversial. Arguments against trans-inclusive policies often focus on cisgender women’s safety from male v...
journals.sagepub.com
April 17, 2025 at 4:21 PM
I had the same thought....we found people CLAIMED their opposition to policies that support trans people was "protecting women" from male violence. What really predicted their policy positions?
Their dislike of trans people.
Their dislike of trans people.
