clontz.org
Mathematician, professor, puzzler
Pronouns he/him
Website clontz.org
Puzzle PBaiReGOVANeLpNFrFGBfVkyRgGREf
https://orcid.org/0000-0002-4938-4274
1,329 posts
874 followers
374 following
Regular Contributor
Active Commenter
comment in response to
post
Anecdotally, I had one student use LLM at the beginning of the semester. I called it out and asked for a retake and that was it. I do think that since I'm transparent with students and provide lots of samples, they would rather use the official stuff than an LLM mirage.
comment in response to
post
👏
comment in response to
post
I thought I was being savvy choosing Lean over Coq back in the day but now all my students think I'm trying to encourage cough syrup abuse.
comment in response to
post
144÷4=12²÷2²=6²
comment in response to
post
If you have anything to share that makes GitHub useful to you, g4m.code4math.org is open for pull requests!
comment in response to
post
We're all rooting for you!
comment in response to
post
comment in response to
post
update: my sandwich found its way to me and I'm no longer hangry and thus am in an appropriate mindset to assess these late student submissions before grades are due
comment in response to
post
That's rough buddy
comment in response to
post
comment in response to
post
Run utilities to your home using three dimensions. TOPOLOGISTS HATE THIS
comment in response to
post
Ha, well that's certainly true. Though I was uncareful: this survey specifically addressed software used for research (not typesetting papers).
comment in response to
post
comment in response to
post
Watching this and Gangnam Style and then I'll be ready to get ready for work...
comment in response to
post
🫡🦊
comment in response to
post
comment in response to
post
The one weird trick that allows demagogues to enforce any rules they want:
Amendment 28: 0=1
comment in response to
post
Xs and ∅s
comment in response to
post
Oh, I saw elsewhere in the thread you may not have freedom to do this. 😢
comment in response to
post
Then the main metric I use to assign letter grades is # of check marks. I haven't heard any complaint like you describe since.
comment in response to
post
Can your LMS set all grades to 0, so they start the semester at 0% and only go up from there?
In Canvas I've set all my assignment groups to 0%, so the gradebook is fixed at 0% all semester. I use the "Learning Mastery" tab to check off learning outcomes as they are shown to me on assignments. 1/2
comment in response to
post
Careful, it says "up to"
comment in response to
post
Maybe try again this fall. Our "grand opening" as an @aimathematics.bsky.social research community is happening in September.
comment in response to
post
Btw @drew-lewis.com you are conspicuously absent from the @code4math.org Zulip...
comment in response to
post
Discussion = collaboration according to 🤖🥕
comment in response to
post
CMT integration/importing (for events that need it) is on the radar for ScholarLattice (or more accurately, the LatticeConnect FOSS I plan to factor out for more general usage).
Let's connect after the grading conference to debrief and discuss potential discussion.
comment in response to
post
I mean unless I convince you to use @scholarlattice.org lol (but it should be a wash)
(Seriously though, if you're coding, we should be coding this thing together.)
comment in response to
post
Having a desk rejection template that includes "the submission appears to have been AI generated" in a list of reasons we reject without further review/details seems to be a wise solution: even if it wasn't AI generated, we wouldn't ever accept a submission that reads like one.
comment in response to
post
Perhaps the quick justification for this: just because these sets are equal in both models, doesn't mean the models contain the same functions between them.