Conversation

Notices

1. Devine Lu Ator (neauoire@merveilles.town)'s status on Wednesday, 29-Mar-2023 12:40:55 JST Devine Lu Ator

   Still wasting my time experimenting with arity checking in uxntal. I feel like there's something there to explore, but I can't say I really found what it is yet.
   https://git.sr.ht/~rabbits/uxnbal/tree/master/item/src/uxnbal.tal

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Wednesday, 29-Mar-2023 14:47:47 JST Devine Lu Ator

     in reply to

     • Kartik Agaram

     @akkartik I'm doing it per-routine at the moment, I'm not looking to doing it at the program scale since there's lots of I/O and optimisations going on.

     It finds some routines as linear, others as safe, and most as crazy unsafe. But I would at least be able to rate the different levels of safety in terms of routines. Most routines do away with load/save operations altogether by using only stack opcodes, making it easy to "rasterize".

   • Kartik Agaram (akkartik@merveilles.town)'s status on Wednesday, 29-Mar-2023 14:47:48 JST Kartik Agaram

     in reply to

     @neauoire I suspect it's impossible to guarantee. You'll either disallow legal programs or let illegal ones through.

     Adrian Cochrane repeated this.