2024-09-09 [2024-09-09]
✍️source

#formal #lean #optimization #os #rust #wasm
- add `egglog` and `ginac`, and streamline the build process of Rust WASM dependencies
- reading source of projects using egg: `jafioti/luminal`, `marcusrossel/lean-egg`, `verified-optimization/CvxLean` etc. TODO: read more egg papers: Bridging syntax and semantics of lean expressions in e-graphs[rossel2024bridging]An equality saturation tactic for lean[rossel2024equality]Verified reductions for optimization[bentkamp2023verified]

Learning diary › Year 2024 › September, 2024 › 2024-09-09 [2024-09-09]
✍️source

Learning diary › Year 2024 › September, 2024 [2024-09]

2024-09-30 [2024-09-30]

2024-09-29 [2024-09-29]

2024-09-27 [2024-09-27]

2024-09-26 [2024-09-26]

2024-09-25 [2024-09-25]

2024-09-24 [2024-09-24]

2024-09-23 [2024-09-23]

2024-09-22 [2024-09-22]

2024-09-19 [2024-09-19]

2024-09-17 [2024-09-17]

2024-09-16 [2024-09-16]

2024-09-15 [2024-09-15]

2024-09-12 [2024-09-12]

2024-09-11 [2024-09-11]

2024-09-10 [2024-09-10]

2024-09-09 [2024-09-09]
✍️source

2024-09-08 [2024-09-08]

2024-09-07 [2024-09-07]

2024-09-06 [2024-09-06]

2024-09-05 [2024-09-05]

2024-09-04 [2024-09-04]

2024-09-03 [2024-09-03]

reference. An equality saturation tactic for lean [rossel2024equality]

reference. Bridging syntax and semantics of lean expressions in e-graphs [rossel2024bridging]

reference. Verified reductions for optimization [bentkamp2023verified]