The Nineteenth Byte

Parcly Taxel

10:06 PM

Hmm…

user

@ParclyTaxel \o/

hyper-neutrino

Hi @BetaDecay! :D haven't seen you here in a while

Beta Decay

Hey!

Been years lmao

Time moves quickly these days

Ginger Industries

hello, and welcome back!

hyper-neutrino

@BetaDecay gotta quote this once again lmao

Feb 28 '21 at 1:17, by caird coinheringaahing

idk the physics behind it, but time has been on some hardcore drugs for the past 18 months

Beta Decay

10:15 PM

It's okay, I didn't spend the last four years studying physics for me not be able to offer this explanation:

Ginger Industries

@hyper-neutrino relevant xkcd

Beta Decay

shit's fucked yo

Ginger Industries

@BetaDecay sounds about right

DLosc

@GingerIndustries Also relevant xkcd?

Beta Decay

Even though it's been so long, it's amazing how much this site has affected my programming haha

I learned so much about python from here

emanresu A

10:22 PM

Hi!

Beta Decay

Hey

hyper-neutrino

@BetaDecay that's probably concerning (:P)

Ginger Industries

@BetaDecay For the better, right?

Beta Decay

@GingerIndustries (insert anakin and padme meme here)

Ginger Industries

looks good :)

emanresu A

10:25 PM

@GingerIndustries #62 :P

Ginger Industries

time to get to work

emanresu A

Reputation's a measure of how much time you spend here

thejonymyster

@taRadvylfsriksushilani im back, and i don't think that this makes sense

Ginger Industries

@thejonymyster no, you're thejonymyster

HA I FINALLY MADE ONE OF THOSE JOKES

HAHAAAAAAA

:D

thejonymyster

i dont see why i couldnt be all three

emanresu A

10:26 PM

@GingerIndustries We're all so proud of you

thejonymyster

oh wait the second clause doesn't say "i'm"

the third thing that i am is stupid then

ta Radvylf srik su shilani

@thejonymyster Basically, you can make a language whose interpreter runs any arbitrary code before starting. So, you'd have to prove that that code halts for the language to be TC, since if it didn't, no code would ever get run

emanresu A

But... the halting problem's undecidable for TC langs

thejonymyster

@taRadvylfsriksushilani so that just means a better question is "is this lang TC other than halting"

emanresu A

If you're struggling to prove something TC/not ask on the esolangs discord or ping ais.

Weren't we going to start Best Of voting nowish?

thejonymyster

10:29 PM

@emanresuA no, we were just discussing how complex it is to decide turing completeness

apparently its undecidable, but i still cant wrap my head around it

Beta Decay

@hyper-neutrino I think I've mostly got rid of the worst traits tbh xD

ta Radvylf srik su shilani

@emanresuA Exactly. I'm demonstrating why you can't write a program in a TC language that can prove any language is either TC or non-TC in a finite amount of time

Beta Decay

Though my mates complained that import matplotlib.pyplot as plt, pandas as pd, numpy as np, scipy.optimize is "too golfy" so idk

DLosc

Lol

hyper-neutrino

@BetaDecay i'd like to think i've gotten rid of most of my bad habits but maybe that's just cuz i use a code formatter and my code itself is still just as bad

emanresu A

10:34 PM

@taRadvylfsriksushilani Except:

Beta Decay

@hyper-neutrino tbh now that pretty much every variable I use is a numpy array there isn't muchs room for code golf-style abuse

emanresu A

ais523, 0 bytes

That's WW, right?

Ginger Industries

i think so

ta Radvylf srik su shilani

→ 32 messages moved to Par for the Course Comics and Film Co.

New Posts

0

Q: Output a Steiner quadruple system

A Steiner quadruple system \$SQS(n)\$ is a collection of subsets (blocks) of size 4 of a set \$S\$ of size \$n\$ such that every subset of \$S\$ of size 3 is in exactly one block. It is easy to show that the number of blocks is \$\frac14\binom n3\$ and that a necessary condition for an \$SQS(n)\$...

thejonymyster

10:43 PM

@taRadvylfsriksushilani i dont think theres a way for me to say just how convenient that just was for me

Parcly Taxel

@emanresuA WW?

emanresu A

Wheat Wizard

Parcly Taxel

o

also posted my q

lyxal

11:12 PM

@GingerIndustries you are learning the ways of lyxalistic golfposting

Well done

Ginger Industries

@lyxal No, I'm Ginger Industries.

(I tried to make a name-change joke but "learning the ways of lyxalistic golfposting" is too long)

anyway

lyxal

@GingerIndustries excellent work.

lyxal

11:28 PM

@GingerIndustries did I ever show you the amazing website I made?

lyxal.github.io/Horrible-Website

I think you'll love it

Ginger Industries

@lyxal hey lyxal we're coming to your house

Beta Decay

@lyxal that is art

lyxal

@BetaDecay thank you. Finally someone who appreciates true beauty!

Ginger Industries

@lyxal I had to use View Source to even begin reading that

lyxal

It's the result of going through a uni workshop on html and css and maliciously complying with the steps to follow

Ginger Industries

11:32 PM

@lyxal it seems you live in apartment 1169, ${STREETADRESS}, ${CITY} Australia.

DialFrost

morning guys

lyxal

@GingerIndustries Dang bro don't doxx me like that

Ginger Industries

@lyxal and I stole yo fridge to protect myself from a nuke

DialFrost

bruh the max rep per day is 200

wasted about 100 rep on my qns

:(

lyxal

@GingerIndustries which one?

Ginger Industries

11:34 PM

@lyxal the one that can survive a nuke

Beta Decay

@lyxal What the fuck, it's a uni workshop and you used the word fr*ck

lyxal

@BetaDecay I do a little trolling

Unfortunately we didn't have to submit our work

DialFrost

wait guys

if the max rep per day is reached

the rep is gone right

DLosc

@lyxal The text that changes size when hovered is a nice touch. :P

Ginger Industries

@DialFrost afaik yes

Beta Decay

11:36 PM

@lyxal That's devastating

lyxal

@DLosc I make only the highest quality design decisions :p

Beta Decay

You'd have made a PhD student's day

lyxal

@BetaDecay I know. They never got to see my artwork

Beta Decay

(maybe)

Parcly Taxel

Is it permissible to edit a question after it has been answered to impose a condition that output must be made in reasonable time?

lyxal

11:37 PM

the source for my amazing website

Beta Decay

@ParclyTaxel Have you had any answers yet?

DLosc

@DialFrost There are some complicated edge cases, but essentially that's right, you don't get rep past 200 on any given day, and any rep above 200 that you would have gotten does not appear later.

One

:(((((

I see

11:38 PM

100 rep gone to waste

Beta Decay

Is the problem solvable in less time

Parcly Taxel

Yes

Beta Decay

@emanresuA worth asking them tbh

DLosc

@DialFrost On the plus side, you get a shiny new badge

DialFrost

tru

Parcly Taxel

11:41 PM

@BetaDecay yeah, asked

emanresu A

@ParclyTaxel A general site rule is you can take as much time/memory as you want, as long as it eventually terminates with the correct output.

Parcly Taxel

0

Q: Estimation of Error

Gallup runs a variety of opinion polls. In August of 2017 and again in August 2018, they asked survey participants their feelings on the computer industry.Simplifying the results a bit: in 2017, 59% of those surveyed said they had positive feelings towards the computer industry. But in 2018, that...

probability statistics probability-distributions statistical-inference

@emanresuA oh, but never mind about it

emanresu A

Of course, you can override that rule if you want

Parcly Taxel

I am going to impose the reasonable time constraint, is that OK with you?

emanresu A

Sure, that's fine.

DLosc

11:43 PM

In this case, with the combination of kolmogorov-complexity and open-ended-function, I think a requirement of "You must run your code to completion and include its output in your answer" makes a lot of sense.

So if somebody is patient enough to let their code run for a week, they can, but 100-billion-year solutions are out.

Parcly Taxel

@DLosc ah, that works; I've included those words in the q

Beta Decay

@DLosc physics.princeton.edu/ph115/LQ.pdf

Parcly Taxel

The actual example I included was found using Gurobi by imposing symmetry constraints. It took less than a second to find it, but then a few minutes to get it formatted nicely as orbits + permutations

DLosc

@BetaDecay I'll look forward to reading that, tho not right at the moment. I like Asimov.

Beta Decay

It's his best imo

I love everything Asimov does lol but Last Question is his pinnacle

Ginger Industries

11:50 PM

@BetaDecay yup

Beta Decay

@GingerIndustries Have you watched Foundation yet?

I haven't so am wondering whether it's any good