The Nineteenth Byte

Riker

00:00

spyfall anyway?

Mithrandir

*anyone

:P

Riker

eh whatever

Zacharý

00:19

What brings the ward here today?

Mithrandir

If I had to guess... the favorite rooms button ;)

Zacharý

Makes sense

ATaco

00:47

Ward does come here occasionally.

Zacharý

Yeah, I don't know why I thought him coming here would be a WARDing of a flag.

When does Winter Bash end?

New Main Posts

0

Q: Now we're thinking in n dimensions!

The question: Given an a number n ≥ 2, how many distinct pairs of points on an n-dimensional n x n x n x n x n x n ... x n lattice, where the coordinates range from 0 to n - 1, are a distance at least n apart? The pairs {(2,1,3,1), (3,2,1,3)} and {(3,2,1,3), (2,1,3,1)} are not considered distinct...

Mithrandir

in Charcoal HQ, 15 secs ago, by SmokeDetector

@Mithrandir Winter Bash won't end for 18 days, 23 hours, 9 minutes, and 34 seconds. GO EARN SOME HATS!

New Meta Posts

0

Q: How should C macro be scored?

Sorry if this is a duplicate... Recently, an answer of Peter Taylor here says: To get a macro equivalent to f(n){n=n?:1;} you need -Df(n)=((n)?:1) which is longer, so there's no point. So how should C macros be scored? Which of the following criteria should be satisfied: ...

discussion code-golf

MD XF

01:11

Anyone have a fast computer with a fast internet connection that they'd be willing to run this on? The resulting file (that will take between 4 and 20 hours to generate based on your connection/CPU speed) will only be about 60MiB

Zacharý

OEIS language?

MD XF

Builtin for a language I'm writing

Zacharý

I hope this language is good everywhere else.

MD XF

This will not be the only functionality, no.

It's meant only to work with (floating point) integers so I'm adding every number builtin I can think of

Zacharý

How long will this take?!

MD XF

01:17

The language or the script?

Zacharý

Script ...

MD XF

5 mins ago, by MD XF

Anyone have a fast computer with a fast internet connection that they'd be willing to run this on? The resulting file (that will take between 4 and 20 hours to generate based on your connection/CPU speed) will only be about 60MiB

between 4 and 20 hours to generate ....

I'm at A136489 on my cloud9 server after starting ~7 hours ago

ATaco

I'd like to see a Tacit OEIS language.

MD XF

@ATaco This is going to have builtins for all the sequences, if that's what you mean

They'll be hardcoded but still

ATaco

Nah, I mean being able to easily say Take all the prime indexed triangular numbers.

Zacharý

01:19

I've had the idea before, so I'll start it ... I might stop running it.

MD XF

Alright, I've got it running on 4 different computers, just wondering if anyone has one that will finish earlier

ATaco

The main issue is that you need to program all the sequences at that point.

MD XF

@ATaco Did you look at the script I linked?

Zacharý

Just have a 2-argument builtin or something

ATaco

Yeah, but that's still only hard coded to like, 70.

Zacharý

01:22

Should I modify it to pipe it into a file?

MD XF

@Zacharý Yep

oeis.c or something of the like

Oh I locally updated it so that it shows you what number you're on, maybe I should change that in the gist

Zacharý

No, I've got it

MD XF

Check the gist, it prints the currently downloading number to STDERR

Zacharý

How does this look?

#!/usr/bin/env bash
touch oeis_big.c
for i in `seq 1 296700`; do
    echo $i
    printf -v s "A%.6d" $i >> oeis_big.c
    echo -n "int $s[] = {" >> oeis_big.c
    wget -qO- oeis.org$s/list | tr -d '\n' | sed 's/^.*<pre>/<pre>/' | cut -c 7- | cut -f1 -d"]" | tr -d '\n' >> oeis_big.c
    echo "};" >> oeis_big.c
done

MD XF

That works too, of course you could just do echo $i >/dev/stderr and then pipe the script to oeis_big.c

Zacharý

01:27

Okay, it seems to be going at a pace of 4 sequences per second.

MD XF

Nice, that's about what mine's at too

Zacharý

How on earth do you want to receive the file?

MD XF

GitHub gist? Email?

Paste it here? :P

Zacharý

It's already at 400, is that good or not?

700

MD XF

Good? 4 per second is good, mine is closer to 3.5

I'm surprised the OEIS allows this many wgets though

They won't blacklist apparently, mine is at 141k and they haven't blacklisted

Zacharý

01:34

Now, if we get the entire PPCG to do it, they might black list

MD XF

But who will they blacklist?

And the entire PPCG would be pointless because we only need one file. Once I get my spare computer to constantly check for new sequences and add them to the file, however, they might blacklist. I'm not sure how often sequences are added though.

H.PWiz

@MDXF I'm not sure how valid this language will be for this site. Most challenges require submissions to theoretically work for arbitrarily large inputs.

Zacharý

Scrape the code??

MD XF

@H.PWiz The entire language isn't going to be based on these sequences, it's just a builtin

Zacharý

It is currently at 1350

H.PWiz

01:36

Okay. Well I guess that built-in will only have fairly specific uses then

MD XF

@H.PWiz The thing is, the farther you get into a sequence, the larger the numbers get, and C doesn't have a large enough type for them anyway

So whether or not they're hardcoded or you're computing them, C can't store the larger values, so it's no different

H.PWiz

Fair

Zacharý

We probably should've done this in Python or something

MD XF

I agree, but for some reason I cannot stop writing language interpreters in C :P

Zacharý

Python is better, you can copy Dennis' code :P

2000

I'll probably port this to a Python script after I finish,

Stupid bluetooth keyboard! I keep typing , instead of ..

MD XF

01:47

I have to prepend long long to every line because every time I ask someone to run it I forget to change the script first

status-completed

Zacharý

Wait ... it finished already?

Am I running this for nothing?!

MD XF

No

When it's done I will have to do that

Zacharý

s/int/long long/

That should be easy

MD XF

Yep. Of course I'm using vim so vim oeis.c -c "%s/int/long long int/g"

Zacharý

Would it have been easier to use strings?

MD XF

01:51

207

A: What is your best programmer joke?

The C language combines all the power of assembly language with all the ease-of-use of assembly language.

@Zacharý Yes :P

The language itself uses strings to represent integers too

But all the script is doing is downloading the OEIS list page, extracting everything between <pre>[ and ]</pre>, and wrapping it in int x[] = {...}

So based on how many numbers are too big for long long int I'll make the decision to search-and-replace numbers into strings

Zacharý

4040

MD XF

151k

Zacharý

I'm just waiting for a certain number ...

"Within your language's limit" can be exploited ... :P

MD XF

What do you mean?

Zacharý

02:11

I don't even know what I mean

6000

MD XF

156k

This script has taught me alot about bash and wget

Leaky Nun

316

A: What is your best programmer joke?

Command line Russian roulette [ $[ $RANDOM % 6 ] == 0 ] && rm -rf / || echo *Click*

holy

Zacharý

What?

Leaky Nun

that's scary

Zacharý

What does Array(8).join("String"-1) result in in Javascript ... does this help Array(8).join("String"-1)+" Batman!"

Wait ... that will actually delete the entire OS 1/8th of the time?!

ATaco

02:19

Actually, it's quite simple.

Zacharý

Actually actually isn't simple, but to what are you referring?

7000

ATaco

"String"-1 is trying to do arithmetic on a string, which Javascript defaultly returns NaN on, but .join stringifies it's arguments, so it's joining an empty array of 8 elements with "NaN", thus you get 7 NaNs in a row.

Zacharý

I know ... but []+[]

ATaco

When an array is stringified, it stringifies it in the form of 1,2,3 rather than [1,2,3], And the default behaviour for objects without explicit arithmetic behaviour is to stringify and concatenate.

Zacharý

It makes sense when you know why, but looking at it on the outside, then it's like WTF?

ATaco

02:21

Of course, but you can say that about all of programming.

Zacharý

s/programming/APL

0÷0

ATaco

You can't throw things you don't understand at other things you don't understand then be surprised when you don't understand the result.

MD XF

@Zacharý 160k

Zacharý

You're probably going to finish first, but I'll just keep my own file possibly for another language.

7550

8000

MD XF

It'll be in the Integral GitHub repository

Speaking of which... I need a better name

The only two names for my languages I'm happy with are Cubically and Triangular, and I didn't come up with them

Riker

02:28

@LeakyNun please help tested this now my computer won't turn on

/s

Zacharý

Don't even joke about that

MD XF

Please

Zacharý

Integeral?

Leaky Nun

@Riker lol

MD XF

@Zacharý Yes because Integeral is so much better than Integral :P

Zacharý

02:31

Integreal?

Integereal?

Why are you asking the guy whose language names are ÁÝ and MY?

Integolf?

MD XF

¯\_(ツ)_/¯ it was more of an open-ended question as opposed to one directed towards you

I'm looking for something completely different from "Integral"

Zacharý

Largetni?

MD XF

For example, Neim is an amazing number-based language, and its name has nothing to do with number/integer

@Zacharý ಠ_ಠ

Riker

sometimes I really wish make supported make instal so I can stop having to retype commands after a typo

esp when you come back after its been compiling for like 2 minutes to see make: *** No rule to make target 'instal'. Stop.

Zacharý

IT'S OVER NINE THOUSAND!!!!!!!!!!!!!!!!!!!!!!!!

I had to

MD XF

02:35

@Riker Install fish, its autocomplete helps with typos

Riker

I like my shell fine tho

MD XF

@Zacharý 165K!!!!! :P

Zacharý

165K double factorial double factorial factorial, holy crap OEIS got big :p

Nick Clifford

does anybody know of any site currently online that just returns a short text response? I need something to test Ohm's ·G GET request component, and I don't want to bother with the full example.com response

Riker

@NickClifford gist.githubusercontent.com/RikerW/…

curl gives test

no trailing linefeed

Zacharý

02:40

Nathan? As in Natural numbers?

Nick Clifford

awesome, thanks

Zacharý

How does Nathan sound for a language name?

Riker

not good

MD XF

Interesting I guess but doesn't seem too relevant

Zacharý

Natural numbers

Natural Numbers, Nanu maybe? I suck with naming things,

10K

MD XF

02:44

Me too, and 168k

@DestructibleLemon you here?

Zacharý

Is he good?

With naming things

Is Naturally a good name? In the veins of Cubically, Actually, and Seriously?

Riker

no

ATaco

Naturally.

Riker

don't listen to the taco

Zacharý

I'm not listening to the taco, I'm listening to A TACO. We have articles for a reason ... :p

According to my calculations, the script will be done in about a day and 2 hours

Any body else got any ideas>

Enumerate ?

MD XF

02:54

@Zacharý Yes, he named Cubically

Coincidentally, the language I'm most proud of

(And hate myself the most because of)

Zacharý

Any quirks about this language?

11560

Numerically?

Integrally?

In(i)tially?

-1/12?

Derivative?

When did @DestructibleLemon last get on

@Potato44, do you have any ideas for a new name for Integral?

MD XF

The language doesn't exist yet so I don't know about any features

Except it's syntax is the same as Implicit and it specializes in numbers

I'm learning TDD and writing this language with it, so development is going rather slow

Zacharý

Intplicit?

13700

MD XF

03:13

I sorta like that but nobody knows about Implicit, I'm the only one who's used it (except Dennis wrote a quine in it), and it's semi-decent at golfing

Zacharý

14600

14700

Right now the file is 3MB

15000.

Well, I'm out. Cya!

MD XF

03:30

o/

ATaco

04:40

@MDXF (I wrote the same quine minutes after him :()

Conor O'Brien

05:05

Who says J isn't readable?

caird coinheringaahing

@ConorO'Brien Jelly is more readable then that :P

Conor O'Brien

I'm going out on a limb here and saying you don't realize the nature of this program lol

caird coinheringaahing

No clue :P

Nick Clifford

05:32

MD XF

@ATaco Ha I remember that

@Zacharý Btw, 233k, almost done :D

ATaco

Woot, Got switch cases working in Funky!

ASCII-only

probably not the best place to ask but anyone know why my cursor is invisible most of the time on win10?

ATaco

But because Funky, they're upside down.

ASCII-only

@ATaco that's taken... surprisingly long :P

ATaco

05:46

It only occurred to me to add them yesterday.

Downgoat

@ASCII-only btw see slack. crazyguy got TC VSL compiler working :DDD

ATaco

05:58

Funky and it's upside Switch Cases

Mr. Xcoder

06:13

@cairdcoinheringaahing Mwahaha "Outhat"ed you again :D

user202729

@Mr.Xcoder This site hardly have any accepted answer...

ATaco

I've got two wins now, it's great.

Both are in languages of my own design, and one of them was Funky :D

ASCII-only

@ATaco i read that as one of the languages was funky >_>

user202729

Anyone got Brunhilde (hat) yet?

ATaco

The problem with using Adjectives as names of languages :P

But Funky is undoubtably funky.

Mr. Xcoder

06:20

@user202729 You can't yet. Winterbash didn't last for 15 days yet.

;-; I just got a tag badge on SO

user202729

06:31

Should I go get werewolf hunter?

(with the bad effect of bumping some questions on top)

Bruce Forte

07:13

Hey

@user202729: Just choose interesting challenges, in that case why not

Btw. how long is winterbash?

Wheat Wizard

07:31

@LeakyNun I thought this was cool

Leaky Nun

@WheatWizard nice

Bruce Forte

08:29

That reminds me, I should still learn Prolog :)

1

A: Sandbox for Proposed Challenges

Polynomial Interpolation Tags: code-golf, math, polynomials Relevant:: This, this and this. Explanation In this task you'll be given a set of N points (x1,y1),…,(xN,yN) with distinct xi values and your task is to interpolate a polynomial through these points. If you know what Lagrange inter...

caird coinheringaahing

@Mr.Xcoder Not anymore :P

Bruce Forte

Anyone got some feedback for that challenge?

caird coinheringaahing

@BruceForte Up to Jan 2nd

Bruce Forte

@cairdcoinheringaahing: Thx

Especially on the part with a duplicate title, not sure if that's a good idea..

New Sandboxed Posts

09:28

0

A: Sandbox for Proposed Challenges

Traffic direction Tags: code-golf, decision-problem Rules Given an ISO3166-1-Alpha-2 country code your task is to decide on the traffic direction for that country: Input will be a valid country code You will choose one value, say for right (your choice) and will output that value iff the t...

Wheat Wizard

Two Drums and a Cymbal Fall off a Cliff

►

New Main Posts

10:20

0

Q: Boot a smallest char set

Choose a char set A. Write some code B in your language with a place, where: when written a string with chars in A, it can stimulate any Brainfuck program. Smallest size(A) win. When size(A) are same, smallest len(B) win. E.g. JavaScript eval("<chars in []()+!>") scores (6, 8), weaker than <cha...

code-golf restricted-source

New Main Posts

10:35

0

Q: VEVO User Account Checker

welcome to my first challenge. We often saw music videos on Youtube. Many Youtube channel that host music videos are "powered by VEVO". Those can be easily identified by both embedding VEVO and appending VEVO to their channel name. Now write some code to test whether a string given by user is V...

code-golf string

dzaima

10:51

is is allowed to mix I/O defaults? for example, give falsy with either returning 0 or an error, and truthy with 1?

New Main Posts

12:10

1

Q: Rational Polynomial Interpolation

Explanation In this task you'll be given a set of N points (x1,y1),…,(xN,yN) with distinct xi values and your task is to interpolate a polynomial through these points. If you know what Lagrange interpolation is you can skip this section. The goal of a polynomial interpolation is to construct th...

code-golf math polynomials

1

Q: what algorithm can solve this task or what math background i would have it to solve this task?

Given a drawing of the letter shoot system, where an existing piece of pipe is marked with a *, and an empty spot is marked with a ., your task is to compile a lexicographically sorted list of index tuples [entry row, entry column, exit row, exit column], where each index is 0-based. Entry and ex...

math matrix algorithm

user202729

12:27

@NewMainPosts I didn't even have time to check the sandbox post!

user202729

12:58

@user202729 Ok, it's my fault.

user202729

13:13

[CMM] Does an answer with an undocumented built-in considered trivial?

New Main Posts

-1

Q: linear algebra- proof that two matrices are row equivalent under certain circumstances

Prove that if M(mxn) ∈ B, A two matrices such that 0 = Ax and 0 = Bx have the same solution space, so A and B are row equivalent.

math matrix linear-algebra

Adám

@NewMainPosts Whoa, you're busy today.

Beta Decay

13:35

Hey

Mr. Xcoder

@BetaDecay Hi!

Beta Decay

What's PPCG V2?

user202729

@HyperNeutrino Setting functions["⍺"] after tokenize is a mistake. I think this is better.

Mr. Xcoder

@BetaDecay An attempt for a new, better site with an improved user experience and features more suitable to code-golf made by Mego, Downgoat and Pavel mostly.

Beta Decay

13:53

Is it available to use yet?

user202729

Not yet. Some critical features are missing.

Link: codegolf.vihan.org

Mr. Xcoder

@BetaDecay Public beta hasn't yet started and I don't think it will start soon. Here it is, though. (note: completely broked for safari)

user202729

Somewhat for Edge too. Let me see... There is a HTML1500: Tag cannot be self-closing. Use an explicit closing tag. message.

Beta Decay

Hm, looks promising. Might replace the need for an app

HyperNeutrino

14:15

@user202729 Hm I'll look into seeing if that's a good idea, thanks for noticing potential bugfixes. I haven't worked on Enlist in a couple of weeks (maybe months) by now, I should get back to it...

Poke

The title unit finally processed my car's title. I might actually be able to register the vehicle today

been trying to get it financed for the past month and a half

user202729

@HyperNeutrino You forgot to init ³⁴⁵⁶⁷⁸⁹ in enlist (not .py) too.

HyperNeutrino

Oh okay, I'll fix that sometime later thanks.

Zacharý

14:40

87400, why did I sign up to download the entire OEIS

Mr. Xcoder

15:09

Holy... I have seen an user which is suspended until 2026!

Zacharý

Who?

user202729

@Zacharý Our rule is "don't mention suspended users' name"...

Zacharý

Still though ... 2026?!

user202729

Effectively forever.

Zacharý

That's ... not effectively forever though. 2099 or something would do the job

Leaky Nun

15:14

Axiomatic set theory challenge: Prove that, in ZF without choice, A surjects onto B implies P(B) injects into P(A).

user202729

@LeakyNun P = power set?

Zacharý

No, no axiomatic set theory. Ask the math stack exchange or even ~~Math Overflow~~

Leaky Nun

lol

@user202729 yes

user202729

@LeakyNun "There exists"?

Leaky Nun

?

"A surjects onto B" means "there exists a surjection A->B"

verb vs noun

Zacharý

15:16

TIL that the Finnish word for "S" is pronounced as "ass"

Finnish orthography

Finnish orthography is based on the Latin script, and uses an alphabet derived from the Swedish alphabet, officially comprising 29 letters. The Finnish orthography strives to represent all morphemes phonologically and, roughly speaking, the sound value of each letter tends to correspond with its value in the International Phonetic Alphabet (IPA) – although some discrepancies do exist. == Alphabet == The following table describes how each letter in the Finnish alphabet (Finnish: Suomen aakkoset) is spelled and pronounced separately. If the name of a consonant begins with a vowel (usually ä [æ])...

Neil

has that nice feeling when you golf 10% off your existing answer

user202729

Won't any "inverse function" suffice...? (sorry I don't know what does ZF contains)

Leaky Nun

@user202729 yes, but prove it

user202729

looking up ZF

Leaky Nun

@user202729 it won't help you

user202729

15:21

How won't that help...?

Leaky Nun

well, it would only give you the axioms, which won't help you much

user202729

So at least I know what to use.

Leaky Nun

it really won't help, but if you insist

just use basic properties of functions

user202729

looking up function properties

I really don't know what can be used in the proof.

Leaky Nun

alright just try to prove it

with anything

I'll tell you when I don't like it

AdmBorkBork

15:26

ZF without choice is rubbish anyway :p

Leaky Nun

@AdmBorkBork ><

get out /s

user202729

I give up. I feel this is really trivial, but I don't have any ground.

Leaky Nun

alright

you need to unfold the definitions

what does it mean for a function to be surjective? injective?

what do you need to prove?

user202729

A function f:A->B is surjective if forall b in B: exists a in A: f(a)=b. Injective doesn't seem to be that nice...

Leaky Nun

injective is nice

it has no existential

user202729

15:40

Let's see.. a function f:B->A is injective if forall b in B: there doesn't exist b' in (B\{b}): f(b)=f(b').

Leaky Nun

nah, there's a nicer definition

without any negatin

user202729

there doesn't exists b, b' : f(b) = f(b') and b != b'.

Better? (I don't think so)

Leaky Nun

without any negation, lol

user202729

Forall b, b' in B: f(b) == f(b') → b == b'.

Leaky Nun

yes

but one direction follows from the definition of function

so you only need one direction

yes

so what do you need to prove now?

user202729

15:46

wait a minute, copying Unicode...

∀A∀B
∃f: ∀b∈B ∃a∈A f(a)=b
⇒
∃F: ∀b,b'⊆B: F(b)=F(b') ⇒ b=b'

Leaky Nun

yes

wait

yes

Zgarb

16:12

@Mr.Xcoder Why is there an implicit doubling in this answer? I'm not familiar with 05AB1E.

ETHproductions

I'd like to post this today, if anyone has feedback (specifically, one domino face or full two-faced domino? vote in the comments please)

mınxomaτ

Oh great, just got confirmation that a delivery guy stole one of the Christmas presents I had ordered. >:(

PhiNotPi

16:39

What was it?

Neil

@Zgarb I don't see one, the code fails for [1, 1] and probably needs a · somewhere.

H.PWiz

Yeah, looks like he had one in the edit history

Zgarb

So it does. I left a comment.

Zacharý

17:07

My OEIS download is at 107500.

Riker

17:29

19

Q: Let's Play Mafia!

Mafia (also known as Werewolf) is a party game that plays roughly like this: The game begins on day 0. After every day n comes a night n. After every night n comes a day n+1. i.e. D0, N0, D1, N1, D2, N2... At the dawn of day 0, a host secretly chooses players to fill certain roles: Some num...

king-of-the-hill

sanity check: does the body of the post mention printing things?

I don't see anything about that, but the example bot uses print not file i/o

MD XF

@Zacharý Mine finished but crashed my server

Zacharý

:|

MD XF

@Mr.Xcoder can you at least link the profile?

Zacharý

Does it still have the file?

MD XF

Yeah, it just came back up

Writing objects: 73%

github.com/aaronryank/Integral/blob/master/oeis.c

Zacharý

17:41

I'll need to leave internet at ~2, so what on earth should I do with the program?

112566

MD XF

Whatever you like, I guess

Keep it for old times' sake? :P

Zacharý

I know I'm going to keep the file, I meant what should I do with the program that's running.

Mr. Xcoder

@MDXF it’s not nice to do that

Adám

CMQ: Is there a name for the law that problems cease to manifest themselves when the appropriate technician finally shows up to look at the issue?

Zacharý

I'm assuming that happened to you?

Mr. Xcoder

17:52

@Zgarb there isn’t. I am dumb

Riker

voting to close this, it's inconsistent and doesn't explain some things

@DJMcMayhem fwiw that suggested edit to the tips answer is perfectly fine syntax

DJMcMayhem

@Riker Really? I got syntax errors when i tried it

Transcript for