Want to get a program from just its type? Meet new type-directed synthesizer Hectare. Over 100x faster than state of the art on some problems — all with 10x less code. All thanks to a new kind of solver, ECTAs, solving a decades-old problem in synthesis: https://
bit.ly/3z2D5Ly

→ View original post on X — @mit_csail,