General
Source:https://www.epatters.org/post/e-graphs-3/
How to prove equations using diagrams, part 3
Lobsters0 views
PreviousLogjar 0.1: searchable compressed log archives (grep without decompressing)NextShow HN: LLM-cost-watch – Ask Claude why your LLM bill jumped
Related posts
Why a pink potato-like robot is wheeling around Philadelphia
0Hacker News New
Tell HN: There is a housing crisis where Sam Altman lives
0Hacker News New
An Apology for the Mirror: The Thief Cries "Stop, Thief "
0Hacker News New
Dux: Free, open-source Wayland desktop shell with file manager and theming
0Hacker News New
Titanic insurance document could fetch £50k
0Hacker News New
Show HN: Models Engineering Index
0Hacker News New