Some good discussion in this previous post from 2023 as well: https://news.ycombinator.com/item?id=35177110
See also
https://dl.acm.org/doi/abs/10.1145/3558100.3563839
https://www.cs.princeton.edu/~bwk/dmr/
https://dmrthesis.net/
Some good discussion in this previous post from 2023 as well: https://news.ycombinator.com/item?id=35177110