> My favorite project along those lines is Kartik Agaram's Mu[3], which wraps emulation, tracing, and time-travel debugging around a subset of x86 assembly language.

From https://akkartik.name/code : Mu[1], a safe, hackable computing stack that builds up from raw machine code (guided tour[2]; paper '20[3]; talk '20[4]; sample app[5])

[1] https://github.com/akkartik/mu [2] tour https://github.com/akkartik/mu/blob/main/tutorial/index.md [3] paper https://akkartik.name/akkartik-convivial-20200315.pdf [4] talk https://vimeo.com/416363066 [5] sample app https://archive.org/details/akkartik-mu-2021-08-15

Note that Matt Keeter has been at this for quite a while now, very generously sharing his efforts and research:

https://www.mattkeeter.com/research/

In particular, his thesis is well-worth reading: https://www.mattkeeter.com/research/thesis.pdf

• mncharity

  today at 9:35 PM

  "What does this independent research look like?"[1] - timestamp link into Implicit Surfaces & Independent Research (2025) on that research page.

  [1] https://www.youtube.com/watch?v=UxGxsGnbyJ4&t=2150s (I started the clip a few seconds early as teaser for rest of talk)

I'm waiting for Halfspace 3.

Very cool idea!

I love this!