WillAdams 5 hours ago

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 4 hours ago

"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)

neomantra 34 minutes ago

Thanks for referencing that. I'm similarly doing independent research and feel like I "do", but not much more. As I've previously researched in either academic and corporate settings, where there is so much other scaffolding, that helped outline some ways to contextualize and activate.

mncharity 5 hours ago

> 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

SirFatty 5 hours ago

I'm waiting for Halfspace 3.

thefourthchime 5 hours ago

Very cool idea!

matthewfcarlson 6 hours ago

I love this!