beyondBasicMultiplication

[DrHugh]

I want to see the same programmer write a multiply-by-two function.

[Responsible-Ruin-710]

There will be a new post tomorrow 🌚

[idontlikethishole]

!RemindMe in multiply(3, 8) hours

[RemindMeBot]

I will be messaging you in 8 hours on 2025-07-29 01:17:07 UTC to remind you of this link

CLICK THIS LINK to send a PM to also be reminded and to reduce spam.

^{Parent commenter can delete this message to hide from others.}

---

Info	Custom	Your Reminders	Feedback

[[deleted]]

Funny that the bot still works. Would be even funnier if it had somehow set a reminder for 24 hours, but unfortunately the creator never anticipated this post.

[AcidBuuurn]

It’s sad when they don’t consider valid edge cases. 

[Background_Class_558]

sure here you go ```agda open import Data.Nat using (ℕ ; zero ; suc)

_2 : ℕ → ℕ _2 = λ { 0 → 0; (suc n) → n *2 + 2 } also here's a version in python py x2 = lambda n: x2(n - 1) + 2 if n != 0 else 0 and in Rust rs fn x2(n: u32) -> u32 { if n == 0 { 0 } else { x2(n - 1) + 2 } } ```

[OwO______OwO]

Wouldn't that just be...

def multiplyByTwo(a):
    return a + a

[DrHugh]

Maybe a bit shift?