Saul Shanabrook (@sshanabrook) 's Twitter Profile
Saul Shanabrook

@sshanabrook

Starting PL PhD at UW in 2025.
Python OS scientific computing world @ Quansight and Lineapy
open for consulting

ID: 993235330164776961

linkhttps://saul.shanabrook.com/ calendar_today06-05-2018 21:05:30

1,1K Tweet

596 Takipçi

1,1K Takip Edilen

Max Willsey (@mwillsey) 's Twitter Profile Photo

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!

Saul Shanabrook (@sshanabrook) 's Twitter Profile Photo

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…

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…
Saul Shanabrook (@sshanabrook) 's Twitter Profile Photo

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…

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 <a href="/scikit_learn/">scikit-learn</a> with <a href="/numba_jit/">Numba</a> using egraphs in ten minutes 🫣

egglog-python.readthedocs.io/latest/explana…
egraphs.org/meeting/2024-0…
Peter Wang 🦋 (@pwang) 's Twitter Profile Photo

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…

Saul Shanabrook (@sshanabrook) 's Twitter Profile Photo

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

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
Saul Shanabrook (@sshanabrook) 's Twitter Profile Photo

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…

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 <a href="/PyTorch/">PyTorch</a>  compile or JAX... Wish there was better std support for control flow peps.python.org/pep-0749/#whic…
parkie-doo (@parker_ziegler) 's Twitter Profile Photo

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!

Saul Shanabrook (@sshanabrook) 's Twitter Profile Photo

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

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
Saul Shanabrook (@sshanabrook) 's Twitter Profile Photo

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.

Ross Tate (@rossetate) 's Twitter Profile Photo

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)