Daniel Patterson

@dmjio That sounds great.

Perhaps not. But, I'm not sure about other schools that use HtDP, but at least at Northeastern, Universe is _usually_ a core part of course projects (i.e., consumes several weeks...

No offense taken -- I left this here _partly_ because I searched for an issue on the topic and didn't see any mention of it, so thought it was worth...

So, websockets should work (it's what I was looking at first), but it's not peer to peer, so at least in the CPO / Pyret world (i.e., hosted online IDE),...

Of course! Yeah, part of the reason why I thought it might make sense to use WebRTC is that even if you don't want students to implement the server, it's...

Oh, also -- just a random thought -- one troublesome part about universe programs is server state. I think often people work around this by having the server not keep...

I like the idea of `satisfies%(post-process)` (I initially was wondering if there was a way to get this to work using just `is%(something)`, but the visibility of the smaller input...

I started implementing this, but realized while doing it that the (perhaps intentionally undocumented?) `run-task` that the test runners use can be used to do what I want: ``` include...

Oh, I spoke too soon -- while that gives the input, it doesn't give the backtrace since it eats the exception, so not actually a perfect solution (it is, at...

Probably both? The use case is fuzzing, so any error is interesting… (as it indicates a bug). On Tue, Dec 7, 2021, at 6:34 PM, Joe Politz wrote: > >...