Super excited to announce the release of Video Souls, a soulslike that runs directly on YouTube videos!
Here’s the PLSE blog post on the level editor: https://uwplse.org/2025/11/18/level-editors.html
Here’s the trailer: https://www.youtube.com/watch?v=Cm5MKsAv-lE
Here’s the game: https://videosouls.com/
TheForkJoin is back for season 2!!! Join me and @notypes as we chat with new faculty in programming languages in systems, taking questions from the audience and generally having a great time.
First up:
@wcrichton *Sep 7 at 10am PT*!
Schedule: http://theforkjoin.com
Join the EGRAPHS Community Meeting next week to learn about an EqSat-based tensor compiler:
Amir Shaikhha will be presenting "∇SD: Differentiable Programming for Sparse Tensors" on Thu 4/18, 9am PT!
https://egraphs.org/meeting/2024-04-18-sparse-tensor-diff
PS: EGRAPHS workshop deadline *this* Friday 4/12 AoE!
Join us on Thursday at 9am PT for the first EGRAPHS Community Meeting!
The EGRAPHS Community is an initiative to bring together researchers and practitioners to talk about exciting stuff in and around e-graphs and related topics. The big components are:
- The monthly seminar
- A Zulip for ongoing discussion
- The EGRAPHS Workshop at PLDI 2024 (submissions due April 5!)
For the first meeting, I'll be giving an overview of e-graphs, some recent developments, and some exciting open directions. Don't know much about e-graphs, or curious as to what the latest problems are? This is a great place to start.
The next meeting will be lightning talks from folks in the community; feel free to email me (self) nominations!
See you on Thursday! :)
Max Willsey