Skip to main content
deleted 1 character in body
Source Link
lyxal
  • 35.6k
  • 2
  • 69
  • 148

05AB1E, 3 bytes

2t÷ 

Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t÷ 2t # Push the square root of two   ÷  # Integer division 

🍟🍅

Still no ketchup.

05AB1E, 3 bytes

2t÷ 

Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t÷ 2t # Push the square root of two   ÷  # Integer division 

🍟🍅

Still no ketchup.

05AB1E, 3 bytes

2t÷ 

Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t÷ 2t # Push the square root of two ÷ # Integer division 

🍟🍅

Still no ketchup.

deleted 11 characters in body
Source Link
lyxal
  • 35.6k
  • 2
  • 69
  • 148

05AB1E, 3 bytes

2t÷ 

Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t/ï2t÷ 2t # Push the square root of two  ÷ # Divide and cast# toInteger integerdivision 

🍟🍅

Still no ketchup.

05AB1E, 3 bytes

2t÷ 

Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t/ï 2t # Push the square root of two  # Divide and cast to integer 

🍟🍅

Still no ketchup.

05AB1E, 3 bytes

2t÷ 

Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t÷ 2t # Push the square root of two ÷ # Integer division 

🍟🍅

Still no ketchup.

added 26 characters in body
Source Link
lyxal
  • 35.6k
  • 2
  • 69
  • 148

05AB1E, 43 bytes

2t/ï2t÷ 

Try it online!Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t/ï 2t # Push the square root of two /ï # Divide and cast to integer 

🍟🍅

Still no ketchup.

05AB1E, 4 bytes

2t/ï 

Try it online!

Yet another port of my Keg answer for the sake of completion.

Explained

2t/ï 2t # Push the square root of two /ï # Divide and cast to integer 

🍟🍅

Still no ketchup.

05AB1E, 3 bytes

2t÷ 

Try it online!

-1 byte thanks to @Grimmy

Yet another port of my Keg answer for the sake of completion.

Explained

2t/ï 2t # Push the square root of two /ï # Divide and cast to integer 

🍟🍅

Still no ketchup.

added 134 characters in body
Source Link
lyxal
  • 35.6k
  • 2
  • 69
  • 148
Loading
Source Link
lyxal
  • 35.6k
  • 2
  • 69
  • 148
Loading