Then yes.

cool!

A countably infinite number of sets with countably infinite members is still countably infinite altogether.

Incidentally, doesn't this sound like Z^2? :P

Oh, that makes sense

... oh

@CᴏɴᴏʀO'Bʀɪᴇɴ Well, the Cartesian product Z^infinity is uncountable. But the direct sum of a countable number of Zs (the infinite sequences where a finite number of coordinates are non-zero) is countable.

@CᴏɴᴏʀO'Bʀɪᴇɴ you should get some sleep

@Zgarb Ah.

Bah, I messed that up. I had the wrong model in mind.

@quartata I'm at school :(

If you ever have trouble remembering, just remember that Hilbert's hotel is still full today, but can always make room for you.

:D Hilbert's hotel!

Yes, Z^infinity is uncountable because that's the reals!

"that's" meaning "Z^inf = R" or meaning it's the same sort of infinity?

Same sort of infinity, and you can use the same proof for both.

Damn very slow 'net connection!

I see. Relevantly, have you ever tried to convince a layman anything about infinity?

it's hard :(

Yes, I have.

And a friend who definitely isn't a layman.

@CᴏɴᴏʀO'Bʀɪᴇɴ What were you trying to convince them of?

The layman was awful, the non-layman was relieving.

@QPaysTaxes I got it and was amused, and yes, it was bad. :P

^

without the amused part

@CᴏɴᴏʀO'Bʀɪᴇɴ You just need better explaining skills: math.stackexchange.com/a/60783/12272

@El'endiaStarman "Sets can have an infinite number of members but have different amounts of things in them"

@Sp3000 what do u thinnk of a programming-challenge about alphaveta pruning ?

@CᴏɴᴏʀO'Bʀɪᴇɴ Yeah, to prove that, you'd have to bust out Cantor's Diagonalization argument.

^

@El'endiaStarman I tried, but then my friend was like "but it's still the same set, you're just arranging it differently."

@Agawa001 Depends on what you actually have to do in the challenge probably, as in how are you going to force people to use alpha/beta without making it seem artificial

@Zgarb Did you see this?

@QPaysTaxes Oooh, I'll try to be as succinct as I can.

grabs popcorn

@QPaysTaxes Just a skinny one, right?

@CᴏɴᴏʀO'Bʀɪᴇɴ No, that's interesting!

@QPaysTaxes -3, actually... >_>

^

....

@Zgarb Yeah! What do you think about it?

@CᴏɴᴏʀO'Bʀɪᴇɴ 10/10

@EᴀsᴛᴇʀʟʏIʀᴋ what about it?

@Sp3000 no, nothing such, the challenge aims to maximise number of branch-disconnecting

@CᴏɴᴏʀO'Bʀɪᴇɴ all of it

@EᴀsᴛᴇʀʟʏIʀᴋ \o/

<3

@QPaysTaxes How about college algebra?

@QPaysTaxes Ah, it's accessible to even middle/high schoolers, I think.

@QPaysTaxes Oh, that linear algebra. :P

@Agawa001 So... code-challenge?

The gist is that even if you have an infinite number of sequences with an infinite number of elements each, you can always take one item from each sequence and change it so it doesn't match with the sequence you took it from. The end result is that you have a new infinite sequence that isn't in the original infinite list.

@Sp3000 yes, and merged with a score for time execution

That's how far I got in math, and I've been a professional dev for ~3 years now.

yup

The elements are digits, in this case.

exactly

@QPaysTaxes I didn't know how old you are :| and hi-five, high school!

@TimmyD Pre-linear algebra version: "You should already know this!" or "You learned this in algebra."

@Agawa001 I see... sure, if you come up with a good spec chuck in the sandbox, but you'll probably want to think about how you're defining the search space being pruned/how to test submissions

@QPaysTaxes nice! don't get drunk too soon ;)

^

@QPaysTaxes best generation for intuition is division by N or square root

@CᴏɴᴏʀO'Bʀɪᴇɴ You learned this in kindergarten, right? "no. i never learned the alphabet, only calculus. sorry."

@QPaysTaxes ahaha

@TimmyD Actually, today our lecturer actually stopped and asked whether we all knew Jordan normal form, and said after a few blanks stares: "don't worry, good thing I don't either" and proceeded to Wikipedia it

rofl

@EᴀsᴛᴇʀʟʏIʀᴋ I'm lolling and my teacher's like wth? and she's a math teacher, and laughed too. And we're the only math people in here

@CᴏɴᴏʀO'Bʀɪᴇɴ wait you got busted?

rofl

@EᴀsᴛᴇʀʟʏIʀᴋ not busted, just sharing a joke :P

my joke or a different one?

yours

I FEEL SO APPRECIATED

^_^

hmmm , "how to test submissions" this poses a major problem

@CᴏɴᴏʀO'Bʀɪᴇɴ Personally, I don't think I would recommend J for mathematics, if the goal is to "get things done". There are other free languages and libraries (Octave, SageMath etc) that can do everything J can, have a much more familiar syntax, and are more widespread. For throw-away calculations, J is great, but eventually you'll want to save a program, understand it later, and share it to others.

If you want to do mathy things Octave is really good.

@Zgarb That's a really good point. I hadn't thought about the sharing aspect of it before.

@quartata can I have a link?

gnu.org/software/octave

That's pretty much all I use.

mathematica is nice but you don't need it for most things

and it's a satellite cannon thing

@quartata It's also not free, which is annoying if you want to share something and others don't have a license.

but of course noone can admit that a pogram which outputs a data configuation of same score as another one of lengthier execution-time, are equi-ranked, which gives a priority to time

s/noone/no one/

s/.../.... which syntax is this ?

grammar is good, please apply it

@Agawa001 sed

@Zgarb Yeah exactly

regex ?

yeah

pretty much

Yeah, it's regex replacement.

(PythonEnv)
zyabin101@avista MINGW32 /e/PythonEnv (master)
$ cat hello.py
print "Hello, World!"
(PythonEnv)
zyabin101@avista MINGW32 /e/PythonEnv (master)
$ python hello.py
Hello, World!
(PythonEnv)
zyabin101@avista MINGW32 /e/PythonEnv (master)
$ # \o/

u people are incridebly fond of regex arent u ?

s/find/replace/

s/^.+$/yes/

@CᴏɴᴏʀO'Bʀɪᴇɴ Yeses everywhere...EVERYWHERE. Err, I mean... Yes yes...YES.

@El'endiaStarman s/yes/yes yes yes/r

@El'endiaStarman Uh, you okay over there? :P

@CᴏɴᴏʀO'Bʀɪᴇɴ Stack Overflow!

@CᴏɴᴏʀO'Bʀɪᴇɴ Kernel panic

@Geobits Blame Conor.

I usually do.

@Geobits ಠ_ಠ

>:|

it's not always my fault >_>

I didn't say "always" ;)

The nice part about Octave is that it also has a nice package manager

I've found that if there's any weird shit that Mathematica has that Octave doesn't there's usually a package for it

@Mego Definitely a plus. :PP

# The virtualenv environment is a brand new world.
# I can try tons of packages - and all without being afraid.

(PythonEnv)
zyabin101@avista MINGW32 /e/PythonEnv (master)
$ deactivate

zyabin101@avista MINGW32 /e/PythonEnv (master)
$ git add . && git commit -m "Hello, World!"
[master 1c23820] Hello, World!
 1 file changed, 1 insertion(+)
 create mode 100644 hello.py

almost attained

@TimmyD What's worse is when they say, "You should remember this from linear algebra." I can only think, "Well that's unfortunate because I don't."

People keep telling me that Sage is the greatest thing since sliced bread

@Mego link?

It's alright

I haven't tried it

I haven't used it in about 6 years

@EᴀsᴛᴇʀʟʏIʀᴋ sagemath.org

in the future of self driving cars, will tow trucks still be manual?

haha

got it

10/10 using sage

I kind of hated linear algebra when I took it because I didn't really understand it at the time. I should go back through my textbook.

@Mego that's the most useful library

@NathanMerrill The hooking up the car to the truck part will probably remain manual for a while.

@quartata yah

@Mego which is?

@El'endiaStarman right, but sometimes cars get into crazy spots/positions, and getting your automated car to the right position makes me think that the driving portion would be manual as well

It seems to me like linear algebra isn't taught quite practically enough. I remember some of the LinAlg class I took, but I haven't used much of anything, really.

Data trying to fit into skinny jeans

Always a bad time

@NathanMerrill Oh yeah, that too. The AI will probably get good enough eventually, though.

what is worse is regex designed to parse html trying to fit into SO.

@El'endiaStarman Unfortunately, yeah, it's only later when you realise what it's actually useful for... :/

Oh, I know I've forgotten a lot of advanced mathematics. Makes me kinda sad, because I really enjoyed it while I was at university, and I still follow things like this site and Numberphile and whatnot.

@Mego That seems suspiciously like you could transform the data so you can do a linear regression on it.

@Mego It's taken 12 hours for that?

@TimmyD And I guess that's why you're also here :P (kinda)

@Sp3000 Yeah, probably. I wish I could remember what drew me in (how I stumbled on this site).

._.

Sage is huge.

takes forever to download...

import nsf_grant_money

nsf_grant_money.spendAll(targets=nsf_grant_money.ON_HATS)

I thought the whole point of Sage was that it had a cloud interface.

mac takes forever

someone ping me

What's your IP?

@quartata The whole point? I think the point is that it's a free CAS.

like, in chat

@Conor - why do you want someone to ping you? :P

Testing if my speakers work

@CᴏɴᴏʀO'Bʀɪᴇɴ THUNK

@CᴏɴᴏʀO'Bʀɪᴇɴ Surely there's a better way to do that

maybe

I had my headphoens out tho

try again? :(

There's this magical thing called YouTube that has sound

Just pull up a Youtube video with music...

my school hates magic

although I can now confirm my speakers are not working

brb

"restarting the computer fixes everything in windows"

@Mego I tried that on a customer's computer once, but it was still a Mac.

:D

it works now

@TimmyD you got rid of all windows in the cpu? weren't they mad that you broke their screen? :P

@CᴏɴᴏʀO'Bʀɪᴇɴ No ... "restarting the computer fixes everything" but it was still a Mac.

XD

@TimmyD :/

-_-

Can accomplish the task in the challenge and leave a input prompt open?

Don't get me wrong, Apple makes great hardware ... OSX is just ...

I actually really like OS X.

@EᴀsᴛᴇʀʟʏIʀᴋ It's a function.

?

@TimmyD +1

I got a macbook since a week and im loving it so far

:D

@CᴏɴᴏʀO'Bʀɪᴇɴ Like assume input is on stack?

I can do that.

@EᴀsᴛᴇʀʟʏIʀᴋ No. It's a function submission.

Anonymous function is equivalent to a function being reutnred

oh

.