Hacker News
Lobsters
- Where are all the Rewrite Rules? https://www.philipzucker.com/rewrite_rules/ 0 comments formalmethods , math , programming
Linked pages
- https://cfallin.org/blog/2023/01/20/cranelift-isle/ 44 comments
- Relational algebra - Wikipedia https://en.wikipedia.org/wiki/Relational_algebra 28 comments
- Welcome to Rubi, A Rule-based Integrator | Rubi (Rule-based Integrator) https://rulebasedintegration.org/ 26 comments
- SKI combinator calculus - Wikipedia https://en.wikipedia.org/wiki/SKI_combinator_calculus 16 comments
- Summation - Wikipedia https://en.wikipedia.org/wiki/Summation 7 comments
- Algebraic structure - Wikipedia https://en.wikipedia.org/wiki/algebraic_structure 5 comments
- Finding Simple Rewrite Rules for the JIT with Z3 | PyPy https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html 4 comments
- Rewriting Monoidal Categories in the Browser with Egg | Hey There Buddo! http://www.philipzucker.com/rust-category/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.philipzucker.com
Search title: Where are all the Rewrite Rules? | Hey There Buddo!
See how to search.