« first day (5095 days earlier)      last day (42 days later) » 

00:05
I believe the mega-challenge is asking about all well-orderings of the set of words, but I don't really know how to approach it
00:16
I guess it's the same as the cardinality of well-orderings of N
and now I see why it's a CMegaC
and this is getting into the bits of set theory that I haven't studied yet
01:16
Spoiler the CMegaC is equivalent to the continuum hypothesis.
01:31
Is it really? It seems like the set of orderings in question is a subset of the set of all binary relations over the set of words, which obviously has the same cardinality as the reals.
And we already proved there are at least as many orderings as reals in the CMiniC, so we're done.
Maybe I misunderstood the question
The number of countable well orderings is the definition of aleph_1.
So we're only considering 2 orderings to be different if they have different order types?
Yeah, I suppose that is missing from the statement.
Well I guess I flubbed that joke.
 
4 hours later…
05:33
No, you did it on purpose.
@DLosc ooooooh nice
@rydwolf yeah, it's bijective b26
06:36
@ATaco js 86
 
8 hours later…
14:50
rant of the day goes to the ssh landscape on windows
for some reason the puTTY folks decided on their own special boy format for keys, and they aren't compatible with openssh
Easy enough to convert back and forth at least
of course, nowadays powershell ships openssh, so you'd think you can simply use ssh-keygen and ssh-add, but it turns out ssh-agent needs a windows service to be enable to run and that service is disabled by default group policies (which is relevant because i don't control group policy but need users to have an agent), so you can use the putty agent but of course it needs a key in the putty format because it's a special little boy, and also for some fucking reason
cont'd powershell doesn't ship ssh-copy-id because of course
my procedure to generate, copy to remote and add keys to the agent has 20 bullet points, a 3 minute video and is supposed to be done and understood by fucking salespeople
on linux: ssh-keygen; ssh-copy-id; ssh-add $key and fucking done
15:34
common pwsh L
I have nothing of substance to say but I'll take any opportunity to hate on Microsoft
15:58
if you don't control group policy then why are you using this machine for ssh? if the org that controls group policy asked you to use ssh then tell them to change their policy so that you can use it
@Neil it's a whole thing
i'm tech support for the designers and we have another dep that's responsible for firm-wide tech support
they control grou policy, but they want us to use ETX to go into linux boxes to do anything prod related
except these guys literally only need to use SVN over SSH and they're salespeople so i am not teaching them how to use the terminal and they will make do with tortoise
@mousetail'he-him' that's insane what
16:29
WHAT THE FUCL
K
So, I see that this question has answers in languages newer than the question. Does that mean it's one of those catalog questions? How are you supposed to tell the difference? codegolf.stackexchange.com/questions/13152/…
@mousetail'he-him' lmao.
Microsoft also recently declined PRs improving documentation formatting because "it would make the documentation harder to read by AI"
6
Though I can't find the link anymore so details may have been different from what I remember
Ok I found this and someone gave a list of catalog questions in the comments: codegolf.meta.stackexchange.com/questions/12374/…
Weird that there isn't a tag for them
 
3 hours later…
19:22
@AlephSquirrel we no longer follow the rule that languages must be older than challenges
19:52
And even when it's specifically stated in the challenge, we consider it a site-wide standard that the requirement is still no longer applicable
 
1 hour later…
21:08
okay I'm going crazy does anybody remember an xkcd that fits this description:
> I seem to remember there being an xkcd where some thing happens and then the guy checks a dependency list and it says "spiders" and they're like "how'd that get there" and delete it and I was going to post it because it's relevant but I might have just completely hallucinated that because I can't find it?
I probably have some details wrong but I'm sure there's one roughly like that
i swear that one exists yeah
? similar but not quite
yup that's probably it
21:22
0
Q: Count the number of ways to choose k items from n distinct items

ArunabhObjective Count the number of ways to choose k items from n distinct items. Input: Two integers, n (total items) and k (items to choose). Output: An integer representing the number of combinations. Functionality Overview: Use the formula for combinations: \$ C(n, k) = \frac{n!}{k!(n - k)!}\$...

0
A: Sandbox for Proposed Challenges

Wheat WizardAssociative, alternative, flexible, oh my An operation \$(\ast)\$ is associative iff \begin{equation} x\ast(y\ast z) = (x \ast y) \ast z \end{equation} for any choice of \$x\$, \$y\$, and \$z\$. A lot of useful operations are associative. However sometimes an operation is almost associative, but ...

@NewPosts I started reading this and it looked like AI output definitely a dupe. Then it started to look like familiar AI output ...
0
A: Sandbox for Proposed Challenges

ArunabhObjective Count the number of ways to choose k items from n distinct items. Input: Two integers, n (total items) and k (items to choose). Output: An integer representing the number of combinations. Functionality Overview: Use the formula for combinations: \$ C(n, k) = \frac{n!}{k!(n - k)!}\$...

22:00
@WheatWizard second time's the charm right? :p
 
2 hours later…
23:32
0
Q: Check if the number of '1's in the binary representation is even or odd, and if the total number of bits is a prime number

ArunabhIntroduction You are tasked with creating a function that takes a binary number as input and determines whether it meets specific criteria based on combinatorics. Challenge Check if the number of '1's in the binary representation is even or odd, and if the total number of bits is a prime number. ...

Third time's decidedly not the charm

« first day (5095 days earlier)      last day (42 days later) »