Conversation

I really, really, really want to create a machine learning & type theory workshop, but I think the communities look at one another with suspicion and condescension. But I think both communities actually need each other so that's bad

41

37

270

Brendan Zabarauskas

Always been a bit intimidated by machine learning, but yeah, having some kind of 'type theoretic machine learning' might make me less scared and intimidated!

1

4

Brendan Zabarauskas

Replying to

and

I've also had success talking to machine learning/data scientist people about types by explaining how type systems could help with 'expensive data pipeline breaking 12 hours in on a silly typo'.

3:50 AM · Jun 26, 2021Twitter Web App

Brendan Zabarauskas

Replying to

and

But I understand you're probably thinking more about how types can be applied to the models themselves in order to improve results of training. Or something like that? 😅

1

2

Both!!

Replying to

and

I see a lot of potential in applying refinement type systems and typed metaprogramming in scientific computing in general.

1

So does Ekaterina Komendantskaya and her students. macs.hw.ac.uk/~ek19/

1

2

Show replies