🔥Telegram İfşa

Join us on Thursday at 9am PT for the first EGRAPHS Community Meeting! egraphs.org/meeting/ For the first meeting, I'll be giving an overview of e-graphs, recent developments, and exciting open directions. Don't know much about e-graphs? This is a great starting point!

Having fun playing with higher order functions again in e-graphs... This time it's a bit more sane b/c the function bodies themselves don't exist in the e-graph, just a string pointer to their name. github.com/egraphs-good/e…

🔥🔥🔥 stat.columbia.edu/~gelman/resear…

Looking forward to the EGRAPHS community call lightning talks tomorrow... egraphs.org/meeting/2024-0… Wish me luck trying in explaining this chart of optimizing scikit-learn with Numba using egraphs in ten minutes 🫣 egglog-python.readthedocs.io/latest/explana… egraphs.org/meeting/2024-0…

Amazing - The The White House OSTP recognizes Project Jupyter for its impact on science and society! So proud of all the community members and the broader PyData, NumPy and SciPy ecosystem for the decades of amazing work! whitehouse.gov/ostp/news-upda…

Work with one of my favorite people on the planet Python Software Foundation

Our housing #coop is finally coming together in #westernmass! We need to raise money for a #clt to purchase the land... So come hang at Four Phantoms Brewery this Sunday in #greenfield MA 1-3 pm! vclt.org/?page_id=1603

It's interesting to see how partial evaluation is necessary to support deferred annotations in Python... What's supported matches what is possible in a tracing JIT compiler like PyTorch compile or JAX... Wish there was better std support for control flow peps.python.org/pep-0749/#whic…

Python Type Checker Poll

cartokit v0.5.0 is out with a big new feature—channels! Channels allow you to map multiple attributes to different visual channels. Here we take 10k powerplants, size them by MW output, and color them by energy source. This was a 2017 WaPo graphic, made in <40 secs in cartokit!

Cute shared office/studio space for rent in Greenfield, MA! $125/month includes all utilities, shared with my friend, 24/7 access 💕 I'll be sad to be leaving this space, it's got great light and a beautiful view. Message me if you're interested

Can't wait till there's Cartesian categories and we can start representing functional programming languages... Would be fun to then see the overlap with pattern matching / Egraphs for representing different semantics.

If someone comes to you asking for accommodation, please recognize they are doing so—at the risk of being judged as lazy—because they want to contribute effectively. (13/16)