Pre- #StrangeLoop / #PapersWeLove live podcast hosted by me & @zeeshanlakhani @causalislands, with Strange Loop founder Alex Miller and Papers We Love founders Darren Newton, David Ashby, and Chas Emerick.

Share stories from past conferences, what to expect at this year's final events, and what's coming next.

Aug 31st, sign up for a reminder https://lu.ma/causalislandspodcast

We are so excited to be joined by Strange Loop founder Alex Miller and Papers We Love founders Zeeshan Lakhani, Darren Newton, David Ashby, and Chas Emerick.

Our guests will share stories from past conferences, what to expect at this year's final events, and what's coming next.

The next episode will be recorded live in the Causal Islands Discord on 8/31 at 10 AM PST / 1 PM EST. We hope you can join us! #techpodcast #paperswelove #strangeloop

https://lu.ma/causalislandspodcast

@neauoire @fission At this point I think we can declare Pino the Pacific Ocean chapter of #PapersWeLove!

Excited to announce that I will be speaking at the #PapersWeLove track at #StrangeLoop this year! Stop by if you want to hear me riff about concatenative programming languages.

https://thestrangeloop.com/2023/concatenative-programming-and-stack-based-languages.html

@lindsey Obligatory #PapersWeLove talk link https://dcreager.net/talks/2018-pwl-pastry/

Didn't knew the story behind #paperswelove, very nice article on the #stackoverflow blog https://stackoverflow.blog/2022/12/30/you-should-be-reading-academic-computer-science-papers

Let's continue this #PapersWeLove experience with #NancyLynch and MJ Fischer's "On describing the behavior and implementation of distributed systems." Just another page or so today.

Here we're going to start establishing "execution sequences." These are a basically the "how does it run."

@xmal I’ve loved Pastry since the first time I learned about it. Gave a #PapersWeLove talk on it once! https://dcreager.net/talks/2018-pwl-pastry/

I'm only part-way through but I'm already enjoying this paper on the Functional Machine Calculus. https://people.bath.ac.uk/wbh22/index.html#FMC2022

Effects and higher-order functions are both modeled as pushes/pops from independent stacks of values.

Looks like a nice formal treatment of the multistack concatenative idea in the Dawn language! https://www.dawn-lang.org/posts/foundations-umcc/

#PapersWeLove #Concatenative #LambdaCalculus

@paperswelove Why would you not post a link to the original creator of this paper instead? It's 100x funnier for one thing.

https://www.youtube.com/watch?v=xOCurBYI_gY

#paperswelove #video #speedrun #programming

I'm remiss in posting an #Introduction, so here goes!

I manage the #SemanticCode team at #GitHub. We look for ways to apply PL and program analysis research. Our most visible feature is #StackGraphs, which powers Precise Code Nav on GitHub.

As you might expect, I'm very keen on reading academic papers (used to organize the Boston #PapersWeLove chapter), and I'm getting back into writing them more.

I love watching sports with my kids and coaching them in #soccer. ⚽