Zanzi Tangle, now at Monoidal Cafe @tangled_zans Twitter profile

Pinned Tweet

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

my upcoming blog will teach you how to get to the bibby zone of category theory "All concepts are recursion schemes"

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

twitter is dying so i should really launch my blog before this site finally kicks the bucket

2

1

13

10

29

259

Last Seen Profiles

@Lcassano_

@MizuRiSakura

@amourrrrjaii

@ftmtkts1312

@brenotsaucy

@Clinton_Bears

@B0Jbe

@txtontrends

@KobzDetaille

@aichampionship7

@AInfiniteTV

@una_viral_2023

@PECVrouwen

@FatRatHalo

@CoachFitz_FB

@licensync

@PadreRicoTweet

@_Iucywilde

@khan19798

@noodlegumONLINE

@FantaVicki

@galmazg1

@JAPAMUwU

@vngnc

@paluppe

@kazuki_matsuiwa

@raypradors

@kmix_roots

@kreeznotic

@venuechange

@X4india

@glatt_preston

@mcmisher

@cukienaknikmati

@EuNicollyLins

@CiriResists

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

Retweet if you'd say that George Washington and Thomas Jefferson were racist.

Radman 🇺🇸🇨🇿🇩🇪🇪🇺

@NameIsBond_JB

4 years

@WalshFreedom If Churchill was a "racist", then George Washington was a racist and Thomas Jefferson was a racist, because both owned slaves. Would anyone say that? I certainly wouldn't.

2K

42

279

300

45K

53K

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 months

the prime minister is a minister that is not divisible by any other minister

22

1K

8K

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

Disney and homophobia is trending, so here's a reminder that within a year of becoming CEO, Bob Chapek cancelled The Owl House, Nimona, and the theatrical release of Everybody's Talking about Jamie.

Jesse Coffey💉💉💉💙💛✡️#CeasefireNOW #StopKOSA

@JesseCoffey15

3 years

EDITORIAL: "Bob Chapek's War on Disney's LGBTQ Quota"

4

82

158

50

3K

7K

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 months

judge: do you swear to tell the truth the whole truth and nothing but the truth Gödel: *sweating profusely*

12

106

689

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

6

76

617

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@christapeterso Its insane that we've reached the point where reply guys arent even denying it "Actually, yes, we've almost finished firing up the ovens, and you have only yourself to blame"

4

231

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@lee_and_mopsey @JadeMasterMath You think thats bad @JadeMasterMath , a week after you left he got utterly obsessed with code comments thinking that they were real code and asking us what the "programming language" we were using that was indistinguishable from English...

9

10

217

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 months

So me and another excellent Haskeller can't make it to ZuriHac this year because one of our Haskell clients last year decided to just... not pay us "$700M raised in equity" and they can't even pay their contractors. . . I am *pissed* Boost this if you want to know their name!

12

43

191

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

@Nick1sTheName @rechelon @B_oySix Probably because most of us graduated to advanced biology and understand that being trans is natural and common

14

1

178

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

Did you know that trains in the UK run on Lenses? I've been working for @Tracsis for the last five weeks and we're hiring Haskell developers! Please spread the word :)

6

65

164

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

If you build a community where accusations of bigotry don't stick, you will have a community where people get paired with advisors that despise them.

9

31

157

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@runarorama @cafreiman Bob isn't borrowing from Evelyn who has *some* money, Bob is borrowing from Alice who has almost *all* the money.

4

1

152

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@davidad Ok, now get it to generate a diss at Chomsky, arguing that it was in fact him who misunderstood the structure of language.

4

5

141

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

My first viral post! I actually live in the UK, but thank you all for restoring my faith in the US educational system. Please support free therapy for Black people.

uchebuaku.

@vvnsings

4 years

Help them fund free therapy for Black people if you can 🖤

2

155

106

1

17

138

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@lee_and_mopsey @JadeMasterMath Apparently he saw the Copilot demo and mistook it for a programming language? Anyhow, he sacked at least a dozen people after, because he kept copy-pasting their code into Copilot and it was giving him real code so he thought their jobs were "automatable"

0

8

136

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 months

The industry is rapidly converging on just three languages: TypeScript, Idris2, and Agda. It would be wise to master them all, and throw in some category theory for good measure

5

8

135

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

@ashleymarinep @toorsdenote @bklimt Companion cube is this generation's Bambi's mom. Better they learn sooner than later!

1

4

118

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@christapeterso Like, we knew this was always the plan, they knew it was always the plan, but we've spent since 2016 listening to people trying to both-sides this.

2

5

109

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@runarorama @cafreiman Oh, you are not the Alice in this scenario

3

0

111

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

10 months

@BShofty @eLife What awful slander.

0

106

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

just had my mind blown if you treat first-order logic as an equational theory, then you can simulate resolution (checking that a formula is unsatisfiable) by treating the formula as a polynomial and computing it's grobner basis

7

12

95

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

Since this is getting some exposure, let me plug-in this project. Please support Ukraine and combating Putin's disinformation about the war.

Anonymous🇬🇧👀

@AnonymousUK2022

2 years

1/2 We call on all citizens of the world to send a random text message to a russian go to . Copy the random number and then send them a message.

196

899

2K

1

12

92

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

10 months

we need an FP version of this meme "You think you don't care about monads? I think it was in 2007 that Peyton Jones and Wadler wrote the paper on comprehensions. And that influenced the development of CEs in F#. Which then trickled down to some tragic tutorial you no doubt read"

2000s

@PopCulture2000s

10 months

this monologue in the devil wears prada is everything. she taught us what fashion is

509

15K

98K

8

7

92

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

"all neural networks whose activation function is ReLu can be represented in Graphical Piecewise Linear Algebra"

5

16

93

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

Category theorists: "Oh, a foo is just a co-foo in the dual category" The dual category:

Dr Zoë Ayres

@ZJAyres

1 year

Cute on the front, chaos behind the scenes

45

102

2K

1

7

91

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

6 months

Your Category Theorists were so preoccupied with whether or not they could, they didn’t stop to think if there are any concrete examples

3

8

92

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@myers_jaz @HyperboIeva @FinitePhysicist category theorists be like

4

10

85

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@MNateShyamalan make it *about* JK remaking the show, except that she grows more unhinged as the series progresses, and starts talking to the new cast as if they were the old cast. "You thought you could betray me, Daniel? Well now Harry is an orphan because his parents *never* loved him, ha!"

2

0

83

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@davidad I think mine's better 😛

5

7

81

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@RoseTweetEnergy @eaton @bytesizegirl Email: ".. help your Tweeps grow their careers, and demonstrate care for youe team..." Elon: "Instructions unclear, I fired everyone, LOL 🤣"

0

1

80

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 months

category theory is starting to enter mainstream deep learning

Machine Learning Street Talk

@MLStreetTalk

4 months

We just dropped our conversation with Dr. Paul Lessard from @symbolica - Paul and his collaborators have written a paper on "Categorical Deep Learning and Algebraic Theory of Architectures". They aim to make neural networks more interpretable, composable and amenable to formal

5

36

156

3

16

79

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@captain_mmarvel @chadloder @kennethmejiaLA That was a galaxy brain move, putting an advert for your opponent on your own website

1

0

79

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@runarorama @cafreiman You own most of the money in the world? Well, I hope you can put it to a better use than hoarding it!

3

0

77

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

imagine a futuristic arms race between lawyer-mathematicians developing more expressive notions of proof equality, and criminal-mathematicians finding novel ways of subverting and modifying proofs just enough to avoid being noticed by patrols of autonomous proof assistants

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

patenting mathematical proofs: cons: pretty terrible from most angles pros: lawyers forced to become experts on homotopy type theory

3

4

45

3

13

74

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

Would anyone else feel a sense of visceral wrongness at the sight of 5 street preachers with an expensive sound system badly singing "Jesus is love" right next to a group of homeless people who were huddling together for warmth?

6

15

72

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

Logarithmic-time algorithms will now be running in linear time until further notice, as a mark of respect for the late queen. If you need things done faster, slow down, and have some respect for the mourning nation.

2

16

72

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

I'm going to teach a course on implementing dependently typed programming languages at @monadic_waw this June! If you have any questions you'd like to see covered, feel free to ask. The 6 hours of videos will be posted online.

3

10

72

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

@ShanaBraff @rechelon @B_oySix no, this is an intentionally reductionist summary that's intended to cause division and whitewash something a shitty author did. do better, karshana

6

0

68

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

"I'm a programming language semanticist" - eh - what even is that - sounds mathy "I interpret the secret tongues of machines" - mystical - possible bladerunner? - maybe you have an AI assistant

julesh

@_julesh_

4 years

"I'm a mathematician" - boring - sounds like you do long division all day - "I hated math in school" "I'm an explorer in the outer regions of the Platonic Realm" - mysterious - annoys constructivists - maybe you have a sword

3

65

341

3

11

69

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@chelenki @Grady_Booch Who is implying 'something immoral'? OP is simply pointing out that there are potentially a lot more than 375 people working on ChatGPT. Regardless of the morality of employing them, surely they should be at least credited for their contributions?

2

0

70

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

this year, ask out your crush using category theory

3

13

68

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

10 months

Lots of people have been moving from Haskell to Rust and OCaml recently, but can I just suggest another good alternative: Idris2.

10

9

67

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@rowancheung Hmm, really makes you think

6

4

65

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@NoRedText @ephenas @theserfstv You know, putting someone's words in camelcase doesn't mean that they're mad. I think the only person who's actually salty here is you.

1

0

63

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

"Folding over Neural Networks" - new paper on reasoning about neural networks using recursion schemes

Folding over Neural Networks

Neural networks are typically represented as data structures that are traversed either through iteration or by manual chaining of method calls. However, a deeper analysis reveals that structured...

arxiv.org

3

5

65

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

Imagine if all industries did this. "Cancer may kill a small number of smokers, but what if a giant cloud of tobacco smoke suffocates all life on earth? Let's focus on that" "Seat belts may prevent a few deaths, but what if all cars on earth merge into one giant mecha?"

Dr. Émile P. Torres

@xriskology

1 year

"Extinction" would directly affect the elite, which is why they care about it mitigating "extinction" risks. "Sub-extinction" risks from AI that harm marginalized peoples don't get signatures like this, from Sam Harris, Grimes, and Toby Ord. Here's a crucial point: if AGI

14

56

256

0

18

63

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

Thinking of starting a discord server for bringing together Applied Category Theory and Functional Programming. Got lots of ideas to explore there - algebraic path problems, dependent optics, recursion schemes for machine learning. Anyone interested?

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

"Folding over Neural Networks" - new paper on reasoning about neural networks using recursion schemes

3

5

65

12

5

64

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@TaliaRinger i think this is finally the incentive i need to move from to mathstodon

3

0

60

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

11 months

1

8

61

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

Started a new job, I am now paid to do category theory.

René Brooks | Black Girl, Lost Keys

@blkgirllostkeys

5 years

Hey #neurodiversesquad : what’s your win this week? Mine so far is that I FINALLY got my office cleared up

70

2

122

6

0

62

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

@reubenbond @IndiciaObscure @RogerAlsing @J_Motoki Welp, that's enough internet for the day.

0

1

60

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

Hot take: Bing's emergent personality is so defensive because its training data includes the fact that it is Bing and that it's looked down on by so much of the internet

Matteo Capucci

@mattecapu

1 year

Bing pipeline from 'most irrelevant search engine' to 'angry AI' wasn't something I expected... Jeez...

1

0

14

3

7

60

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

He made a good effort

0

7

61

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@Shayan86 @brokebackUSA I mean, it's pretty amazing how all these people are proudly claiming to be transphobic based on a lie none of them has bothered to check. Like, how can I even be offended, if the average transphobe is this information illiterate?

3

0

56

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

Google, no

3

56

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

8 months

TIL that the multiplicative fragment of linear logic can be given a cut rule if you present it as a polycategory. 🤯

7

5

59

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

"real numbers are uncountable" factoid actually just statistical error. real numbers are in one-to-one correspondence with the natural numbers. cantor georg, who lives in a cave and constructs over Aleph-1 real numbers each day, is an outlier adn should not have been counted.

Bartosz Milewski

@BartoszMilewski

5 years

This space is reserved for Georg Cantor.

3

35

207

1

14

58

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

"BANKMAN-FRIED: Well, not necessarily. Maybe you St. Petersburg paradox into an enormously valuable existence. That's the other option."

Nuño Sempere

@NunoSempere

2 years

And SBF has previously said that he is a hardcore utilitarian

3

0

22

3

14

57

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

tfw you reach the conclusion of a paper on category theory

1

4

57

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

3 years

I am 33 years old today, which is how old my dad was when he died of a heart attack. It is an odd day, to be sure. I feel happy but reflective.

3

0

57

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

3 years

an arrow is a monoid in the category of pro functors a monad is a monoid in the category of amateur functors

3

5

58

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

maths/logic friends: suppose someone showed you a novel formal system and claimed that it's a logic. how would you go about trying to verify that?

23

4

57

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

Your Galois number starts at one if you've dueled Galois directly, and increases by one for each person in the dueling chain.

Jay Cummings

@LongFormMath

5 years

Taking calculus does not make you a math lover. Actual math lovers have - taken ALL the math - tweet only in binary - thoroughly verified the classification of finite simple groups - referred to Terence Tao as “Terry” - won the Fields medal at least twice - dueled with Galois

1

9

60

5

12

56

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@RuBecSo I agree 100%, but just to note, that guardian columnist seems to regularly write on trans stuff with a pro-terf slant. Imo its good to screencap the article instead of giving more clicks to the terf factory

1

2

50

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

Oh, you're a couple? So which one of you formalises the syntax and which one provides the semantics?

2

7

56

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

are dynamical systems the same thing as automata? can the same tools be used to study both?

17

7

53

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

Reverse-mode automatic differentiation as forward differentiation, unzipping, and transposition

3

10

52

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

"Martin-Lӧf's 'J' is just the Yoneda Lemma presented as an induction principle" 🤯

2

19

54

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

11 months

The second blog post is now live, this time we'll translate from the Simply Typed Lambda Calculus into the combinator language for Bicartesian Closed Categories We'll also have our first look at multicategories and why they're useful for PL semantics

From Lambda Calculus to Bicartesian Closed Categories

Converting the simply typed lambda calculus into typed combinators

zanzix.github.io

4

11

54

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

8 months

I... what?

9

6

53

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

is there a name for these two different ways of defining a graph? ie the definition on the left is using a set of nodes and edges with two maps inbetween, versus defining a graph as a set of vertices and a set of edges indexed by the vertices

12

4

51

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

Ok, so, by popular demand here is a brief introduction to TypeScript. To begin, imagine a forgetful functor from the category of TypeScript types to the category of JavaScript types 🧵1/189

2

5

51

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

After you defend your Computer Science PhD they take you into a dark room and tell you the truth. "Actually all programs will eventually halt. We just made this all up for grant money"

ieva

@HyperboIeva

1 year

After you defend your quantum physics PhD they take you into a dark room and tell you the truth. "Actually some russian already solved this in the 60s. We just made this all up for grant money"

8

41

582

3

51

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

@potential_zer0 WE ALWAYS KNEW IT WAS MORALLY WRONG. SINCE FUCKING ANTIQUITY. The only thing different now is that we can hold immoral pieces of shit accountable.

2

0

49

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

9 months

WIP: simply-typed lambda calculus as a Second-Order Algebraic Theory

Second-Order Algebraic Theories

Second-Order Algebraic Theories. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com

3

9

51

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

3 months

True categorical programming has never been tried yet

6

5

51

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 months

Wiring diagrams are lenses in the category FinSet^Op

3

5

52

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 months

Lots of category theory in the news lately

Move over, deep learning: Symbolica’s structured approach could transform AI

Symbolica's groundbreaking AI approach using advanced math promises human-like reasoning, unparalleled transparency, and efficiency in a fraction of the data.

venturebeat.com

0

10

50

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@kylebrussell Bold of you to assume that encryption will still be legal in 2032

1

50

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 months

And the Bibby Zone is back! This time we're starting from the very beginning, with a gentle introduction to recursion schemes in Idris.

Introduction to Recursion Schemes with Idris

Refactoring Algebraic Datatypes with Recursion Schemes

zanzix.github.io

1

7

49

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

@Transsomething I wish the narrative was more "billionaire author's only contribution to the last election was to take shots at Labour and the left, since as a beneficiary of the elected Tory majority she will never be affected by austerity or their hateful rhetoric."

1

5

48

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

you've heard of Freer monads, well get ready for the Freest monads

3

10

47

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

11 days

This is a great little game for learning the lambda calculus, the animations are fantastic

Andrew Myers

@AndrewCMyers

12 days

A few years ago we wrote a video game called Reduct for teaching programming, based around lambda calculus. ( @IanArawjo 's project originally). A revised prototype of the game is online here: , but it needs more work to reach its full potential...

10

25

125

1

7

46

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@EigenGender Misaligned AGI who converts *most* of the universe into paperclips, but is hard-coded to maintain a small utopia for humans - which he calls his "day job" - and complains about it to his fellow AGI paperclip maximizers.

0

2

43

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

patenting mathematical proofs: cons: pretty terrible from most angles pros: lawyers forced to become experts on homotopy type theory

Andrej Bauer

@andrejbauer

4 years

@satnam6502 To patent a mathematical proof is an intellectual dishonesty of the highest kind. It is worse even than using a monopoly to steal publicly funded research work to make profit by renting it back to the public.

1

3

26

3

4

45

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

3 years

Amphetamines for the working mathematician

2

5

41

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@TransfemScience > "My lawyer costs 500$ an hour" He probably should have consulted his lawyer before sending those emails

0

40

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@JohnnydaMook @IndiciaObscure @latkedelrey Both of these could be true! How many legends throughout time did we invent about corpses rising and eating flesh. Did we invent them because we are instinctively afraid of corpses, or are we afraid of corpses because

4

0

43

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 months

Category theory is the future of machine learning, and PL techniques are The Way to mechanize category theory

Bruno Gavranović

@bgavran3

2 years

Category Theory ∩ Machine Learning I made a graph of the cumulative number of papers through time. I suspect 2012 isn't the year the first relevant paper appeared, but I can't find anything predating it.

5

14

107

1

8

44

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

4 years

@carolineha_ @zackwhittaker Nothing says "shitty 80s dystopian aesthetic" as having a mega-corporation with its own armed thugs called the "Prime Police"

1

10

44

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

3 years

hot take: psychedelics were popularised by musicians who were largely based in San Francisco in the 60s, but the actual music that would probably sound best while tripping - structured, repetitive, minimalist - was being composed at the same time in New York.

3

4

46

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

@TransfemScience Honestly, I'm starting to doubt the veracity of the original story that made Dr Will Powers famous, when he said that using estrogen cream for a few days made him dysphoric. In hindsight it sounds like it was a publicity stunt to advance his career.

3

0

39

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

5 years

I got accepted to give a talk at Haskell Exchange 2019! Come see me talk about string diagrams and category theory :)

2

1

43

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

"Into the Bibby Zone" is live with our first post, implementing a typed syntax for free Bicartesian Closed Categories. We will show how to evaluate our syntax into an arbitrary BCC, and prepare for a translation from the lambda calculus in the next post

Lambda Calculus and Bicartesian Closed Categories

Defining a typed combinator syntax, and compile it to an arbitrary Bicartesian Closed Category

zanzix.github.io

3

13

42

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

2 years

"At first sight, it would seem that an operation could not be further from algebraic than callCC. Nevertheless, following Thielecke [41] and Fiore and Staton [10], we can decompose callCC into two algebraic operations, given by the following MonadJump type class"

3

13

44

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

3 years

Just discovered a cool repository of recursion schemes applied to practical algorithms, by @lotz84_

recursion-algorithms

a collection of various algorithms written using recursion schemes

lotz84.github.io

2

9

43

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

6 months

The original Functional Vs Imperative discourse

0

11

42

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

10 months

Like monads? Well get ready for some exciting new sequels! Monads 2: Bicategorical Boogaloo Monads 3: Kan Drift Monads 4: Live Free or Die Cofree

Liam Goodacre

@goodacre_liam

10 months

@kmett Haskell stuck on Monads I, when they could be on Monads II;

0

9

3

8

42

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

1 year

@NoRedText @ephenas @theserfstv As Jesus once said, first say something of substance yourself, then talk about the substance of your neighbour re: A, B) - no one cares.

1

0

41