« first day (3970 days earlier)      last day (883 days later) » 
00:00 - 23:0023:00 - 00:00

12:00 AM
0
Q: AoCG2021 Day 12: Oct's Fool

lyxalPart of Advent of Code Golf 2021 event. See the linked meta post for details. The story continues from AoC2017 Day 11. Obligatory why me and not Bubbler link After having rescued a child process lost on a hexagonal infinite grid, you hear someone else screaming for help. You turn around, and uns...

 
 
1 hour later…
1:01 AM
13 hours ago, by emanresu A
Fun challenge for anyone who wants to try, I should sleep now
 
1:30 AM
0
Q: Why are golfing languages allowed?

Vilx-I'm a bit confused about the use of golfing languages in golfing challenges. In the standard loopholes there is a point about using self-made languages that solve the problem in one symbol. And it's a fair point. Golfing challenges lose their purpose if you can just make up a new language for eac...

 
@NewPosts Is "because this is a code golf site" a valid answer? :P
 
Sure
> Most of them are either self-made or maintained by just a few people
Counterexample: Vyxal
 
1:55 AM
0
A: Sandbox for Proposed Challenges

SegganGenerate the Chess Numbers™ I was browsing Stack Overflow when I saw this post in Puzzling in the hot network questions and decided to make a challenge out of it (all credit goes to the creator of the challenge). Overview A Chess Number is a number that, when converted to base 18, results in a va...

 
@emanresuA Depends on your definition of "a few"
Vyxal has what, 6 developers? That's more than most golflangs, but compared to a lot of other programming languages, is "a few" :P
Ooh nice, I just got my 300th bronze badge :P
 
Vyxal has 6 developers, and 6 times as many bugs :p
 
The law of programming development states that the number of bugs is directly related to the number of developers :P
 
@cairdcoinheringaahing 7-8 lol
 
> Alexander Aptekarev proved that at least one of Euler's constant γ and the Euler–Gompertz constant δ is irrational.
I've never understood how mathematicians manage to proof "Either X or Y has this property, but we don't know which", especially when "X" and "Y" aren't that related
It's like how we know that at least one of e*pi and e+pi is transcendental, but not which
 
2:05 AM
Wdym by "how"? I'd imagine its roughly the same as anything else
 
Yeah, more like "why is that your approach/aim?"
 
E.g., proving that if neither of them were irrational, we'd all die
 
if trivial pursuit is so trivial, why are we still in pursuit of the guy we're chasing?
 
The pursuit is trivial and left as an exercise to the reader
 
2:35 AM
@cairdcoinheringaahing I see you’re q constructivist (is that the word?) :p
 
Absolutely not, existence proofs for the win :P
Its just, I want to know how they took two vaguely related things and went "One of these must satisfy this property", and that was easier than showing that one of them satisfies it, regardless of the other
 
@RedwolfPrograms okay but we have prettier code mow and our repo looks slightly more professional :p
 
"Prove that 4 is even. Well, I can't do that, but I do know that exactly one of either 3 or 4 is even"
 
@user Ah yes, the two most important parts of any golfing language :p
 
@cairdcoinheringaahing I assume they just happened upon equations that force that
 
2:39 AM
@user I read this as "we have prettier code meow" as was like "Vyxal catgirl language confirmed????" :P
 
After vyxal 2.x is vyxal :3
2
 
Perhaps their product is irrational according to sth else, so they knew at least one was irrational, and then some other thing let them know at least one was rational so now they know exactly one is irrational
@cairdcoinheringaahing frick i can’t even edit now 😡
 
If Vyxal doesn't have an OwO flag, I'll be disappointed
 
@user caird had said "at least one is irrational" so part 2 isn't even necessary
 
Ah
 
2:41 AM
or some other relationship where one of them being rational could be used to prove that the other is irrational
 
> This result was improved in 2012 by Tanguy Rivoal, who proved that at least one of them is transcendental.
 
Wait what was the result before if this is the improved obe?
 
I'm gonna end up having to read the paper, aren't I?
 
(Too lazy to wikipedia on mobile)
 
@user That at least one was irrational
 
2:42 AM
Oh wait i forgot there not the same
 
CMQ: Fortune or silk touch for an axe?
(I already have a pickaxe with each)
 
I like my axes nonexistent thank you cery much
 
I made a fortune axe a minute ago, but I'm honestly thinking silk touch might be better for things like bookshelves and melons
 
@cairdcoinheringaahing Ok, so they provide 3 recurrence relations u, w, v that are all integer sequences, then examine the asymptotes of δu-γv+w to establish that they cannot both be rational
 
3:05 AM
@RedwolfPrograms here's what fortune actually does on an axe. In general, I go with silk touch, as it's more useful to me for axe-related things
 
^, unless you want large amoounts of melon slices
 
^, although if you really want tons of melon slices, you might as well just make an automatic farm
 
> Data updated 9 secs ago
Well, I got lucky going on SEDE :P
 
3:26 AM
@RedwolfPrograms wdym? there's only... checks github oh.
 
@AaroneousMiller tbf there's only 2 bugs and 8 enhancement requests
 
That's two more bugs than any of my languages have, because in my languages, they're features, not bugs :P
 
@lyxal give me half an hour
 
@cairdcoinheringaahing Theimplementationisthespecification gang unite!
Ooh, we should formally verify vyxal
 
@user idiot that requires me to "own" the pythonanywhere domain
which I don't
if it was easy, I'd have done it by now
 
3:37 AM
???
 
You can still upload/host arbitrary files right tho?
 
Oh github verification
 
@emanresuA of course, but it means in the DNS
 
Oh.
 
and also then there's this:
 
3:39 AM
wait, we don't own SE chat?
 
Better fix that
 
I mean, unless you can figure out how to insert the verification stuff to SE, then not really
 
@vyxalgang, tine to raid se hq! :p
@lyxal i was joking lol
 
No, you were user
and the message was in jest too lol
 
I was rues at one point
You know what, I’m going to change my username to joking so that I can say that i was joking
 
3:41 AM
Ugh, why is vyx.al so expensive?
 
@lyxal If you own chat, maybe there will be some actual developments/improvements to it :P
OTOH, we might start needing flags to use chat :P
 
@cairdcoinheringaahing No, chat'll end up like this
 
@emanresuA beautiful
@emanresuA otoh, vyxal.biz is only $15/year, and vyxal.xyz is only $12/year
 
vyx.al is 13€/year (?), idk what that translates to
 
@emanresuA 送actualimprovements
what
i'm impressed with my ability to not notice that before sending
meant to say "so, actual improvements :p" :p
 
3:45 AM
@emanresuA about 14.71 USD per year
that's not that expensive, imo
 
@hyper-neutrino Oh no, it's the double :p
 
I don’t know if y’all are serious but I would advise against buying a domain for vyxal lol
 
Not the worst use of money but certainly not the best either
 
@user we might not even have to
we could get people to buy it for us lol
 
3:48 AM
Python anywhere is good enough, we don’t need to get verified
 
It turns you off after three months tho
 
if you don't click the keep active button
 
@lyxal i doubt anyone would sponsor a golflang lol, and it’d feel weird to use other people’s money
 
@user people for some reason buy NFTs, so someone would surely sponsor us lol
 
Like it wouldn’t be a terrible idea but i just don’t want people spending their money on unnecessary stuff
 
3:51 AM
sell vyxal elements as NFTs
6
 
True genius
 
@hyper-neutrino "hey did you use my NFT in your vyxal answer? not cool man. delete it or I'll sue"
 
Vyxal's switching to pay-to-win
 
“Sorry I saw a vyxal solution to this but i can’t copy it and send it to you because it contains an nft”
 
@AaroneousMiller you can only use 5 bytes and after that you have to wait half an hour for the byte meter to refill. But you can spend 69 gems to get unlimited bytes for an hour
 
3:53 AM
@AaroneousMiller Unlock our professional plan to get the full dictionary , symbolic math, and more! Only $5 a month!
 
@user that's where the domain budget comes from
 
@user that implies that free users only get the least commonly used words in the dictionary lol
 
Additional features ($3 each): recursion, digraphs, longer timeout
@lyxal Isn’t that how freemium works? :p
 
@user you can also watch an ad to get 3 free layers of recursion to use for a single program
@user and for an extra $9.99, you can read the documentation!
 
We should add a memer discount though: sebd us a good meme or rickroll us to gain access to certain paid features!
@lyxal Wait if vyxal is closed source and docs are paid how do free users even use it lol
 
3:58 AM
@user via YouTube videos
 
@lyxal Just start a "When Vyxal wins" version of a swear jar: whenever Vyxal beats a Jelly, Husk or 05AB1E answer, the loser has to donate $1 :P
 
For $100 a month, you get tech support from lyxal himself
 
> sweat jar
3
 
i do not like that typo
 
could be worse
 
3:59 AM
I don't know what you're talking about
 
i'll just refrain from asking
 
@cairdcoinheringaahing See that way we’ll lose a lot depending on who’s competing
 
@hyper-neutrino Just google "2 girls 1..." :P
 
wait how do you typo that from swear tho
 
@emanresuA fewer letters = more money
 
4:01 AM
For $300, the entire vyxal team comes over to your home, you get to rickroll them, they solve your math homework in vyxal, and then they give you personalized golf suggestions
 
@user NO.
 
@user that'd have to cost $6969 though to cover flights
 
@hyper-neutrino t is next to r on a keyboard
 
@cairdcoinheringaahing ?
@lyxal 69420 would be even nicer
 
4:02 AM
I was asking about what Unrelated String meant by "could be worse" lol - ik how you typo swear → sweat
 
@user I've never seen it myself, but I strongly recommend you don't
 
or rather, I was not asking about that
 
Lol ok
Every day i come upon more things I’m told not to google
 
@lyxal At this point, I think it's so much of a meme that people know vaguely what it is without actually being exposed to it
Which is a good thing :P
 
I wonder what features a paid version of languages like Python or JAVA or Java would have
 
4:11 AM
@lyxal I'm pretty sure user's talking about "formal verification" as in using proofs describing the intended behavior to verify the program works as intended
(I've never really gotten the point of formal verification though, if you have a language that you can write the intended behavior in with sufficient confidence it doesn't have bugs, just transpile that instead of checking it against something else you've written)
 
Yeah but I wasn’t being serious anyway
 
> Buy a Coffee for Vyxal
 
@RedwolfPrograms that’s the thing, the cost of doing it is far too high
 
Vyxal doesn't need coffee, it's already Hyper(Neutrino)
 
4:16 AM
the neutrino is hyper, but the rest of Vyxal could use some caffeine
 
At least until a language with built in support for verification becomes mainstream
 
I just don't see why it makes the issue any better, since you still have to write the intended behavior without bugs, just a second time
Code is a way to describe your intent to the computer. If you fail at that the first time, who says you'll do it right the second?
 
@RedwolfPrograms For a second I thought you were gonna say that you donated lol
 
@AaroneousMiller If you buy a coffee for Vyxal, who drinks it?
 
All of us!
 
4:18 AM
All the vyxal contributors fly to Australia and share it
 
@cairdcoinheringaahing all of us
 
With a bunch of straws in one coffee cup
 
Time to donate a tiny espresso then :P
Everyone gets 1/8 of a shot of espresso each :P
 
They'll just use one of those eyedropper things to measure out a few mL for everyone :p
 
@RedwolfPrograms why Australia? Afaik three of us are in North America so that’s where vyxal hq should be
 
4:20 AM
But lyxal's 80% of the language's name
 
A single espresso is ~30ml, so each contributor gets ~4ml each :P
 
Let's just average y'all's location in 3d space. The meeting will be in the earth's mantle.
 
@emanresuA not me, i hate coffee unless it’s cold and has 9 sugars in it and then i just get high and get a headache
@RedwolfPrograms hmm maybe let’s use a different coordinate system :p
Spherical coordinates are safer :p
 
Okay fine, we'll use lat/lon. Have fun swimming out to the middle of the atlantic ocean :p
Actually, probably the pacific
 
That’s fine, we can meet on a boat
 
4:23 AM
Just do it in hawaii
 
That doesn’t sound terrible lol (aside from the whole meeting people and sharing coffee bit)
 
Kona, Hawaii apparently has really good coffee
Do it there
(I tried it when I was there but it just tasted like coffee lol)
 
@user implying that the meeting a plate part doesn't sound terrible either
 
Perhaps a better island to meet on would be Java. Very symbolic
@AaroneousMiller plats are cool
 
@user I approve this message
 
4:26 AM
Conquer an island and make Vyxal a nation-state
 
:)
 
but wouldn't that come with a .vy domain ending
rather than .al
 
No, just make .al your country code
 
@RedwolfPrograms we shall conquer java, kotlin, ceylon, and Britain then
 
(You'll have to conquer albania while you're at it)
 
4:27 AM
but isnt everything conquered by Netherlands?
 
@RedwolfPrograms smh we’d make it .69
@PyGamer0 time to defeat the nether dragon or whatever then
 
but netherlands have conquered 2 planets!
 
Wut
 
i was about to post that lol
 
4:28 AM
ninja'd
 
now you got ninja'd
 
ninja'd ur ninja
 
you ninja'd me again
 
4:29 AM
Oh lol
 
but ngl Netherlands are OP
oh also i brought How to and What if from Amazon

ninja'd netherlands

6 mins ago, 2 minutes total – 16 messages, 3 users, 0 stars

Bookmarked 6 secs ago by PyGamer0

 
4:47 AM
Me: restarts computer
Computer: bsod
 
5:09 AM
I haven’t actually had a bsod in quite a long time
Idk if windows has gotten better or I’m just lucky
I’m always confused when people talk about the frequent bsods on windows
 
5:55 AM
@lyxal i dont remember if i had a bsod when i crashed my computer because c memory leaks
 
 
3 hours later…
9:11 AM
@cairdcoinheringaahing how does quicks work internally? What does the condition and quicklink in attrdict mean?
 
@PyGamer0 So, first things first, ignore the hypers dict. That's a remnant of old Jelly that Dennis never got around to converting into quicks. Second, when parsing, if the parser encounters a quick, it goes "right, I need to group the links before until a condition is met". Typically, that's a len(links) == n check, meaning that a quick only thinks about the n links before. The other common one is links and links[0].arity, meaning "keep adding links until you find a monad/dyad"
That's what condition is: it tells the parser at what point it should stop looking for more links to group. quicklink is just the call that takes in this group of links, along with the rest of the program for the "call the line above" quicks, and turns them into a link, done as a [attrdict(arity = x, call = func)]
 
where is the link splitting logic?
 
How do you mean?
 
@cairdcoinheringaahing oh
@cairdcoinheringaahing the part which parses the links
 
If you mean how atoms/quicks/literals are split up, the "parser" is regex spaghetti.
 
9:18 AM
oh the one at the end of the file
 
parse_code, which relies on a bunch of complicated regex
The regex tokenises the given code, parse_code then parses it, turning it into a list of a list of a list of links
 
ok
whats the difference between dyadic_link & dyadic_chain
is the chain the one which applys atoms to the arguments?
 
You can't parse HTML with regex but you can parse Jelly with regex, therefore Jelly != HTML
 
why cant you parse html with regex?
 
4410
A: RegEx match open tags except XHTML self-contained tags

bobinceYou can't parse [X]HTML with regex. Because HTML can't be parsed by regex. Regex is not a tool that can be used to correctly parse HTML. As I have answered in HTML-and-regex questions here so many times before, the use of regex will not allow you to consume HTML. Regular expressions are a tool th...

It gets good towards the end
 
9:25 AM
@PyGamer0 So, if you have a chain that's dyadic (either because it was passed two arguments, or it's explicitly dyadic with ɓ or ð), then it's broken down into Jelly's "patterns" by dyadic_chain. Each pattern in dyadic_chain calls dyadic_link with the atom and arguments, and dyadic_link operates on a single link. That's where the vectorisation happens
In short, dyadic_link takes in a single link and 2 arguments, while dyadic_chain takes in a chain and two arguments, and then dyadic_chain breaks down the chain into its links and calls those through dyadic_link
I will say, trying to make sense of the Jelly interpreter is a difficult challenge, even if you're competent with Jelly's chaining rules and how multiline, multichain programs work. If you aren't that familiar, it's going to be difficult to make sense of it
 
10:00 AM
TIL base64 = swift
 
CMQ: For head, tail, except head, except tail, what should it do when passed a scalar?
 
10:19 AM
@PyGamer0 convert to list of digits and go from there
 
so it becomes, return 1, return x, return 2...x, return 1...x-1
ez to add
 
I more meant return digits[0], digits[-1], digits[1:], digits[:-1]
 
Oh
done
 
10:39 AM
You what.
Can't believe I'm being beaten by 3 tacit languages in terms of code quality by a single rank.
 
@lyxal PyGamer is just flaxing their coding skills :P
 
in Vyxal, Dec 9 at 4:35, by lyxal
Can't believe we're being beaten by 2 tacit languages by a single rank
They just made it 3 :(
 
10:57 AM
lol
dont worry @lyxal it would be B when i finish the first version
 
 
2 hours later…
1:00 PM
Protip: use a language where no human or AI can judge your code
 
1:43 PM
examples of such languages?
apl
 
2:10 PM
0
Q: Amogus is kinda sus ngl

Binary198Meme culture + code-golf makes this challenge! Your goal is to generate the following output in as little code as possible: amogus is seriously sus ngl amogus is seriously sus ngl amogus is seriously sus ngl amogus is seriously sus ngl amogus is seriously sus ngl amogus is seriously sus ngl amogu...

 
2:27 PM
@PyGamer0 I will judge your apl code
 
2:40 PM
@Razetime provided i write apl programs
 
@Razetime Whoa there, no need to be so uppity and judgmental
 
 
3 hours later…
5:31 PM
0
Q: Generate an algorithm with a maximal computational complexity with a minimal code size

Binary198In this question, the goal of your answer is to design an algorithm with as large time complexity as possible, in as little time as possible. It doesn't actually have to do anything useful, its only goal is to have an extremely large worst-case time and/or space complexity. For all I care, it cou...

 
6:18 PM
I just got my Windows computer to talk to an Android phone over Bluetooth after wrangling with some code that did that but only for Linux computers. It felt so rewarding to see "Error: Missing field from data entry\nDisconnected from <phone mac>"
Even an error is just better than not having any connections at all
 
@PyGamer0 C and APL are the only languages I know of where you can actually win a competition based on humans judging your code (as opposed to your results).
 
6:34 PM
@Adám The tag would like a word :P
 
@cairdcoinheringaahing … with prices.
 
Are you really just going to devalue arbitrary internet points like that? :P
I would like to see an actual competition where people aim to create the most elegant code in any language to do a task though
 
Well, isn't the IOCCC's only prize the announcement? If so, then only APL remains with any tangible prizes.
 
echo Hello, World!
 
@cairdcoinheringaahing Agreed. But then I would want languages competing against each other.
 
6:37 PM
@Fmbalbuena Hello, World!
 
@Adám I think in that context, languages competing makes more sense, as it's very easy to write more elegant C than Jelly, and vice versa
Unfortunately, elegance is so subjective :(
\o/ silver badge :D
 
@cairdcoinheringaahing but can you show the link?
 
@cairdcoinheringaahing yes.
 
@emanresuA However, you can parse HTML with Jelly
 
6:45 PM
@cairdcoinheringaahing silver? how quaint. (OK, so I'm only the 3rd gold string tag badge holder of 14...)
 
@Neil In my defence, you have 3 years headstart on me, and 5.7 times the number of answers :P
 
(while I was there I was randomly wondering which badge I'm up for next, and it's the silver random badge, for which I need the one upvote)
 
@Neil You have the most answers on the site
 
10
Q: Solve an Inglenook Sidings Puzzle

bigyihsuanSolve an Inglenook Sidings Puzzle Background The Inglenook Sidings Puzzle is a shunting/switching yard puzzle by Alan Wright for model railroading. The rules for the puzzle are as follows: (Source) Form a departing train consisting of 5 out of the 8 wagons sitting in the sidings. The 5 wagons ar...

 
@Neil New site rule: people can only upvote deterministic programs from now on :P
 
7:00 PM
It's fine, all our random answers are really pseudorandom anyway :P
 
\o/ I have officially done 1000 edits
 
@cairdcoinheringaahing Huh, I've done 155
Wait how am I second this year?
 
When do I get a second Copy Editor badge? :P
 
Do those stack?
 
@emanresuA Because most of the editors ahead of you are no longer active
@emanresuA No (Martin only has one for example, but has ~1600 edits)
 
7:11 PM
> emanresu A ... 18,608 total reputation 18,713 year reputation
 
Oh. (asking 'cos steward does)
@tjjfvi Blame bounties or whatever
 
Uhhh, did you have negative reputation last year?
Ah
 
@tjjfvi I actually have 18,788 :p
 
@tjjfvi No, it doesn't count the association bonus of 101 rep in the "rep earned this year" thing IIRC
 
@cairdcoinheringaahing There's still a difference of 4...
 
I see 18687 and 18788
 
 
1 hour later…
8:20 PM
Is it blasphemy to use for challenges related to sequences but which don't ask you to actually implement that sequence?
 
Because often implies the standard sequence I/O rules, if you do, I'd suggest making it extra clear what the I/O should be
 
8:38 PM
0
A: Sandbox for Proposed Challenges

pxegerPlease mind the gap code-golf sequence arithmetic Given any three of the first four terms in an arithmetic sequence in unknown order, calculate the missing one. For example, considering the sequence 24 26 28 30 ...: if you are given 24 28 30, you should output 26. Given 30 24 26, output 28. You w...

 
@SandboxPosts Dupe?
 
:(
I didn't bother checking for a dupe because I thought it was clearly unique enough
 
Sorry :( It seemed familiar, but couldn't find anything with "blank" or "gap", and "arithmetic sequence" just searches posts tagged with
 
9:18 PM
@cairdcoinheringaahing yo i'm weirdly high, huh
 
You're literally the third person on the site to get the Copy Editor badge :P
 
wait i have that? huh
wow, I didn't bother clicking and just kinda assumed copy editor was for 1000. my reading comprehension is not the best today, i'm afraid
 
Also, the Editors page is so weird when it comes to numbers of edits. According to my profile, I've only edited 802 posts. WW, who is listed as having 606 edits doesn't have Copy Editor (500 edits) because his profile reports 385 posts edited
 
wonder if self-edits count for the editors badge, but not your profile?
 
And, if you click the "posts edited" thing on your profile, it takes you to the revisions tab, which (for me) lists "1,984 Revisions"
@Rɪᴋᴇʀ Tag edits count towards the Editor user leagues, but not the badges
 
9:24 PM
ah, interesting. i feel like there's no way WW has edited as many tags as other posts almost tho
 
Huh, Editors tab also tracks self-edits
But that seems off, because there's no way that the total number of self edits + tag edits I've made is only 200
 
spaghetti code smh
 
10:08 PM
@NewPosts I swear that wasn't me lol
 
> So that's 652 identical lines? – Neil 7 hours ago

Yep... 652 because ord("A") + ord("M") + ord("O") + ord("G") + ord("U") + ord("S") = 652 – Binary198 5 hours ago
CMC: Output 652. Your code must contain AMOGUS (case insensitive) as a contiguous substring
 
jelly: amogus- 652
because u deletes the chain kekw
 
What in the frickety frack does s- do? :P
@cairdcoinheringaahing Wait, that's not even true: Try it online!
Needs to be lowercase (and saves a byte over @hyper-neutrino's approach): Try it online!
 
oh wait
idk why i didn't just like, consider the origin of the number in my approach
codepage index string wouldn't work here would it
 
`amogus`C∑ in Vyxal
 
10:17 PM
“amogus‘S for -1 byte over caird
 
because codepage index string does work
 
Very nice, I should remember that trick for ASCII + O approachs
 
@cairdcoinheringaahing Welp Python: # AMOGUS \n print(652)
 
@cairdcoinheringaahing I have a better version: kSC½3/₀d-›
Push the impostor to the stack, get its character code and do stuff to it to make it 562
 
10:20 PM
> Your code must contain AMOGUS (case insensitive) as a contiguous substring
 
Ignoring that, it's much better
Besides, the name of kS is amogus
So it kinda counts
 
@cairdcoinheringaahing this count?
 
Nope, that's an imposter submission :P
 
bah humbug
 
10:55 PM
@riker gosh fricking dang it. You and your stupid profile link.
I got gamed on
 
00:00 - 23:0023:00 - 00:00

« first day (3970 days earlier)      last day (883 days later) »