patrick
patrick.sirref.org
patrick
@patrick.sirref.org
They are similar (e.g. see references to Idris in [1]). One of the key differences, I think, is that Hazel programs can evaluate around typed holes, see [2] for an example of that!
(cc @neurocy.bsky.social and @disconcision.com)

[1] arxiv.org/pdf/1805.00155
[2] hazel.org/build/dev/?n...
November 11, 2025 at 5:27 PM
h/t to @anil.recoil.org for the hazoo name
November 11, 2025 at 4:11 PM
I stand by it :)
August 1, 2025 at 9:07 AM
Yep! I believe there is support for saving the state of the cells locally in the works too which would be a good feature!
July 24, 2025 at 11:42 AM
It was pretty frustrating come up mostly short on a solution for io-uring that was reliable and that would remain stable across kernel versions. Any pointers there would be appreciated :)
June 4, 2025 at 1:10 PM
This has additional support for tracking subprocesses and io-uring which bypasses the common syscall tracepoints.
June 4, 2025 at 1:10 PM