They’re pretty techy, idk why they’re showing up recently though.

Also one of my absolute favorite programming talks ever was hosted by Jane street:

https://www.janestreet.com/tech-talks/algorithm-for-precisio...

It’s like half talk, half story. Got me super interested in logic programming, and minikanren in particular.