probably easier to remember?

/me shrugs

that involves math

everyone knows math is hard

@AdmBorkBork I wanted to nominate Heeby Jeeby's challenge too, but apparently proof-golf has first been done in 2016, so I was unsure. Beat me to it :(

@Mego yeah it does seem pretty weird. isbn-international.org/range_file_generation seems to point towards what you expected

@Mr.Xcoder Yeah, I noticed that, too, but still thought it warranted nomination.

Yeah of course

@Mego Are inputs guaranteed to be 1/0, or just truthy/falsy?

I'm going to do it in brain-flak

Cool

Since it's 3 inputs, we can do a fun little hack: ({}[[]]{}) instead of ({}{}[()()])

Exactly :P

@HeebyJeebyMan BTW, the xnor on the wiki is broken. It gives 2 for 0, 1

@Mego Brain-flak, 54 bytes (horribly golfed): ({}[[]]{})((){[()](<{}>)}{})({()<{}>{[()](<{}>)}}{}{})

In psuedo code: push(input() + input() - 2); push(not(pop())); push(xor(pop(), pop()))

Currently one of the nominations on the "Pro tips" category doesn't fit the description of the category. Should something be done about this?

@DJMcMayhem I think that might be the intended behavior but I'll take a look

Shouldn't it be if not a: toggle b?

So 0, 1 --> 0, 0?

Well 2 is truthy by some definitions.

Yes, that's the issue. It should be falsy

if not 0: toggle 1

Oh xnor, ok

I'll look at it

Actually, that's a weird phrasing. b if a, else not b

Also -a x -a = a x a is not elligible for the best new mechanism challenge

Since proof golf is older than that

wait

but it was introduced in 2017 right?

Don't think so

the old one was tagged in 2017 right?

yes

@HeebyJeebyMan It is eligible.

> This could be a code-challenge with a defined score calculation, or a modification of an existing challenge type like code-golf, fastest-code, or king-of-the-hill

None of those were introduced in 2017.

So when it was introduced doesn't really matter IMO

Ok I guess. I still feel it is a bit fishy

Would you say you have ... the heeby jeebies?

and the pro tip is definitely explicitly not in the category

@Mr.Xcoder when it was introduced is the most important part...

You sure mean ><>y

there was no modification

The tag was first created in 2017 anyway

I created the tag because there were two challenges with that scoring mechanism.

For clarification, that's what I was going off of (the tag was created in 2017).

O yeah I forgot about the formic functions Koth. Thanks to Draco18s for nominating it and reminding me of its existence!

I will concede that the two do have different scoring mechanisms, but I'm not sure if the new one is "new".

@HeebyJeebyMan you talking about my nomination?

@HeebyJeebyMan Don't be so hard on yourself. The challenge is great, the scoring system is unqiue, we don't have to worry too much about whether it's a valid nomination (which IMO it is)

I was talking about IanGödel's

oh ok

oh yeah

> That is, candidates should be drawn from "Tips for golfing in X" questions (as opposed to specific "how do I shorten this piece of code" questions).

no that's not valid, the category is quite obvious

> (as opposed to specific "how do I shorten this piece of code" questions)

Yeah, not really suited

I don't know maybe I'm policing these too much

the goal should just be to award good stuff, maybe all good stuff doesn't fall neatly into a chategory

oh neat someone nominated an answer of mine x:

^^^

@DJMcMayhem Here is a working one, I can't find any shorter

@DJMcMayhem Turns out xor doesn't work either

heh I'd love to see reactions to a "funniest" best of PPCG category

@totallyhuman Starry Night solid color .... Moby Dick spaces ... ;-)

@AdmBorkBork imo that's not very funny...

Spot on, Mego!

CMC: given positive integer n, produce the decimal n.n and then return the numerator and the denominator of the fraction that represents the decimal (no need to be simplified) because I hate floats

so 15 would give you 15.15 which you convert to 303/20 and you return 303 and 20 (or 606 and 40, no need to be simplified)

10 would give you 10.10 = 101/10

@LeakyNun Jelly, 4 bytes: ,”.; (at least this is not a float :P)

your solution is expected to work with arbitrarily large integers (that's why I hate floats)

what should I name a function that takes a predicate and a list and returns the first element in the list that passes the predicate?

@EriktheOutgolfer return the numerator and the denominator

@LeakyNun it should be obvious that only solves the bad part of the problem :P

@totallyhuman function first_element_in_list_that_passes_the_predicate(predicate, list)

and therefore isn't a complete solution

find

@LeakyNun Brachylog, cheap ass solution, 11 bytes: l;10^₍I&j;I

@totallyhuman what_is_that_function_in_husk_that_finds_the_first_element_in_the_list_that_pas‌​ses_the_predicate

@EriktheOutgolfer it's called find also

> ḟ df find (Concrete y) => (x -> y) -> [x] -> x Return first value that gives truthy result

@Fatalize you managed to process floats in Brachylog? what's next, parsing HTML with regex?

@Mego that's wrong

@EriktheOutgolfer to be fair at no point does this program deal with floats

@Fatalize cough https://xkcd.com/37/ cough

@EriktheOutgolfer it's just "[input self-concatenation, 10^(length of input)]"

every operation there is an integer operation

@DJMcMayhem well played

well, almost, except that I'm still searching for the dash...

@DJMcMayhem No hyphen in my sentence, doesn't apply :p

@DJMcMayhem cheap solution to that issue? sure!

@Fatalize Sure, but I can still mentally wonder what exactly you mean when you talk about an "Ass solution" :P

@EriktheOutgolfer BTW I will be in Athens from the 18th to the 23rd of March. wink wink

@Mego but your input that you provided is > 9 lol

...I also just realized the function can also be an operator. non-letters are fine too

please don't suggest an emoji

@LeakyNun conclusion: alternative approaches are key

indeed

tl;dr: Imagine if I asked you to practice the worst abominations hell has ever had to offer.

@EriktheOutgolfer I don't think that's what it means lol

@LeakyNun sure, something little follows: "Behold, maths!"

btw this, in case anyone wants to see it

@EriktheOutgolfer

was reading that lol

I see

uh, one can't "see" that I'm reading a bookmarked conversation

lol