Spencer Smith

Unfortunately the equation isn't correct for GD:yForce1. It is supposed to be a vertical force, so it should be the y-component of the force vector, not the full vector. It...

Welcome back @Ant13731. Great to hear from you! The double pendulum example should definitely benefit from the single pendulum example. The change you suggest makes sense to me. I wonder...

The agenda for this week's meeting is full, but I've added this to our June 6 meeting (#3453) so that we don't forget to start the discussion. I agree that...

ACT does look like a good option to run GitHub Actions locally. The README for ACT doesn't mention another advantage that occurs to me, running the Actions locally doesn't use...

I think we want to select whatever option is easiest. At this point we don't need to have the best options for design. The most important thing is to have...

I like this idea. We held off with having input and output fields for TMs because of their more abstract nature. For instance, if we have the TM for Newton's...

I'm fine with proceeding, but before we do too much work, we should check with @JacquesCarette. Investigating the impact on the generated SRS does seem like a good place to...

I think we should have a naming style for both our Haskell code and our generated code. For the generated code it would be great if we could change the...

@balacij reasonable values are part of the requirements documentation. They give an idea of a typical value that helps the reader understand the problem. The goal is to have the...

I like the idea of providing a rationale for a given set of reasonable values. My view is that reasonable values are pieces of knowledge that are tied to a...