The Nineteenth Byte

if you have a query you think will give a high amount of spam accounts you can let me know in my office and i can go through it privately with the mod search

though www is only useful in normal search

but i usually only do profile spam cleanup either by going through the new users page after i haven't touched it in a while, or by using queries shared in the TL

Wasif

8:23 AM

wow i have got 16 upvotes for this dumb one liner answer: stackoverflow.com/questions/59613201/…

I can't believe it

Wheat Wizard

8:35 AM

Could I get some feedback on this? I know it's long, but I want to make sure it is crystal clear.

1

A: Sandbox for Proposed Challenges

Challenge Statement The goal of this challenge is to build the 5 state Infinite Time Turing machine that takes the longest to halt. The rest of this challenge is some definitions to help you. Infinite Ordinals In this section I will introduce the concept of transfinite ordinals in a somewhat info...

Also suggestions on how to make it easier to approach are welcome.

Bubbler

8:50 AM

@WheatWizard One or two concrete examples of ITTMs (and how you'd calculate the halting time for those) would be great

And a joke question: Is halting problem solved for ITTMs (I guess it halts unless every state combination has a valid transition)? :P

Wheat Wizard

Non-joke answer: The ITTM halting problem cannot be computed by TMs, even ITTMs cannot solve their own Halting problem.

John Dvorak

CMC: prove in as few words as possible that the halting problem is undecidable

Wheat Wizard

@JohnDvorak A Turing machine that solves it could make the liar's paradox.

Bubbler

The challenge should be called Busy Beaver++ (or Omega Busy Beaver)

Unrelated String

@JohnDvorak I halt? No!

Bubbler

9:04 AM

@UnrelatedString A better version would be "I halt? Yes and no!"

okie

9:26 AM

@JohnDvorak If I halt,dont halt

Bubbler

Unrelated: I've been working on an interpreter for lambda calculus with combinators, and as a test case I managed to write add m n where m and n are Scott-encoded

It feels so good when it works (the interpreter AND the hand-written lambda code)

I decided to not bother with mul, though I'll probably try after the interpreter is complete and I get to solve some challenges in it

A username

9:59 AM

Made myself a userscript to make everyone look like Lyxal.

This is going to be fun.

ophact

10:28 AM

joke challenge: (never to be posted to main) create a function or program which takes in a value and outputs a truthy value if it is truthy and a falsy value if it is falsy. do not take it seriously.

this is [code-golf], so the shortest code wins!

Unrelated String

@ophact Brachylog, 1 byte: m

no values are truthy or falsy, so it always errors instead

A username

10:48 AM

@ophact Javascript, 4 bytes: x=>x

@Neil It's day 8 now

New Main Posts

11:30 AM

-1

Q: Shorter way to write the math.hypot (Python)

I have two points as a list in Python: a=[1,3], b=[5,6]. Using the math library, the hypot formula would be: math.hypot(b[0]-a[0],b[1]-a[1]) Is there any way to write this shorter? (I am using Python 3.6)

Razetime

@ophact Stax, 0 bytes

A username

@Razetime Isn't that "Hello, world!"

Razetime

no that's Stuck, not Stax

Adám

@ophact What if the given value isn't truthy or falsy?

Neil

11:45 AM

@Ausername done

New Sandboxed Posts

12:08 PM

0

A: Sandbox for Proposed Challenges

Implement OADD_MONTHS code-golfdate Introduction The concept of a function to add a month to a date, without overflowing if we reach the end of the month, is implemented in many languages/packages. In Teradata SQL it's ADD_MONTHS, here are some examples: ADD_MONTHS('2021-01-31', 1) => 2021-02-2...

Bubbler

12:44 PM

@ophact You can find a thousand different solutions here :P

Redwolf Programs

Someone give this some upvotes, a new user managed to outgolf both Neil and Arnuald by more than 20%

Also I meant to type out a message last night to say I was going to go since I was tired and had a test today but I woke up at 4:30 in the morning with my face on my laptop keyboard so I guess that didn't work out lol

ngn

@RedwolfPrograms impressive

Razetime

@Bubbler even more here

@RedwolfPrograms wow there some math going on there

ah it borrows from level river St's thing

John Dvorak

1:35 PM

@okie ✅

New Sandboxed Posts

1:50 PM

0

A: Sandbox for Proposed Challenges

Radio station hopping You are listening to a car radio. You are pressing seek up/down, moving you to the next frequency some radio station broadcasts on, to avoid all this pointless music and listen to all the ads, or vice versa. But there is a tendency of these broadcasts to have your radio jump...