Discussions

• 3 You must be logged in to vote

  📢

  Discussions are archived, use the Zulip instead

  mwillsey announced Feb 27, 2024 in Announcement

  

  

  0
• 1 You must be logged in to vote

  💬

  close discussion?

  majidaldo started Feb 11, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  ❓

  Why does egg not remove old nodes in process_unions?

  QuarticCat asked Apr 10, 2023 in Q&A · Answered

  

  

  

  

  2
• 2 You must be logged in to vote

  💬

  Hi from the Julia lang planet! 14.5 times faster than egg!

  0x0f0f0f started Jan 14, 2024 in General

  

  

  1
• 1 You must be logged in to vote

  ❓

  Error when applying pattern

  parapluvia asked Dec 18, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  ❓

  Sibling-node-based cost function and indexed operators

  cgjohannsen asked Dec 3, 2023 in Q&A · Unanswered

  

  

  

  

  3
• 1 You must be logged in to vote

  ❓

  Egraphs and variables restrictions

  parapluvia asked Dec 5, 2023 in Q&A · Closed · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🧠

  How to model subdivision and divisibility?

  atyshka started Sep 20, 2023 in E-graph theory

  

  

  

  

  2
• 1 You must be logged in to vote

  💬

  This can scale to relatively big programs?

  mamcx started Sep 26, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  🧠

  bottleneck of equality saturation

  pca006132 started Sep 4, 2023 in E-graph theory

  

  

  

  

  2
• 1 You must be logged in to vote

  ❓

  Optimize value-producing assembly

  Wv5twkFEKh54vo4tta9yu7dHa3 asked Jun 30, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🧠

  An "Almost-Linear Time" optimizer?

  infogulch started Jun 9, 2022 in E-graph theory

  

  

  

  

  2
• 1 You must be logged in to vote

  ❓

  problems with unsimplified pattern searchers

  nlewycky asked May 19, 2023 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  ❓

  Best way to collapse nested language

  genos asked May 18, 2023 in Q&A · Answered

  

  

  5
• 3 You must be logged in to vote

  🧠

  Graph Rewriting with E-Graphs

  cat-state started May 18, 2022 in E-graph theory

  

  

  

  

  3
• 1 You must be logged in to vote

  ❓

  costfunction to prefer output as expanded polynomial

  nlewycky asked Apr 24, 2023 in Q&A · Answered

  

  

  

  

  14
• 1 You must be logged in to vote

  ❓

  [Question] Do you know if anyone is trying to write a SQL optimizer with egg?

  fabianmurariu asked Apr 28, 2023 in Q&A · Answered

  

  

  1
• 6 You must be logged in to vote

  💡

  Write a SQL Optimizer using Egg by Runji Wang

  yihozhang started Apr 14, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  A possible way to fully eliminate boundary checks in union find

  QuarticCat started Apr 4, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  ❓

  Equations

  wolkenmachine asked Mar 30, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  ❓

  How to use multi-root directed graphs

  hombit asked Oct 28, 2022 in Q&A · Answered

  

  

  

  

  3
• 3 You must be logged in to vote

  🧠

  Rewrites under Local Assumptions in E-Graphs

  Tarmean started Mar 6, 2023 in E-graph theory

  

  

  4
• 1 You must be logged in to vote

  ❓

  Add self-referential nodes to egraph

  silversquirl asked Feb 25, 2023 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  ❓

  When is Analysis data recomputed

  meithecatte asked Feb 19, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  ❓

  How to deal with alpha-equivalence?

  silversquirl asked Feb 10, 2023 in Q&A · Unanswered

  

  

  

  

  4