You are viewing archived messages.
Go here to search the history.

Eli Mellen 2025-11-25 18:09:13

EGG, from "Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation"

Screenshot 2025-11-25 at 1.08.38 PM.png

Konrad Hinsen 2025-11-25 18:46:27

Equality saturation is pretty cool as a technique for exploring a large space efficiently by exploiting its peculiar structure!

Shalabh 2025-11-26 01:56:53

Unision 1.0 released: unison-lang.org/unison-1-0

Key ideas are ‘content hash’ identifies functions and code lives in a DB.

📝 Announcing Unison 1.0

After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.