the 296571
I 240237
a 223471
to 204031
is 138751
it 135055
of 129505
that 125386
you 110862
and 106137
in 102564
for 86042
be 63362
on 55934
not 55474
have 55267
but 52580
with 47238
are 43440
this 40917
just 40038
my 38508
was 38454
if 38357
as 37485
the 296571
I 240237
a 223471
to 204031
is 138751
it 135055
of 129505
that 125386
and 106137
in 102564
for 86042
be 63362
on 55934
never 55474
gonna 55267
give 52580
you 47238
up 43440
this 40917
just 40038
my 38508
was 38454
if 38357
as 37485
@EᴀsᴛᴇʀʟʏIʀᴋ They wouldn't come near the top 25 anyway because they're really quite rare in relation to all the other words or pseudo-words in messages.
@Syxer I don't mind if you do that. I'd suggest running the query on a smaller subset (like the month of August) first until you're sure it works as intended.
Pings/messages would be a fairly complex query. You'd have to join tables on messages that have @ + username, and then aggregate the ones for usernames that belong to the same user. Well, that's if we're looking for an aggregate of that. If we're just looking at one user, that wouldn't be too hard.
@Syxer I'm honestly not sure whether to be proud or not that my name is third on the list. People pinging me are more likely to get stars for whatever reason...
first don't think about people. would there really language something challenge? could answer question. other questions which stars AlexA should right because that's you're can't
don't about think people would should there because really language challenge question answer something could questions other which right stars you're that's can't first
Fetching the desired output from an external source
This includes doing an HTTP request to fetch the page with the question and extracting a solution from that page. This was mildly amusing back in 2011, but now is derivative and uninteresting.
I'm from PPCG so I was making an esolang and I decided to write it in Python. Eventually it went from an esolang to an OEIS (Online Encyclopedia of Integer Sequences) lookup tool. I'm very new to Python.
Essentially this program takes an OEIS sequence number (e.g. 55 for sequence A000055) and t...
@ΛεγίωνΜάμμαλϠΨΠʹ At this point we should probably just post the challenge at the start of the new year, as per one of the original plans. (@HelkaHomba)
Reduce[a > b > c > d >= 0 && x > 0 && a - b == b - c == c - d &&
b <= a/x < b + 1 && c <= b/x < c + 1 &&
d <= c/x < d + 1 && (d/x < d - a + b || d - a + b + 1 >= d/x) &&
a ∈ Integers && b ∈ Integers &&
c ∈ Integers && d ∈ Integers, {a, b, c, d,
x}, Reals]