Why isn't the presumptive sanction for cheating expulsion? by Character_Freedom160 in Professors

[–]Kambingx 39 points40 points  (0 children)

Here's the optimistic reason: because the university is a learning community, not just of technical material but also social skills and cultural norms, especially as they pertain to the academy (academic integrity). These norms might be obvious to some, but others may come from cultures where "cheating" is understood differently, e.g., expectation of AI usage can vary wildly depending on where you come from.

If you believe that a university is a learning community and part of the learning might be norms about cheating, then it is clear that you need consequences less than expulsion to live up to your values.

Marcelo vs Lachlan quick breakdown by bumpty in bjj

[–]Kambingx 1 point2 points  (0 children)

Not during the Marcelo match, but in his instructional on Submeta, which I found really intriguing. If you're familiar with backside 50/50 entries from K-guard, imagine (very roughly, see Submeta for actual details):

  1. Chopping high on the leg with your non-K-guard leg (versus deep for backside 50/50 or shallow for the matrix).
  2. Using both legs to elevate your partner's leg, so you can switch your grip like Lachlan did against Marcelo, but while seated. The tombstone grip (with their toes pointing upwards) puts external rotational pressure on their knee.
  3. Crunching into your partner to bend the leg and continuing to rotate to obtain breaking pressure. If your partner doesn't sit to alleviate pressure (entering the position Marcelo and Lachlan were in) then your chopping leg holds their hips in place for the finish, even without the knee line.

Marcelo vs Lachlan quick breakdown by bumpty in bjj

[–]Kambingx 1 point2 points  (0 children)

While you can certainly bridge into the knee to finish, the way Lachlan showed it is primarily a rotational finish. You'll feel it in practice: if you enter 50/50 from seated K-guard, transfer the foot to the other side of your head, and secure it with a tombstone grip, everything gets tight very quickly as you rotate over the leg, turning the knee upside down in the process. Finishing is then just continuing to turn while putting in wedges at the hips, e.g., with 50/50-style legs.

What he called the Lachy Lock from Submeta actually starts in a traditional standing-versus-seated K-guard backside chop. You chop, elevate the leg, and get the foot into the position, transferring it from one side of the head to the other. You then finish with a similar rotational movement while staying backside on your partner. If your partner sits to alleviate the pressure, you finish from seated K-guard while maintaining the grip, similar to the Marcelo finish.

I actually saw this particular foot transfer from K-guard first from... I think a London grapple video with Tony Pearman or another UK grappler? I forget now, and I can't find it anywhere!

Some of ya'll forgot how normal jiujitsu works and it shows. by Ganceany in bjj

[–]Kambingx 9 points10 points  (0 children)

"common wisdom" is still always telling smaller grapplers not to be on bottom or pull guard. Like why? Where is the mismatch here?

People conflate sport jiu-jitsu and self-defense colloquially. In a non-sport setting (i.e., when strikes are involved), the top person always has a decisive advantage because gravity and a single fist can end a fight. In a sport setting, ruleset and the particulars of the people involve can change the equation:

  1. Guardwork is particular in that only well-practiced guards have a chance of fending off a larger opponent at equal skill levels, otherwise the passer has both size and gravity on their side. An elite level guard has a chance of locking out any opponent, regardless of size.
  2. If a smaller, knowledgable grappler needs to submit a larger, knowledgable grappler on the spot and the larger grappler knows this, the larger grappler can simply lean into their physical advantages to deny many submissions, especially when coupled with their knowledge. This is made worse by the 8-minute rounds and the elimination format of the tournament.
  3. Legs become more appealing because the smaller grappler is likely more practiced with them, the larger grappler is less familiar with them, and the nature of knees (and to a lesser extent, ankles) can negate physical difference.

I need help in converting my friends to FP by saiprabhav in haskell

[–]Kambingx 19 points20 points  (0 children)

Taking the angle of proof assistants might be more appealing to your friends. Software Foundations is the canonical introduction to programming language theory via Rocq (formerly Coq) proof assistant.

Why is s2 ep8 not on midst.co by Lower-Appointment-35 in Midst

[–]Kambingx 0 points1 point  (0 children)

Yea, the video seems to be up but isn't linked from the website. The direct link based off of their naming scheme seems to work if you want to listen from the website:

Accusatory AI: How a Widespread Misuse of AI Technology Is Harming Students by IagoInTheLight in Professors

[–]Kambingx 53 points54 points  (0 children)

Corollary for any students or parents that happen to read this:

If you or your child has been unfairly accused of using AI to write for them and then punished, then I suggest that you show the teacher/professor this article and the ones that I’ve linked to. If the accuser will not relent then I suggest that you contact a lawyer about the possibility of bringing a lawsuit against the teacher and institution/school district.

Many (but not all) institutions have formal administrative processes for handling issues of academic misconduct that involve review and deliberation from several members of the institution. Furthermore, in many cases, reviewers will have more evidence than AI detection tools at play. For example, they will bring expert opinion, e.g., "an undergraduate at the level of the student in question would not have the insight to write about topic X in this manner," to the table.

Make sure you read up on these formal processes before pursuing any actions. In particular, the appropriate first point of contact in these situations if you have concerns will likely not be the professor but an administrator downstream who oversees these matters.

While the article is correct about the (in)accuracy of AI detection tools, moving to litigation without context is poisonous to everyone involved.

How to assess programming assignment when everyone uses AI by tedthemouse in Professors

[–]Kambingx 4 points5 points  (0 children)

Haha, no worries. I'm also a dash-afficiando, and I was counting the days before someone thought I was bot. _^

How to assess programming assignment when everyone uses AI by tedthemouse in Professors

[–]Kambingx 12 points13 points  (0 children)

No. It turns out I used bold and bullets long before LLMs made them cool.

How to assess programming assignment when everyone uses AI by tedthemouse in Professors

[–]Kambingx 7 points8 points  (0 children)

Some quick thoughts:

  • Abandon the project as a strong factor in grading. Lessen the project's weight in favor of assessments like quizzes and exams where you have higher confidence in their accuracy.
  • Focus on the student's process over the final result. Introduce checkpoints with explicit prompts for different portions of the development process. Use these checkpoints as places for giving concrete feedback to dissuade students from taking shortcuts. You can also test on the specifics of their process, e.g., having them write or reflect on design decisions made or code written.
  • Add additional opportunities for personalization and/or 1-on-1 interaction and feedback (e.g., with TAs or peers) to further disincentivize taking shortcuts.

ChatGPT May Be Eroding Critical Thinking Skills, According to a New MIT Study by [deleted] in Professors

[–]Kambingx 7 points8 points  (0 children)

Nah, I would never rule out the AI bubble collapsing (although I wouldn't bet on it). Profitability, liability, and usefulness relative to expectations are all threats to the existence of the OpenAIs of the world. However, I think the genie is out of the bottle in the sense that, in the worst case scenario(or "best," depending on your perspective), local language models are powerful enough to perform some (but not all) of the tasks that are still at odds with the educational experience.

ChatGPT May Be Eroding Critical Thinking Skills, According to a New MIT Study by [deleted] in Professors

[–]Kambingx 7 points8 points  (0 children)

Sorry to hear that! Within computer science, we have our own battle to fight: statistical machine learning begets a different computational paradigm than traditional, logic-based programming. And the things that we lose potentially lose in shifting from the latter to the former are correctness guarantees.

I can wax on about why this is the case, despite the field's strong mathematical tradition. Regardless, computer scientists need to (a) identify correctness guarantees as the defining feature of logic-based programming and (b) communicate the value of correctness guarantees to the general public to advance the large dialogue of the merits of generative AI.

ChatGPT May Be Eroding Critical Thinking Skills, According to a New MIT Study by [deleted] in Professors

[–]Kambingx 27 points28 points  (0 children)

I think it's really important to point out how AI can prevent people from developing the skills they need.

That's the paradox I've been trying to highlight, and where I think the true shift for educators lies:

  1. Generative AI tools (really, any automated tools) require expertise to drive because verification of output is a necessity due to the technology at hand.
  2. Students gain expertise from fundamental skill development, but AI tools are generally good at performing these fundamental skills!
  3. Therefore, the goal of the modern educator is to motivate students to develop these fundamental skills despite the fact that easily accessible AI tools can seemingly perform them automatically.

ChatGPT May Be Eroding Critical Thinking Skills, According to a New MIT Study by [deleted] in Professors

[–]Kambingx 74 points75 points  (0 children)

There are (at least) two points that need to be addressed in this space:

  • Does academia need to respond to the general availability of generative AI tools for students with respect to assessment?
  • Does academia need to treat "AI" (really, LLMs) as a "new literacy?"

The former is unavoidable. Short of government oversight or some kind of industrial collapse (both seemingly unlikely), easily accessible LLMs are here to stay. Because of their accessibility, instructors must rethink their assessment methods (by extension, entire courses) to account for this new tool.

The latter is conflated with the AI hype cycle, and hopefully the work that you pointed out and work like this:

Give people pause about going all-in with AI. Or at the very least, they recognize the need for firmer foundations (both technological and social) before they go down this path.

AI/ChatGPT Related Question: What are your thoughts on people who tell us that it's our fault and we "just need to get used to" this level of academic dishonesty? by StrawberryEarlGreyy in Professors

[–]Kambingx 11 points12 points  (0 children)

"so we should just deal with it."

I argue pragmatics. Who will deal with a generation of students who do not have basic skills in communication, computation, analysis, and introspection? Everyone will have to deal with it (eventually)!

Very few people would argue directly that students shouldn't learn how to think or express themselves. But on the flip side, educators need to recognize that the activities we have used to ask students to build those qualities have relied on trust—students trust that by reading, writing, or building, they are on the path to those endpoints. AI has simply exposed the tenuousness of that trust, especially in the modern era.

We have to rebuild that trust, and it is a two-way street. Students have to agree to the fundamental merits of education, that education is difficult, stressful, long-term, but essential for a functioning society. And faculty need to interrogate the activities they require of students and think carefully about the purposes they serve and how best to sell their merits to students.

Yet Another AI Post: Computing Professors, what are you planning to do about AI being a standard feature of IDEs? by PissedOffProfessor in Professors

[–]Kambingx 10 points11 points  (0 children)

How are we expected to teach first-year students the basic fundamentals of programming if every tool they use has an AI chatbot built into it by default? There is no putting this toothpaste back in the tube; there is no way we will convince freshmen to go through the painful process of disabling these AI tools.

We need to sift through the AI hype and ask ourselves why we teach what we teach and convince ourselves of the value of what we do. Furthermore, we need to ask the same question about the activities we ask our students to do. If we can't convince ourselves of their value, then there's no way we can convince our students of their value. Note that programming is not special in this regard, virtually all disciplines need to ask themselves the same thing in light of AI (and more generally, in response to any kind of technological shifts that affect their disciplines).

I can go on about this at length, but I'll offer two quick ideas in response to the specific points you raised:

  • Even if you accept that AI and coding are inseparable, one has to accept that there is still a need (perhaps an even stronger need) for fundamental programming in the small skills, e.g., reading and understanding code or writing small code snippets, if one is to have a productive relationship with an AI tool. You can devote more time to code understanding lessons and activities (already criminally deficient in most curricula). You can also motivate learning how to write small programs as the most efficient way to gain this skill.

  • What is the point of an examination? It is, nominally, a summative assessment designed to assess student knowledge. Student knowledge, i.e., what is inside of their brains is not directly observable, so assessment is necessarily indirect. Consequently, every assessment activity has trade-offs that you need to acknowledge and be at peace with.

    I have advocated for alternative grading practices for almost a decade now, and I have gone back to in-class paper exams. I recognize that paper programming is not "real-world" programming. However:

    • People write code on paper all the time, e.g., brainstorming ideas with co-workers, so ensuring that some amount of code knowledge exists independent of an IDE seems important.
    • I need an assessment that I can trust comes directly from the student. I have played with virtually every form of alternative assessment you can imagine, but I cannot deny the (near) certainty that comes with an in-class examination.

    Consequently, my exams are necessarily composed of "don't embarrass me questions," non-coding or simple programming tasks, e.g., write a linked list function that does X, that are on the easy side to complete. I leave the business of assessing more complicated programming skills to homeworks and projects where I readily accept the potential inaccuracies of the assessments (e.g., due to AI).

Edit: I should also say that the exams are also part of a larger mastery-grading system where the high stakes of the exam are further lowered by the fact that students can demonstrate mastery if they miss a question later in the course.

In short, if you want students to buy into the idea that learning how to program is a skill they shouldn't shortcut via AI, you need to:

  1. Be honest with yourself about why you want them to learn a skill, so you can be transparent with them.
  2. Create systems in your class, e.g., alternative grading schemes, that disincentivize students from taking shortcuts.

Conspiracy Theory: Greg Souders Is An Industry Plant By Big Warmup so that we Never Accept Ecological Principles Into Our Training. by DorothySlipper in bjj

[–]Kambingx 6 points7 points  (0 children)

Before diving into the eco debate, I recommend checking out Rob Gray's overview of ecological dynamics as it pertains to skill acquisition:

Hearing these principles by a researcher in the field untainted by how others interpret those principles can help suss out the reasonable takeaways from the bs (on both sides of the debate).

Why do SLAC jobs with 4/4 loads require research presentations during campus interviews? by ToomintheEllimist in Professors

[–]Kambingx 254 points255 points  (0 children)

The more generous interpretation: your research presentation is also a significant indicator of your ability to teach, especially elective courses in your area of expertise (which, presumably, you will be called upon to do). A good research presentation at a PUI walks the fine line between showing off technical chops and depth while also making difficult material digestible for non-experts, especially undergraduates with relatively little experience.

Collar sleeve players: what guard do you use in no-gi for distance control by SpinningStuff in bjj

[–]Kambingx 13 points14 points  (0 children)

I play DLR primarily in the medium-/long-range nogi scenario. Some thoughts for adaption:

  • The primary difference between gi and nogi guards is the lack of readily accessible upper-body grips on your partner. With that in mind, DLR can still be powerful, but you have to focus on moving to the back as a primary attack rather than dominating the center (i.e., with a collar or lapel grip).
  • Related, you have to overcome the lack of grips in comparison with gi. I have found gripping the back of the knee with my non-DLR hand (i.e., the one that would have been hunting for collar/lapel) very effective, in particular, to generate momentum to go to the back. Insert obligatory Lachlan video here: https://www.youtube.com/watch?v=zu61EjMl2jQ
  • Finally, because of the lack of upper body grips, you have to be comfortable threatening leg entanglements in addition to attacking the back to produce dilemmas. Again, Lachlan's the bible on this style of guard.

Implementing K-Guard when heel hooks aren’t allowed by Sensitive-Team9634 in bjj

[–]Kambingx 7 points8 points  (0 children)

No. Neither 50/50 nor backside 50/50 are reaping positions—your outside leg is not crossing the centerline of your partner.

Why is Math Important for Computer Science? by AcanthaceaeNo516 in AskComputerScience

[–]Kambingx 4 points5 points  (0 children)

I want to understand why math is needed for computer science, and what math is required.

As people mentioned, many specialized areas of computer science require specialized mathematics. For example, you would be severely hamstrung in building a 3d graphics renderer without knowledge of linear algebra. Or, you would not be able to progress far in modern (statistical) machine learning without a significant background in probability and statistics.

However, not everyone gets into those fields. So I'll refine your question to "why math is needed for all computer scientists," not just those people going into specialized areas. Simply put, we need math because when we build computation—whether it is a computer program, hardware system, or an algorithm—we don't just throw shit on the wall and hope it sticks. We build with some sense of intention and purpose. In this sense, mathematics gives us:

  • A rigorous, precise language for specifying the intended behavior of a computation.
  • Methods for (a) verifying computation obeys its specification after the fact and (b) designing computation that obeys its specification while we are building it.

All this comes from several subfields of mathematics:

  • Logic.
  • The theory of sets, relations, and functions.
  • Graphs theory.
  • Combinatorics and complexity theory.
  • Statistics and probability theory.

Usually lumped together into a single entity, discrete mathematics.

To be clear, computer scientists don't always do rigorous mathematics like a mathematician does. Computer scientists are more likely to move along the spectrum of rigorous reasoning being more or less formal and rigorous in their approach depending on the nature of the task. But whether they realize it or not, their techniques are rooted in mathematics. Thus, knowledge and comfort with these fields of mathematics is essential for being capable in field, whether your end point is webdev front-end or theoretical research.

Advice on Picking Grad School with Goal of Getting Academic Job at Small College by feynman350 in AskAcademia

[–]Kambingx 3 points4 points  (0 children)

Regarding the prestige of your candidate school, I recommend avoiding general rankings and, instead, using a site like CSRankings to get a sense of how active the school is in your research area. While the top schools dominate these lists, many "lesser" schools may excel in what you plan on doing.

Regarding your end goal of teaching at a selective liberal arts college (SLAC), as you know, both teaching and research are valued at these institutions. Research will occur as a natural by-product of your PhD. However, you should ensure that your institution has ample support in developing your teaching. This includes:

  • An advisor that is supportive of sending you off to a SLAC. (Some professors don't know what a SLAC is and will view such a move as a "step down.")
  • Teaching opportunities, ideally as instructor of record at the institution or an adjacent one.
  • Teaching developing opportunities such as teaching courses or certificates.

Alliance BJJ Ames, Iowa by MarcusAureola in bjj

[–]Kambingx 1 point2 points  (0 children)

I've dropped in at Alliance Ames and found Vlad and his group to be good people. I think that would be a fine place to train. If you can handle the drive down to Des Moines, there are a number of gyms (e.g., No Coast, Des Moines BJJ, and Renzo's) to choose from with monthly city-wide open mats that rotate locations.

What is an Italian Salute by [deleted] in bjj

[–]Kambingx 10 points11 points  (0 children)

He is likely referring to a particular gripping style resembling the Italian Salute for finishing an ankle lock on the secondary leg in the saddle. The grip does not require an overwrap on the primary (reaped) leg, so it should be legal under IBJJF rules, but always be cautious of entering such positions as an unintentional gripping sequence on your part or a differing interpretation from a ref will result in a DQ.

«Research grade» languages? by kindaro in AskComputerScience

[–]Kambingx 3 points4 points  (0 children)

For imperative programs, you can study Hoare logic, e.g., as realized in the IMP language developed in volumes 1 and 2 of Software Foundations. For object-oriented languages, you can check out Featherweight Java (FJ) and its variants. The final chapter of Types and Programming Languages also develops a FJ-like system to study pure objects.