« first day (4164 days earlier)      last day (976 days later) » 

00:13
@AidenChow yeah, each two steps removes at least two elements
@Neil ok thanks!
00:42
@lyxal nice 1:2
@lyxal when i saw this i instantly thought of the chinese character 人 lol
I was wondering how long it'd take for comparisons to unicode characters lol
i have done nothing but compare unicode characters for three days
att
att
00:55
@AidenChow what about lambda?
@lyxal this implies that lyxal is one of those seagulls with only one foot
sandbox time
does anyone know who did the icon for the sandbox bot
(the sandbot)
att
att
@chunes "Wolfram Language" being noticeably higher than "Mathematica" supports that, since answers using TIO would be under that name instead
Wolfram Language (Mathematica) would be parsed as Wolfram Language, yeah
@RadvylfPrograms encountered this yesterday :P
01:11
@AidenChow Lies! That's the Japanese character 人!
No, that must be Korean jamo ㅅ :P
Nah, it’s obviously whatever this is:
Or the logic symbol for AND: ∧
@DLosc there's no label-- works over choice points and has no special relationship with constraint logic
@Seggan absolutely; it's very useful in and of itself, doubles as and over a list of booleans, and isn't necessarily the same as reduce by multiplication depending on how your reduce handles empty lists (product of an empty list should be 1)
att
att
01:30
@forest I think you mean it's the hanja character 人
To be precise, that's one of the characters common to CJK (Chinese simplified/traditional, Japanese kanji, Korean hanja)
it would be hilarious if it occupies four different codepoints in unicode
I don't think it does.
@UnrelatedString Doubles as and over a list of anything
But I wouldn't put that past the Unicode Consortium.
i certainly hope they don't, it'd be such a waste of space to have every chinese and japanese character separate when there's at least a few thousand overlapping (i think) :P
01:39
though there's a homoglyph in U+3xxx block and I have absolutely no idea what it is for
2xxx one is in the collection of "roots" of chinese characters
That's very... err... selective? list of chars I guess lol
att
att
01:55
looks like they were used for annotating chinese for japanese reading
02:08
@UnrelatedString I use Minimum to and over a list of unsigned booleans
02:31
@UnrelatedString "all" of empty list of boolean is true anyway
and yeah, reduction by min is another good candidate (and it is what K does: min = boolean and)
my school assignment: pront n terms of this sequence
mt brain: look the sequence on OEIS
@lyxal C4H10?
Yallve missed the fact that it was supposed to be stick figure legs
02:48
posted on June 24, 2022 by Razetime‭

Challenge Given an array in any suitable format, create a frequency table for it. i.e: Pair each unique element with the number of times it appears in the array. You can return...

We surely need a unicode block dedicated to figures from parts of xkcd
We need a Unicode block dedicated to single width characters for code golf :p
03:30
dude when i type in a backslash into GeoGebra it works, but when i go and paste in a backslash, it doesnt work, so annoying cuz im writing geogebra code that use backslash and now idk if my answer is valid anymore cuz the backslashes arent pasting in correctly
@lyxal o_o
@lyxal just use iosevka fixed
@Bubbler we definitely need that
04:00
@AidenChow when in doubt, add more backslashes. this is a thing that will make this problem better and not worse
@des54321 nope, made it worse
already tried that lol
04:30
discord down again?
doesnt seem so
now it's back for me
0
Q: Can `a?b<c:b>c` be shortened in characters?

Julian WagnerSo I have the situation where I have one boolean value a and if that one is true and b<c I want it to end up as true, if a is false and b>c I want it to resolve as true as well. If b=c I want it to me always false, no matter the value b and c are both numbers. My best approach so far is a?b<c:b>c...

 
2 hours later…
07:18
All I can say is ouch
 
1 hour later…
08:22
@lyxal calculating step goal
@AviFS around 6k i think
wait, now i'm genuinely curious
what kind of goal is 6,013.4796, and way more sig figs
It's a flat 6k
Just 6000
No decimals
wait, yeah i just realized
it's just the rounding
318% would be <6000
and 319% would be >6000
did the LYAL ever happen?
08:26
@AviFS no
@lyxal also, hi!!!
@AidenChow this is such sadness; me no no understand
is this the first one that gets skipped?
@lyxal but 19183/6000 = 3.1971666..., it always round down?
@AidenChow oh interesting, yeah i guess it truncates
not too uncommon, actually
but i'm not sure if there's a good reason they sometimes do that
is it just lazy coding?
@AviFS hello there!
Notice anything different?
@lyxal hello hello hello!
@lyxal you're room owner now, right?!
08:30
Correctamundo :p
Also I got some more data on the potential rounding method
this is 'mazingful
congrats!!
make me one too
21039 is apparently 350% of 6000
god damn
i give up on you se chat markup
i leave for two seconds and i already can't remember the wack markup
Looks like Samsung truncates to 2 decimal places
@lyxal yeah probably truncated tbh
08:33
is there a good reason some software truncates?
or is it just lazy coding
21079 is 351% of 6k
So says Samsung
@AviFS idk, maybe its easier to implement truncating on whatever coding lang they are using?
or whatever they use to make the thing
The language is Java btw
Because this is Android + WearOS3
sounds like integer division
09:05
0
Q: Check a mushroom forrest

Wheat WizardIn this challenge you will receive a list of pairs of non-negative integers representing a mushroom forest. Each pair represents a mushroom whose center is at that horizontal coordinate. The only part of the mushroom we care about is the cap (the flat bit at the top). The first integer in each p...

 
2 hours later…
10:43
hi all
I posed this question recently codegolf.stackexchange.com/questions/247970/…
but now I am wondering if any library has it built in. Does anyone know?
11:12
I have not encountered one.
is it the same as en.wikipedia.org/wiki/Dirichlet-multinomial_distribution ? My math isn't quite good enough to tell
and... could you just roll 100 n-sided dice and count how many of each value you get?
that seems golfable if it is right
11:36
0
A: Sandbox for Proposed Challenges

pajonkWhat is the R version? It's Peanuts! code-golfrstring This challenge will be based on an R language trivia: every release is named and it's a reference to Peanuts comic strips (see here and here). Your task will be, given a release name, output it's number. For reference, use the below list: Gre...

11:56
CMC: output the lengths of the prefixes of x which are also suffixes of x. example: [1, 2, 3, 1, 2, 3, 1, 2] => [2, 5, 8]
Vyxal, 7 bytes: ₌KÞK↔vL
TIL how to make commit suggestions for PRs for the first time
12:33
well how do you do it
```suggestion
suggested change
```
there's a button for it you know
12:49
also TIL'd at the same time
multi track TILing
what are you suggesting changes on
13:47
had a challenge idea, not sure what to look up to see if its a dupe :P
given a list of integers, find out if there exists a pair of equal integers separated by n elements for all of 0<n<length-1
@thejonymyster +1
im having trouble finding nontrivial examples :P
theres plenty with lists that arent just one integer repeated the entire length
e.g. [1, 1, 2, 1, 1] works
but i haven't found one yet that uses more than one number
i am doing it by hand though :P
another way to phrase the challenge: does the input list contain substrings of each length (up to the input length) such that the first element = the last element
(or phrased like that but better)
@thejonymyster do you mean 0<n≤length-1?
14:09
uhhh fenceposting
ill write it clearer in an actual challenge
srry im like at work :P
honestly, i might go for the substring definition or whatever
since i think it handles the length issue better? idk i'll be so so so careful and sandbox it a million times til its clear
Using the 2022 Stack Overflow dev survey, I've estimated which languages are most worth learning, based on how much they'll be used in the future: gist.github.com/Radvylf/a5feacf0d70bf3bb7e4d5487060def0f
The top five are: Rust, TypeScript, Python, Go, and JavaScript
i am currently trying to learn rust
> Scala 4.26
:(
> APL 1.25
Even bigger :(
> Crystal 0.93
@lyxal @user you see that :P
14:20
@thejonymyster maybe check out langford sequences or skolem sequences
Scala is surprisingly dreaded (50%), and doesn't have a large existing userbase to counter that like Java or JS
@lyxal lets write v3 in rust :P
@PyGamer0 haha no
Not a bad idea
@RadvylfPrograms probably because of the = after function definitions
idea: flax v3 in rust
14:22
@RadvylfPrograms you kidding? It's horrible. We've already started with Scala, so it'd be pointless switching to rust now
This of course doesn't take into account things other than language's expected growth; you might actually be looking to learn the opposite, a language that's somewhat niche or pays well since experienced devs are rare
@RadvylfPrograms Oof
@lyxal Ah, didn't realize y'all had already started
@RadvylfPrograms apl
14:23
@RadvylfPrograms 7 months ago
Oh wow I'm really behind on Vyxal news lol
@lyxal I mean, we could write it in Rust, since it compiles to WASM. We haven't even made that much progress in the Scala version
Does Scala compile to WASM? Offline web-based interpreters are really neat.
yeah rust also compiles to wasm
@RadvylfPrograms yes
14:23
i think
@RadvylfPrograms I may be biased but I've seen a lot of articles saying Scala has "arcane syntax" and a "steep learning curve," so people who don't know Scala may dread it a lot
The "dreaded" category is for people who already use Scala regularly but don't plan to in the future
Ah okay
@user but I kinda want to learn/use Scala because it looks neat and doesn't require 12 hours per PR to focus on compiler correctness
Scala is not as loved as I thought then lol
@lyxal lol yeah
14:25
Loved = Used it regularly and want to continue to do so
Dreaded = Used it regularly and don't want to
Wanted = Didn't use it regularly and want to

Not great naming
@user besides, Vyxal requires a bit of loose typing for overloads and other kinda wack stuff it does. Rust might not like some of the things we need to do
@RadvylfPrograms bruh what is that naming
@RadvylfPrograms I don't think so. It compiles to JS and to native code though
@user Could be people just moving away from the JVM or having to use it for work. If you absolutely love a language but don't want to use it regularly next year that still gets counted as you "dreading" it
Huh, odd
14:27
for example, I love APL but wouldn't want to use it next year. That doesn't mean I don't want to use it eventually
hm yeah true
It's possible Scala 3 is also driving people away. They added optional significant indentation which is pretty controversial and also haven't added macro annotations like in Scala 2
Yeah, that's part of the issue with using those stats to estimate language's growth. I'm going to try to use the past years' surveys to include an "acceleration" component too, which will maybe be more accurate
Ooh
and I'm not a betting man, but I don't reckon Solidity is a long-term good skill investment
14:28
@RadvylfPrograms that would be good
rust would come first anyways :P
I'm surprised Ruby is so far down (loved: 49.99%). I thought it was a fairly popular language, at least within its user base
yesterday, by PyGamer0
> Rust is on its seventh year as the most loved language with 87% of developers saying they want to continue using it.
@RadvylfPrograms do you know of Jyxal/Myxal (our JVM ports of version 2) and Symvy (our attempt at making a CAS transpiler of sorts because frick sympy)? Because those are the only other things you'd have missed news wise
Sometimes I feel like there's a conspiracy to promote Rust lol
14:33
@user sock companies are behind the aggressive advertisement of Rust :p
lmao
The most loved framework/library is Hugging Face Transformers and it's no wonder why :P
yeah, it's hosted stuff like DALL-E Mini (or craiyon, I should say).
1.38% of professional developers who responded don't use version control. wtf
wha-
how the fricko do they program
14:37
Google drive obviously
Google Drive 🧠
Dang it, ninja'd
hehe
I was looking for the right emoji, I would totally have sent it first otherwise
that's what you get for using emoji
I was looking for one where the person is tapping their head but this isn't Discord :(
14:38
the only acceptable emoji is 🗿
because reddit.
This ain't Reddit
this is even better
it ain't instagram either
this is se chat
And on SE chat, anything goes
14:39
wrong
is there a standard loophole for this?
> And on SE chat, anything goes wrong
@RadvylfPrograms i wonder is theres raw data for the surveys somewhere online
There is yeah
@PyGamer0 Probably the same way I do but...at a job lol
@lyxal ehhh I wouldn't call Myxal a port anymore
its more of a flavor
14:43
@RadvylfPrograms now that's a scary thought :p
Hey :p
@NewPosts I think I might have a polynomial time solution to this
I saw a cheap joke opportunity and I took it what else can I say? :p
ow my eyes
Strict about what...
14:44
Best quote out of context ever
(the context is lazy vs strict evaluation)
If you can find any content where "Python is too fast" or "Java is too concise" fits, I'll give you a bounty :p
Dah frick why are my function names generated dynamically using time.time() all the same? Oh. It's because python is too fast lol
@user what
@lyxal legitimate context btw, actually happened with vyxal function transpilation back in the earlier versions
WHAT
oh sweet baby jesus
we have uuid4 for a reason!
14:48
Well if you can't manage to send data via reasonable methods why should I be expected to dynamically generate names in a sensible way? :p
???????
That time you were sending redwolf something and eventually ended up using a 10 minute email
okay but I don't understand how my ineptitude became an excuse for your ineptitude
(unless you're my sock of course)
Everybody gets one ineptitude point (IP) per day, but a bonus 0.1 IP when someone in your party uses one of theirs.
@Ginger I'm saying you ain't exactly one to tell me to do things sensibly :p
14:52
so? I will be as hypocritical as I want
Also I was hoping I could optimize the Jelly compressor I'm working on by making it not bother checking the dictionary for things longer than the longest word in it, but that word is Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch so not a very useful optimization :|
tell me has that ever been used
Yes
In a tom scott video
sorry when did Tom Scott use Jelly
Oh you mean the optimiser
I thought you meant the word Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch
14:54
It might actually be useful in some golfing contexts where you want a long string in a string literal
has anyone ever used Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch jelly dict compression in a CGSE answer
looking through my old code and I found this gem:
> print("Ignore the criticals, they're normal.")
2
: |
32
A: Print some JSON

DennisJelly, 11 bytes “Ɠɼ'ẸẠḌȷżÑ» Try it online! Output {"Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch":0}

@Ginger so it would seem
oh, of course
SO changed its upvote/downvote buttons?!
excuse me what the fuck
I am now 100% convinced that SE wants everyone to be maximally angry at its UI
14:58
1
Q: Updated button styling for vote arrows: currently in A/B testing

Cesar MThis experiment is now live! You may start seeing the new updated visuals on vote arrows. The experiment will run for about two weeks (or until we've collected enough data). This week, we're rolling out a test to update the appearance of voting arrows for both questions and answers, which will b...

Haha suckers in the group that has them
just stop messing with the damn UI it's good enough as is
Also I don't see why they're exactly "new" - they've been like that on the SE app for ages
why are you using the app
For push notifications
Other than that I don't
oh ok
good
15:02
I have it saved as a raw apk in google drive somewhere because it's not available from google play anymore lol
todo: make a new one /s
@cairdcoinheringaahing do you still have the SE app? I know you were someone else who used it
Yeah, I still use it
Cool cool
Mainly for browsing the HNQ, and getting push notifications
15:06
@Ginger eternal universal mood
@lyxal wait i thought that was never finished?
hey did you know that any and all GTK+ applications have a debugger built in?
or am i thinking of the dedicated CGCC app
simply run gsettings set org.gtk.Settings.Debug enable-inspector-keybinding true in a terminal and then you can use the keybind Ctrl-Shift-D in any GTK+ application to launch the debugger!
Cool
15:15
very useful when debugging programs
Can you view variables and stuff?
@UnrelatedString Aha, thanks.
you can edit the properties of any widget in the application
it's not a code debugger sadly, more like an F12 inspector for desktop apps
still super useful tho
15:54
idea: this challenge but with both inputs being infinite lists :P
16:29
#riplgtm
use "looks good bro top quality iq amazing +1"
6
17:04
fn collatz(n: mut i32) -> Vec<i32> {
    let mut res: Vec<i32> = vec![n];
    while n > 1 {
        if n % 2 == 0 {
            n = n/2;
        } else {
            n = 1 + 3*n;
        }
        res.push(n);
    }
    res
}

fn main() {
    let mut n = 3;
    println!("{:?}", collatz(n));
}
tried rusting... didnt work
17:25
I can't read
 
4 hours later…
21:26
Wait hold up why are words like "is" and "so" not in the Jelly dictionary
Seems like those would add a lot of golfiness
Two characters is always shorter than a dictionary word, but not if you get the leading space free which you often need anyway
I'd imagine that sentences generally don't come up in compression challenges a lot
Neither do words like "abets" or "juror" that are in the short dictionary
Common english words would still come up more often than really uncommon ones, so even if they're only needed rarely it's better than not having them
Fictional compression is hard
*Dictionary
It may be that compressing it using the standard ascii character compression comes out to be shorter
Seems like a lot of really common words are missing. Must be a problem with the dictionary used.
21:32
in Fig's case, chars can also have a space before them
so i removed all 1 and 2 letter words
@cairdcoinheringaahing it takes about 24 bits to encode three characters individually, but only around 17 for a word
And it's not even just "all 2 letter words have been removed" or something like that, because there's plenty of uncommon 2 letter words and abbreviations, but also some longer words like "not" missing
 
1 hour later…
22:51
@emanresuA Hmm, golflang with Elvish dictionary compression when?
23:08
“1234» decompresses to "Imladris"
FWIW, “µZœ¡€Ȧdƥ» is Imladris compressed :P
"compressed"
@UnrelatedString Well, it's not longer :P
23:58
@DLosc Don't make me hungry

« first day (4164 days earlier)      last day (976 days later) »