🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Ryan Nichols on An Axiomatic Basis for Computer Programming - originally posted on May 8, 2015 📺 youtube.com/watch?v=lbMVYI… #paperswelove #video

PWLSF-07/2015 - Devon O’Dell on Nonblocking Algorithms & Scalable Multicore Programming - originally posted on Jul 2, 2015 📺 youtube.com/watch?v=FXuHxV… #paperswelove #video

Consensus algorithms, Paxos and Raft by Yifan Xing [PWL BOS] - originally posted on Nov 13, 2018 📺 youtube.com/watch?v=fcFqFf… #paperswelove #video

Sandy Vanderbleek on Correcting A Widespread Error in Unification Algorithms - originally posted on Jun 21, 2018 📺 youtube.com/watch?v=dBqYdV… #paperswelove #video

📜 RAY: Integrating Rx and Async for Direct-Style Reactive Streams [2013] By: Philipp Haller, H. Miller 📖 github.com/papers-we-love… 🔍 semanticscholar.org/paper/223b694f… #semanticScholar #paperswelove #research #compsci

Michael Bernstein on Propositions as Types - originally posted on Sep 2, 2015 📺 youtube.com/watch?v=K-YYoi… #paperswelove #video

"Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018] - originally posted on Oct 20, 2018 📺 youtube.com/watch?v=nOpyZK… #paperswelove #video

On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019] - originally posted on Sep 19, 2019 📺 youtube.com/watch?v=43XaZE… #paperswelove #video

Deniz Altınbüken on Chain Replication (old and new) - originally posted on Aug 20, 2016 📺 youtube.com/watch?v=1hDjkV… #paperswelove #video

PWLSF - 3/2017 - Tom Santero on DeepStack: Expert-Level Artificial Intelligence in No-Limit Poker - originally posted on Jul 6, 2017 📺 youtube.com/watch?v=3yFzFT… #paperswelove #video

PWLTO#14 – Scott Rostrup on Tracing the Meta-Level: PyPy’s Tracing JIT Compiler - originally posted on Sep 14, 2016 📺 youtube.com/watch?v=YJLaWC… #paperswelove #video

📜 A Universal Modular ACTOR Formalism for Artificial Intelligence [1973] By: C. Hewitt, P. Bishop, R. Steiger 📖 github.com/papers-we-love… 🔍 semanticscholar.org/paper/acb2f704… #semanticScholar #paperswelove #research #compsci

Excited to share our #SIGGRAPH2023 paper on the grid-free "walk on stars (WoSt)" algorithm: cs.cmu.edu/~kmcrane/Proje… Grid-free methods can solve fundamental physical equations like Laplace & Poisson without meshing the domain—WoSt extends such methods to Neumann conditions. [1/n]

That some of the best women in PL (Talia Ringer 🟣 🎗️ as well) are getting harassed by cowardly anon emails after Roopsha's tenure denial @ Purdue is grotesque Reminder that we had her as a speaker Papers We Love (@[email protected]) Conf 2018. Enjoy here some of what Purdue lost: youtube.com/watch?v=_gvTS_…

Tired of making the same kind of diagrams over and over by hand (e.g., in PowerPoint)? The Penrose team has been working away on Penrose 3.0, an automated notation-to-diagram tool, finally released today! Check it out here: penrose.cs.cmu.edu/blog/v3

When I read papers these days I feel very wistful for the halcyon days of the Papers We Love (@[email protected]) SF meetups. Used to happen every month at the beautiful GitHub office, and it used to be so much fun. The pandemic, WFH and the end of ZIRP fully killed the vibrant SF meetup scene 😟

Love Andrew Black’s thesis: learn languages — big, small, exotic — as long as they change the way you think. Some mental models and concepts might not exist in your favorite language at all. #strangeloop

Cool approach by @mbpmilano to solve consistency problem in distributed systems by not insisting on one consistency model for the entire application, but having multiple data-contextual models and define them on the language level. More: languagesforsyste.ms/MixT/ #strangeloop

Just saw @mbpmilano’s talk at Strange Loop Conf - incredible tour of distributed systems, and one of those talks that expands your mental model on a topic. I especially loved when she said: “The speed of light is slow - 4 inches per clock cycle! [at 3 Ghz]” 😄 #strangeloop

Just finished Jack Rusher‘s talk, “From Geometry to Algebra and Back Again: 4000 Years of Papers”, at Strange Loop Conf and what a fantastic way to send off Papers We Love (@[email protected]) as we have known it all these years. Extremely bittersweet but absolutely fitting!