Max Willsey
@mwillsey.com
Idk about tiple dot access. You can count in a few ugly ways: lukaswirth.dev/tlborm/decl-....
Tuple unpacking is a little neater.
Tuple unpacking is a little neater.
Counting - The Little Book of Rust Macros
lukaswirth.dev
June 5, 2025 at 1:46 PM
Idk about tiple dot access. You can count in a few ugly ways: lukaswirth.dev/tlborm/decl-....
Tuple unpacking is a little neater.
Tuple unpacking is a little neater.
Reposted by Max Willsey
The EGRAPHS workshop brings together researchers and practitioners that use e-graphs and related techniques. The paper submission deadline is on April 17. More info can be found here: pldi25.sigplan.org/home/egraphs... and egraphs.org
EGRAPHS 2025 - PLDI 2025
Research in the EGRAPHS Community 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 eq...
pldi25.sigplan.org
February 7, 2025 at 12:26 AM
The EGRAPHS workshop brings together researchers and practitioners that use e-graphs and related techniques. The paper submission deadline is on April 17. More info can be found here: pldi25.sigplan.org/home/egraphs... and egraphs.org
NES emulator is a fun one!
November 28, 2024 at 7:59 PM
NES emulator is a fun one!