Do I need to attend my specific particular lab section?
Yes. Barring unusual circumstances and pre-clearance with your lecturer or lab instructor, you should plan to attend your specific and particular lecture sec...
FAQ
How should I dispute or disagree with a grade I received?
For homework, please do file a regrade request with the direct issue to address on gradescope, for that particular assignment. You should see this option on ...
May I please have an extension on this assignment?
I can’t give you a personal extension. With as many students as we have and as many graders as we have (often volunteers) the only way to manage that level o...
How do I “steer” ACL2/ACL2s ?
People have wanted to know how to steer ACL2 more precisely. Often the best and most useful advice is to try and “proof-sketch” your conjecture ahead of time...
How do we come up with a project idea?
Some students had expressed trouble coming up with project ideas. This is perfectly reasonable. In practice, proofs often come up “by need.” This is to say t...
I’m not sure what the answer to my project is, or even super clear about the question. That’s bad, right?
Just, by the way.
Where can I improve my (technical) writing products?
I love this question in part because Northeastern offers a terrific answer! The Northeastern Writing Center offers a whole bevy of resources, including some ...
But will you accept my late work in /this/ instance?
It is highly unlikely. All policies come with some exceptions, and we are in exceptional times. But absent some extraordinary case, no, we shall not.
I missed, due to internet, timing, microphone, a poll. How can I make it up?
These are intentionally short-term, small, and un-make-uppable. These are our functional analogues of an attendance, as well as feedback for the instructor o...
Are we pair programming? Do I have to?
On both homeworks and projects, you will be working in groups of between 2-4 people, which you all yourselves select from within your lab section.
I feel like you’ve undercounted my Poll or other class participation. What can I do?
If you submitted responses for a poll question, the PollEverywhere site should show your participation. I believe you find this under History > Response d...
What should a project I submission look like?
If you want another sample report document on which to model your own, I link here to an exemplary model report that I think you could mirror.
How do I learn technical writing?
There are several places I suggest. The first of these I’ve already listed on the enrichment page and have discussed at length.
I have a timestamp showing the unmodified file! Will you accept my late work?
No. It’s not a question of me believing you or not. I’ve never been able to use timestamps on files. I keep on my laptop hard drive a text file “dated” to th...
Why 10pm instead of midnight?
Some other, earlier courses apparently make homeworks due at 11:59pm—effectively midnight. Why do you not do this?
Why is the homework schedule the way that it is?
Our externally imposed constraints are as follows:
Why do you emphasize writing here?
I emphasize writing in this course for several reasons.
I turned in the wrong file. May I turn the right one in late?
My apologies, but I can’t do anything that’d be a saving grace for this instance. Please see the general reasons we do not—cannot accept late work. For this ...