| Web | https://ztatlock.net |
| Lab | https://uwplse.org |
Ran my favorite half today: DRUMHELLER 2024!
Dizzyingly good. More aid stations than any other race. https://raceconditionrunning.com/drumheller-marathon-24/
Many thanks to everyone who made it such a fantastic event, especially Nick!
Brett Saiki on our recent Herbie work with @pavpanchekha and team:
https://uwplse.org/2024/05/09/Herbie-Numerical-Compiler.html
We're rethinking Herbie to be target-platform-aware; i.e., for accuracy-aware codegen. Brett also overviews of Herbie's architecture and history. Thanks to DOE for the support!
Interested in hanging out with a bunch of fantastic SE and PL folks across the PNW for a day? Join us for PNW PLSE 2024 on May 7th!
We'll have a mix of posters, lightning talks, and longer talks with plenty of "hallway track" so everyone can catch up :)
Last call for PNW PLSE next Tue, May 9!
Amazing schedule with tons of interesting folks. Come join us for a day of great talks, lively discussion, and catching up with old friends!!
Schedule: https://sites.google.com/cs.washington.edu/pnwplseworkshop/pnw-plse-2023
Registration: https://docs.google.com/forms/d/e/1FAIpQLSffvR6NLJWa_OtRt-WY_zSFJhiLrauhQWeND1TV56M8j7gv-Q/viewform
The PNW PLSE 2023 Workshop will meet on Tuesday, May 9th at at the Paul G. Allen Center at the University of Washington! Click here for travel info, directions to campus, and lodging. The workshop will feature talks and demonstrations of current projects, provide opportunities to get feedback on
Have a cool use case for e-graphs or equality saturation? Want to discuss your next big idea with fellow egg-heads? Find deep connections with complementary techniques?
EGRAPHS 2023 is for you! Get your proposals in; super stoked to see y'all at FCRC!
https://pldi23.sigplan.org/home/egraphs-2023#Call-for-Presentations
Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, computational fabrication, automatic vectorization, deep learning compute graphs, symbolic computation, and more. The second EGRAPHS workshop will bring toge ...
Noodling on design for 3D-printed yarn cones that (hopefully) won't slip on antique winders.
Super simple, though taper meant first time in many months I got to use `tan` in anger.
