« first day (4183 days earlier)      last day (957 days later) » 
00:00 - 15:0015:00 - 00:00

15:00
what's a monotonic filter? as in, the instant an item fails the filter, you stop?
I infinite list is more of a generator than a list
"take while"
@pxeger No, as in the order is consistent. Either increasing or decreasing.
Wait no
That only works with find
Wait no
That only works with find a specific item
frick
If you want to filter the infinite list of positive integers (which is known-infinite) for primes, then the language has to prove whether or not there are infinitely many primes
and proving arbitrary properties like that is undecideable
15:01
@pxeger what does "known-finite" mean in this context?
No, you just return an infinite list
But what if it isn't infinite
3 mins ago, by NoHaxJustRadvylf
Not necessarily, if your language only supports known-finite or known-infinite lists
And you might run out of items, in which case it just loops forever
oh I see what you mean now
15:02
@pxeger Is "known-finite" a typo there?
@pxeger yeah but shouldnt it be "known-infinite"
@NoHaxJustRadvylf yes
@NoHaxJustRadvylf but then you couldn't get the last element of a list which you know is finite, but the language doesn't
unless you make the "last element" function stop when it encounters duplicate items
That's how it always works, right?
Well, unless you make the generator special case what you know is the end, but that's not very golfy
hmm yes that's true
The main use case for infinite lists in golfing languages, as far as I can tell, is mostly just as a shorthand for "iterate over the positive integers/primes/... until you find something matching this condition"
15:04
They're especially useful for recursive definitions
Haskell's infinite list support is great
so assuming you can special case "last item of infinite list", what should it do? :P
2 mins ago, by pxeger
unless you make the "last element" function stop when it encounters duplicate items
?
oh im dumb right
misread that when i first saw it
although that still might never halt
Halting is overrated
15:16
maybe return a generator for "if not duplicate, 0, else, 1 and stop"
and thus kick the can further down the line :P
though its not very golfy
@lyxal more like diafrick
@Seggan dirac?
15:45
Proof that Jelly is TC when everything is dyadic: FRACTAN interpreter
Pretty cool that it's only 2 bytes longer than the normal version :P
15:59
@Seggan it has commands to manually alloc/free memory
M< and M>
also i have been thinking about a stack based language
it should be implemented in rust
and should have single byte commands
(with diagraphs)
its ascii only
(maybe using ⅞ encoding for golfing)
it will have good array support, it will be
like factor
and i might transpile flax to ^ :P
well, if y'all are interested in trying out langs, I actually have a functional online interpreter now. the wiki links to a list of operators
16:15
@Steffan i think C should be binomial coefficient (as in nCr)
and concat might be ,
16:27
@Steffan what's the idea behind the name :-)
16:51
@thejonymyster idk, just couldn't think of anything lol
@PyGamer0 I would make binomial c, but that's a digraph char. I don't think concat should be ,, I'll probably use that for either print or something else
I might change pair to be , instead of ; and concat be ;, though.
17:06
Actually, it would be easier to keep concat as C, but use Ċ or ċ or Ç for binomial
ultimate tic tac toe koth where you dont know the state of the rest of the board, only the current active mini board
yess
@thejonymyster Nah, blind ultimate tic tac toe. You only know the contents of the 4 squares directly adjacent to the last square you placed in
that would be even better
Makes me also think about "blind" chess: each piece can only see the squares they can move to
17:10
113
Q: Totally Blind Chess

feersumIn this challenge, you play chess without seeing any of your opponent's pieces or moves. Or your own pieces. Or whether your own moves succeeded. You send only a stream of moves, with no feedback. If your move is legal (when it is your turn) it will be played, otherwise it is silently discarded. ...

That's not quite the same, but is still interesting
@Zionmyceliaadamancy ive seen that named as fog of war chess
17:47
@Steffan it kinda looks like you stole _, c, #, G, from Fig lol
@Zionmyceliaadamancy I distinctly remember trying and failing to talk some sense into you :þ
@Seggan I did steal G, but not the rest.
 
2 hours later…
19:30
LDQ: useful string operations?
all array operations should work on strings, of course
and most string operations (e.g. replace, find substring, ...) should work on arrays
maybe i should remove multi char strings completely :D
if you're looking for ones that are specific to strings: case transforms, check is digit, is alphabetic etc.
19:34
yeah i meant those
att
att
split by delimiter
split by delimiter is good as a general array operation but having specialized versions for some common string delimiters isn't a bad idea
pad with spaces?
although again padding with an arbitrary value is useful on arrays in general
could also have a pad operation that chooses either spaces or zeroes depending on what's in the array already
or depending on the actual type of the array if you feel like doing that
also what do yall think of what i call composite types: types that are fundamentally a mix of the lang types but have operations on them. e.x. a vector being a list of 2 nums, but having vector operations in the lang
att
att
19:42
one thing about some of mathematica's string operations that annoys me is that they treat length 1 strings differently, since they're used to represent characters
@Seggan ig in a way jelly has that for strings but im generalizing it
att
att
so if you dont distinguish you might have to deal with choosing between character vs character-array operations
in the case of vectors i feel like you just want to have vector operations work on arbitrary arrays
so like arbitrary dimensional vectors?
@att my strings are strings
att
att
I mean, convenient for character operations vs consistency
so for example in mathematica `LetterNumber@"a"` = `1` but `LetterNumber@"aa"` = `{1,1}`
it's nice for operating on a character, but it's inconsistent when operating on strings (if length 1)
20:30
@Seggan make rectangular?
either by making into a 2d array or inserting newlines or whatever
and then i guess itd to the inverse if there were newlines, removing them? :P
20:43
LDQ: Is nilad-dyad grouping a good idea?
As in +4 is considered one "unit"?
Pretty much, so vectorising/modifying that treats it as one atom
@Zionmyceliaadamancy Or, 4+, since it's sorta stack-based
@emanresuA The only time where not grouping it could be a downside is if you have "quicks" that have different behaviour for dyads vs monads. E.g. in Jelly, +4$¡ is different to +¡4
21:07
My quicks are prefix so it should be fine
21:19
where does the term quick come from
Jelly's the only language I know of that uses it
Not sure why they're called that
LDQ: Do bitwise operations need to be one byte?
Other langs have other names for them
@Steffan I'd say no, if you have digraphs put them there
that's what I thought
21:23
@Steffan xor, yes. The other two, probably not
two?
there's also shift left and shift right
and not
@emanresuA What's the language you're making? Halfwit 2?
Those can also be digraphs
@tybocopperkettle Yes, sort of
21:27
@Steffan yes
in Jelly, Feb 5, 2016 at 5:10, by Dennis
Jelly just got a new type of modifier: the quick. Quicks are different from all previous types, since they can combine a variable number of links into a single link. I will gradually replace all other modifiers with quicks.
First time Dennis uses the word "quick", and doesn't give any reason behind the word :P
in Jelly, Mar 11, 2018 at 15:35, by Dennis
^ quicklink
It's a pun, goddammit ಠ_ಠ
Lol
Although this pales in comparison to Perhaps' "tissues", "muscles" and "nerves"
Wait what lol
What do those refer to in Perhaps
21:40
Various combinations of links
Actually I think one of them is a term for link
o I just found lyxal's real name
It's not hard to find
In fact, I believe it's public info on meta
Huh
Most of us found out from the lyxtures, I believe
IIRC Lyxal doesn't want their name to be especially public
21:51
@Zionmyceliaadamancy yeah thats where i found it
I suspect some of you know my real name :P
@NoHaxJustRadvylf dw im not planning to reveal it
You can find a lot of users' real names in that answer tbh
@Zionmyceliaadamancy ???
Is this the contributions to mathematics one?
43
A: What contributions has PPCG made to the fields of math or computer science?

Martin EnderContributions to OEIS Please edit all OEIS-only contributions into this post, instead of posting a separate answer for each. If there's a larger result that also led to an OEIS contribution (like a novel algorithm that allowed computation of more terms), feel free to post it separately, though. ...

Are there any dates dd/mm such that dd, mm, ddmm and mmdd are all prime? Optionally, no leading zero for m?
22:00
3/7, 7/3, 3/11, 11/3, 17/3, 19/7, 31/3, 23/11
With leading zeroes... one moment
The total list (without leading zeros) is 3/7, 3/11, 7/3, 11/3, 13/7, 17/3, 17/11, 19/7, 23/3, 29/3, 31/3, 31/7
Huh, my program must have missed some
@Zionmyceliaadamancy 731, among others, isn't prime
Oh right, is not V
Yeah, I get 3/7, 3/11, 7/3, 11/3, 17/3, 19/7, 23/11, 31/3
22:38
Potential feature for Regenerate: a way to match part of the string multiple times, roughly analogous to lookaheads in regex.
That could be cool
Character classes would also be nice
Potential feature #2: multiple "stages," such that at the end of a stage, the match is reset to empty and the capture groups' contents ($1, $2 and so forth) become the new stage's inputs ($~1, $~2 and so forth).
Combining both of those features would allow solving some problems that are currently unsolvable in Regenerate; for example, it's currently not possible to match a substring of an input.
@emanresuA True, some stuff like \d would be easy to add.
CMC: output the following exactly (yes i typed it by hand)
1234567890
2468024680
3692581470
4826048260
5050505050
6284062840
7418529630
8642086420
9876543210
0000000000
multiplication table mod 10?
this looks like itd be fun in pip
4 if we can output it as a 10x10 matrix, instead of that specific format
23:10
isnt mod 10 just the last digit?
att
att
yes
@thejonymyster Dew it :)
@LeakyNun What's interesting is that if you take off the 0's, this is a palindrome.
att
att
a*b=(-a)*(-b)
Oof, this costs a lot of extra bytes in BQN
11 bytes as a 2D array of numbers: 10|×⌜˜1+↕10
15 as a 2D character array: '0'+10|×⌜˜1+↕10
20 to print to stdout: •Out˘'0'+10|×⌜˜1+↕10
Oh, actually, 1-byte golf: replace 1+ with «
att
att
works too
23:25
Ah, due to the symmetry again. Nice.
well i managed to print all of those digits in order
not quite a rectangle though lol
One of my big problems when golfing is that I get too stuck on implementing the challenge as described, rather than looking for other approaches that can give the same output.
@thejonymyster If you don't mind flags, I suspect the -l flag might help
(assuming you're talking about Pip)
yeah
how to flags on tio? or is there a better interpreter
On TIO, add an Argument and enter -l
didnt do anything
you may be assuming i have a smarter idea here :P
ill keep cracking at it
23:28
@thejonymyster Maybe :)
i'm trying the like, naive approach first lol
Not a bad place to start
where can i read up on "iterables" in pip?
perhaps im just wrong but a<>t seems potentially promising :think:
nvm i didnt see the search bar
@thejonymyster I guess there's not any documentation specifically focused around iterables per se. It's really just an umbrella term that covers Scalars, Lists, and Ranges.
@DLosc official remark: the header on the pip docs should be sticky i.e. follow you as you scroll
att
att
23:34
mathematica, 32: [`Print@@Mod[r#,10]&/@(r=Range@10)`](https://tio.run/##y00syUjNTSzJTE78/z@gKDOvxMHBNz8lukhZx9AgVk3fQaPINigxLz3VwdBA8/9/AA)
boring but i don't think it gets any better
Markdown doesn't work for multiline messages
@thejonymyster Noted; however, I don't really know how the theme works, so I don't think there's much I can do about that.
@thejonymyster You can use DSO although it's a bit buggy - dso.surge.sh/#pip
att
att
@Zionmyceliaadamancy bleh
more you learn
23:36
(There's probably a way to combine the two loops into one and save bytes, but I'm too lazy and I need to head home now anyway)
@emanresuA Less buggy than ATO at the moment. ;P Also, @thejonymyster, the big advantage of DSO (or ATO once it gets fixed) is that it's got an up-to-date version of Pip. TIO's version is 4 years old.
oh yeah lol
apparently whatever i was trying was incompatible so im startinf from stratch
ok lol i forgot about the whole number string duality thing
Fit{Pi} prints 1\n0\n
23:54
@LeakyNun 11 bytes in Charcoal due to unnecessary use of 1-indexing in question
@Zionmyceliaadamancy you can thank the OEIS for that :p
@NoHaxJustRadvylf is true
Like obviously it's right there on the meta post, but it's not something you go announcing loudly lol
@lyxal I didn't want to announce this, but I might as well: my name is Bill Gates, and I'm the founder of Microsoft. I know, big surprise, but it's true
Now, if you could all send me $500, MS is struggling rn, I'd be super happy to give you all free laptops :P
00:00 - 15:0015:00 - 00:00

« first day (4183 days earlier)      last day (957 days later) »