splines_tines

I never said he did. Everyone is welcome to answer or not answer any question posed to them by strangers over the internet. I'm just curious and probably won't have a better opportunity to ask. It wasn't intended to be hostile

Surprised to see from your LinkedIn that you are US based. I thought from browsing Algolia's hiring page the other day that they're strictly European.

Are they nixing all US-based roles now to cut costs?

https://www.algolia.com/careers/

Thanks, that makes sense re PLT. One thing I have heard is that PLT can be viewed as a "programming languages" approach to math foundations, or at least the foundations of computation, and largely doesn't have to do with programming language implementation, but not everyone seems to share that view. And I recently saw a comment from someone who said they worked on compilers list abstract interpretation as something for budding (industrial) compiler workers to learn[1].

I have a math background so of course I'm drawn to this stuff, but I have trouble imagining it being immediately useful for implementers. Could it be that this stuff is more useful for language design than implementation?

[1] https://news.ycombinator.com/item?id=20915485

That video is largely what inspired me to post this actually :)

I'll check out salsa! Thank you!