« first day (819 days earlier)      last day (445 days later) » 

11:38 AM
@Dennis I've observed something (bug?)
Ṛµ>2µÐf<5µÐḟ
if I put a µ after the Ðf it behaves as I would expect it to
grrrr, explaining œị is hard
 
12:42 PM
@EriktheOutgolfer That is expected behavior. The new chain started by the second µ is consumed by Ðf, so it behaves as if you never started a new chain in the first place.
Your snippet is internally equivalent to Ṛµ>2$Ðfµ<5$Ðḟ.
 
uh, isn't that what the second link does?
the first link seems to return something completely irrelevant to that
ah, link == TIO link
(eleven must be nice)
 
Yes, I was talking about the TIO link that works as intended.
I don't think it has been 2 minutes already. ;)
 
yes it was way more than 2'30'' :P
@Dennis also, your edited code is still what the second TIO link does, but not the first...
 
Chat history doesn't seem to log seconds, so we'll never know.
It's just missing the corresponding µ, so the first one is equivalent to Ṛµ>2$Ðf<5µÐḟ.
 
but, as you can see, the first µ still has the effect of starting a new monadic chain
 
12:57 PM
The first µ does. The chain started by the second µ gets popped by .
 
oh so quicks have that special behavior on purpose, in general?
 
Actually, the chain started by the first µ gets popped by , and the second µ restarts it. But for practical purposes, it's easier to pretend ^^.
@EriktheOutgolfer Let's say it's a natural consequence of the stack-based parser.
But I don't consider it a bug.
 
1 hour ago, by Erik the Outgolfer
which brings me back to this
shouldn't the chain started by the second µ be popped by the Ðḟ?
 
No. After the second µ, the program looks like this. ((Ṛ)(>2)())
After the following Ðf, it looks like this. ((Ṛ)((>2)Ðf))
After <5, like this. ((Ṛ)((>2)Ðf<5))
The Ðf consumed the second chain and put it in the third one. Subsequent atoms keep appending to that chain.
 
hm
@Dennis so, at the end, it should look like ((Ṛ)(((>2)Ðf<5)Ðḟ)), right?
 
1:18 PM
Yes, which is why Ðḟ applies to all of ((>2)Ðf<5).
 
and are a bit broken, yes.
 
2:02 PM
Oh I only found the JHT and thought that was all ... Thank you for showing me here.
 
EriktheOutgolfer sometimes forget about JHT. (so request for access doesn't always work)
 
@user202729 Oh, so that's the issue? I'll try that when my electricity comes back.
 
I'm sorry
(power surges happen often here, I can see your trouble)
@user202729 the issue is with chat, I don't get notified about access requests, so if a request is delayed for too long one may ping me over TNB, although I don't think that was what Weijun Zhou meant
 
Usually during thunderstorms, which are quite frequent in summer.
 
(that's what I did, but the problem is I didn't know what TNB was at that time)
 
2:08 PM
also, back then there were 2 active ROs there, now it looks like I'm left alone :P
@Dennis summer as in Jun-Aug or as in Dec-Feb?
 
@user202729 That would mae it return a str, which is a type Jelly isn't supposed to have (except for characters). I need ['['] + [']'] on the next line.
 
@Dennis But ... this has listify anyway.
 
@EriktheOutgolfer Southern hemisphere summer.
 
I am wondering how Jelly eliminates the need the need for parentheses. It doesn't look like fully prefix or postfix to me ...
 
Because you never need it while programming.
Yes, it's tacit. But the operators are postfix.
 
2:10 PM
It's tacit infix, with a postfix parser.
 
Most of the times the ¤$¥ will help.
 
@user202729 Ah, didn't see that. It's hard to see the whole picture on your phone. :P
 
¤$¥ don't appear very often. Many answers in PPCG in Jelly only contain a link, but thank you for your explanation.
and @EriktheOutgolfer You are right. I meant that I thought JHT was the only chatroom for Jelly ...
 
Because most of the time you don't need them.
Ok, I think I can read the source code myself. No problem. Sorry for the multiple (removed).
 
Never mind, I saw them anyway :)
 
2:20 PM
As nilad are not necessary constant, should leading constant chain be renamed to leading nilad chain?
 
 
2 hours later…
4:20 PM
@user202729 That seems to fix most of uneval's weirdness, if not all of it. Thanks!
 
Looks good now.
 
 
2 hours later…
6:00 PM
The large amount of helper links in Jelly answers annoyed me, so I've implemented Ɗ and ɗ (drei, three), and Ʋ and ʋ(vier, four) and 3-link and 4-link versions of $ and ¥.
Example in action:
3
A: Sort by shuffling blocks

DennisJelly, 17 bytes Ṣ€ṢF ŒṖÇÐṂ+Z$€L€Ṃ Try it online! Alternate version, 15 bytes, postdates challenge In the latest version, Ɗ combines three links into a monadic chain. This allows the following golf. ŒṖṢ€ṢFƊÐṂ+ZLƊ€Ṃ Try it online! How it works Ṣ€ṢF Helper link. Argument: P (parti...

 
6:18 PM
That’s absolutely amazing! I am sure all of us wanted those for ages.
 
6:42 PM
@Dennis the inability to get immediately notified about Jelly updated always annoyed me ;)
 
6:57 PM
on an unrelated note, I'd suggest a huge update as to how the drei/vier quicks work
for example, one can reduce +1$Ṛ$ to +1Ṛ$ since 1Ṛ is a LCC, and one should've used +1Ṛ¤ instead if they wanted that behavior, so $ pops another link, making the chain +1Ṛ
however, +1ṚƊ now does the same job as +1Ṛ$, which seems kinda redundant to me
so I suggest that if ¤/$/¥ can do the same job in place of Ɗ/Ʋ/ɗ/ʋ for a specific case, the drei/vier quicks would pop another link and try again
 
@Dennis That's awesome! That seems super useful
 
7:30 PM
@EriktheOutgolfer Hm, so I'd essentially subtract the leading constants from the length of the chain. That sounds like a good idea.
 
for example, +1ṚZƲ does the same thing is +1ṚZƊ, so why shouldn't the former take another link instead?
"subtract the leading constants" doesn't really get the point across, in the final chain there are no "leading constants"
 
8:01 PM
Subtract the leading constants in addition to the checks that are already performed.
 
 
3 hours later…

« first day (819 days earlier)      last day (445 days later) »