« first day (783 days earlier)      last day (1864 days later) » 

Ven
8:42 AM
⎕←(-∘1)({⍵+1}⍣{~∨/(0=3|⍵),'3'=⍕⍵}(+∘1))251
 
@Ven
254
 
Ven
Perfect. Now to golf that...
⎕←-∘1⊣{⍵+1}⍣{~∨/(0=3|⍵),'3'=⍕⍵}(+∘1)251
 
@Ven
254
 
Ven
⎕←(-∘1(g⍣{~∨/(0=3|⍵),'3'=⍕⍵}(g←+∘1)))251
 
@Ven
254
 
Ven
8:56 AM
https://codegolf.stackexchange.com/a/181792/8328
Maybe Extended should provide shorter versions of `-∘1`/`+∘1` :P.
 
@Ven It has ⍢(+∘1)
 
Ven
I don't understand
 
@Ven 1+⍣{~∨/(0=3|⍵),'3'=⍕⍵}⍢(+∘1)
 
Ven
This doesn't seem to work on TIO
Doesn't like the 1+ part
 
Ah, should be 0+ of course: Try it online!
 
@Ven Because you're giving it a left argument and no right argument. Use 1∘+⍣{~∨/(0=3|⍵),'3'=⍕⍵}⍢(+∘1) or 1+⍣{~∨/(0=3|⍵),'3'=⍕⍵}⍢(+∘1)⊢
 
Ven
And I can change that 0= to = like you said yesterday.
 
@Ven Yes, but also, why are you using ∨/a,b instead of just a∨b?
 
Ven
@Adám well, '3'=⍕⍵ will give more than a single one
 
@Ven 3∊⍕
 
Ven
9:14 AM
That doesn't seem to work.
nvm needs to be '3'
 
Ven
And here I thought I didn't do such a bad job ;-).
 
@Ven OK, this one is shorte, way cooler, and uses Extended's facilities more: 0+⍣(3(×⍤|>∊⍥⍕)⊢)⍢(1+⊢)⊢
 
Ven
Saves a byte too \o/
Why trade the jot for a tack?
 
@Ven Just style. Fun fact, if you write it as 1∘+⍣(3(×⍤|>∊⍥⍕)⊢)⍢(1∘+) then it isn't even a train just a derived function.
 
Ven
9:21 AM
wishes for a TryAplExtended to pick peices apart
Give me a bit of time (Honestly I don't even get how 0+⍣... works)
 
@Ven That doesn't occur though. It says 0+⍣cond⍢(1∘+)
 
Ven
Hah :).
 
@Ven Got it?
 
Ven
Precedence is not yet all that obvious to me.
 
Ven
9:36 AM
Now I'm sure I understand here. I know what ⍢'s ⍺⍺ ⍵⍵ ⍵ are, but 0+ is most definitely not a constant, so not its
HAH! I It's actually 0((+⍣(3(×⍤|>∊⍥⍕)⊢))⍢(1+⊢))⊢. I had been trying to put parentheses around and grasp the parsing for several minutes.
OK, I got it. (1+⊢) is also applied to 0 in DelDiaeresis: (⍵⍵ ⍺)
 
@Ven Yes, Under applies ⍺⍺ while the arguments are under the influence of ⍵⍵, then undoes the influence.
 
Ven
I understood the influence part, but didn't realize it applied on both sides.
 
@Ven Well, if you don't want it to apply to both sides, you just use
 
Ven
and so that (1+⊢)0 is also the to ⍣'s ⍺⍺, +.
 
9:57 AM
@Ven I'd rather say that modifies the 0 before even gets a chance to see it or apply + to it.
 
Ven
Well, sure -- I just didn't know ⍣'s ⍺⍺ would use ⍣'s ⍺
Is there a shorter form for (⊂⊣)⌷⊢?
 
@Ven Depends. Often you can use ⊃¨∘⊂ or ⌷¨∘⊂. In Extended, you have
@Ven Also ⌷⍨∘⊂ if swapped args are ok, or ⌷⍨∘⊂⍨ if not.
 
Ven
10:17 AM
0
A: Count without 3

VenAPL (Dyalog Unicode), 33 28 bytesSBCS -∘1(g⍣((×3|⊢)>'3'∊⍕)(g←+∘1)) Try it online! -5 thanks to @Adám. Explanation: -∘1(g⍣((×3|⊢)>'3'∊⍕)(g←+∘1)) +∘1 ⍝ curry + with 1, gives the increment function ⍝ increments the left argument so we don...

Here, wrote an explanatiion. I'm not 100% sure about the > though...
 
@Ven Nope. > means "and not"
 
Ven
How?
oh, ok. edited.
I had it the opposite way in my first one
 
@Ven 1-⍨g⍣((×3|⊢)>'3'∊⍕)∘(g←+∘1)
 
Ven
Updated+explanation, thanks.
 
@Ven Will you post the Extended too?
 
Ven
10:28 AM
I don't think I did much of that, but sure. Will write explanation in a bit.
 
@Ven It is really exactly the same.
 
 
2 hours later…
Ven
12:33 PM
OK, wrote a (length) explanation to the Explained one.
 
@Ven On its left is 3 not "3"
@Ven stringifies the output arguments before applying
@Ven Otherwise, looks great. Another bounty awaiting you (when I have the time to tend to it)
 
ngn
@Ven that seems unnecessarily complicated. in 's right operand the next number is available as - you could use that instead of the additional +∘1
without much golfing effort: {1+⍣{(~'3'∊⍕⍺)∧×3|⍺}⍵}
 
ngn
12:55 PM
this is the shortest i got so far: 1∘+⍣{('3'∊⍕⍺)<×3|⍺}
 
Ven
1:05 PM
@ngn Oh, so it is? The lb documentation for it is kinda short.
 
Ven
That's how the fixpoint example works...
So, 3(×⍤|>∊⍥⍕)⊣ in extended
@ngn Do you want to post it, or should I?
as well as 1∘+⍣(3(×⍤|>∊⍥⍕)⊣) in Extended
 
ngn
@Ven go ahead
i'm not very familiar with extended
 
Ven
Ok, thanks.
I'll rewrite the explanations later.
 
ngn
1:24 PM
shorter: 1∘+⍣{×3|⍺×~3∊⍎¨⍕⍺}
 
 
2 hours later…
Ven
3:00 PM
I'm not sure I get the ⍎¨⍕ trick
 
@Ven "evaluate each char of the string representation of the number". A fancy way to decode a number to its base 10 digits
 
Ven
3:15 PM
Ah, right, not too bd.
 
3:52 PM
The following is a little weird
⎕←1∘+⍣{×3|⍺×~3∊⍎¨⍕⍺}¨⍳20
 
@Sherlock9
2 4 4 5 7 7 8 10 10 11 14 14 14 16 16 17 19 19 20 22
 
Oh no I misread the challenge
Definitely a strange sequence though
 
 
4 hours later…
Joe
7:49 PM
@RichardPark Sure. When I run /Applications/Dyalog-16.0.app/Contents/Resources/Dyalog/mapl or dyalog in that same directory using the -server switch, I'd like to be able to know what port it is using on localhost so that I can make a connection to it to send APL to it from a non-APL process
 
ngn
@Ven i could have used '3'∊⍕⍺ instead of 3∊⍎¨⍕⍺. i was trying many different things and the latter happened to be there when i discovered this solution
 
Ven
Ah, fair enough
 
8:19 PM
⎕←{(×3|⍺)×~'3'∊⍕⍺}¨⍳200
 
@RosLuP
VALUE ERROR
 
⎕←{(×3|⍵)×~'3'∊⍕⍵}¨⍳200
 
@RosLuP
1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1
 
Ven
why ×?
 
x is and
 
Ven
8:24 PM
"and not" is > :P
 
⎕←1∘+⍣{(×3|⍺)×~3∊⍎¨⍕⍺}¨⍳20
 
@RosLuP
2 4 4 5 7 7 8 10 10 11 14 14 14 16 16 17 19 19 20 22
 
⎕←1∘+⍣{(×3|⍺)×~'3'∊⍕⍺}¨⍳20
 
@RosLuP
2 4 4 5 7 7 8 10 10 11 14 14 14 16 16 17 19 19 20 22
 
⎕←0∘+⍣{(×3|⍺)×~'3'∊⍕⍺}¨⍳20
 
8:36 PM
@RosLuP

Rebuilding user command cache... done

Real time: 60.003 s
User time: 0.007 s
Sys. time: 0.008 s
CPU share: 0.02 %
Exit code: 124
 
⎕←0 1 2 3
 
@RosLuP
0 1 2 3
 

« first day (783 days earlier)      last day (1864 days later) »