Halfspace experimental IDE for solid modeling with distance fields

mncharity3 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 <a href="https://akkartik.name/code" rel="nofollow">https://akkartik.name/code</a> : 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] <a href="https://github.com/akkartik/mu" rel="nofollow">https://github.com/akkartik/mu</a> [2] tour <a href="https://github.com/akkartik/mu/blob/main/tutorial/index.md" rel="nofollow">https://github.com/akkartik/mu/blob/main/tutorial/index.md</a> [3] paper <a href="https://akkartik.name/akkartik-convivial-20200315.pdf" rel="nofollow">https://akkartik.name/akkartik-convivial-20200315.pdf</a> [4] talk <a href="https://vimeo.com/416363066" rel="nofollow">https://vimeo.com/416363066</a> [5] sample app <a href="https://archive.org/details/akkartik-mu-2021-08-15" rel="nofollow">https://archive.org/details/akkartik-mu-2021-08-15</a>

WillAdams3 hours ago

Note that Matt Keeter has been at this for quite a while now, very generously sharing his efforts and research:<a href="https://www.mattkeeter.com/research/" rel="nofollow">https://www.mattkeeter.com/research/</a>In particular, his thesis is well-worth reading: <a href="https://www.mattkeeter.com/research/thesis.pdf" rel="nofollow">https://www.mattkeeter.com/research/thesis.pdf</a>

mncharity2 hours ago
"What does this independent research look like?"[1] - timestamp link into Implicit Surfaces & Independent Research (2025) on that research page.[1] <a href="https://www.youtube.com/watch?v=UxGxsGnbyJ4&t=2150s" rel="nofollow">https://www.youtube.com/watch?v=UxGxsGnbyJ4&t=2150s</a> (I started the clip a few seconds early as teaser for rest of talk)

SirFatty3 hours ago

I'm waiting for Halfspace 3.

thefourthchime3 hours ago

Very cool idea!

matthewfcarlson4 hours ago

I love this!