Stack Exchange
log in

John_Krampf

 Discussion on question by Tom: How to…

Imported from a comment discussion on academia.stackexchange.c...
John_Krampf
Aug 18, 2021 14:12
@KonradRudolph The problem is that "constructiveness" is something that senior people use to shield themselves from criticism of punching down. What we need is more equitable representation of junior members in decision making, as it is now OP's only recourse is to go to the University's HR department.
John_Krampf
Aug 18, 2021 14:12
@KonradRudolph The senior members critiqued OP's experiment proposal when they should have used their senior positions to support her instead of punch down on her.
 

 Mathematics

Associated with Math.SE; for both general discussion & math qu...
5
John_Krampf
Aug 10, 2021 16:25
Maybe she'd like soy milk? I usually drink soy milk, though not because I hate milk but because there's less cholesterol
John_Krampf
Aug 10, 2021 16:19
@robjohn D:<
John_Krampf
Aug 10, 2021 16:17
I LIKE MATH
John_Krampf
Feb 11, 2021 15:12
@AlessandroCodenotti Thank you I will check it out
John_Krampf
Feb 11, 2021 15:02
Nice, thank you
John_Krampf
Feb 11, 2021 14:58
Do you have a recommended text for Logic as well?
John_Krampf
Feb 11, 2021 14:57
I have another question, I never took a logic course either but a few years ago I studied a few introductory chapters on propositional and 1st order logic on my own. Is there a connection between that and set theory?
John_Krampf
Feb 11, 2021 14:56
Thank you :)
John_Krampf
Feb 11, 2021 14:53
(and if so then what part?)
John_Krampf
Feb 11, 2021 14:52
@LeakyNun Thank you. Also there is something else I was hoping to maybe learn one day. I had a logician friend who drew me a rough picture of it one day. Where you have a "logical system" that is "inside" another logical system like a 2d space embedded inside a 3d space, and then you talk about what statements are provable in the 2d space vs what statements are provable in the 3d space. Is that also in there?
John_Krampf
Feb 11, 2021 14:50
@LeakyNun Nice, thank you
John_Krampf
Feb 11, 2021 14:49
@LeakyNun I want to understand what is meant by "The Constructible Universe" what is in the constructible Universe, and what is outside the constructible universe
John_Krampf
Feb 11, 2021 14:48
@LeakyNun Thank you
John_Krampf
Feb 11, 2021 14:48
@LeakyNun PhD in Math, but I never had a course in set theory, I studied Functional Analysis and Differential Equations
John_Krampf
Feb 11, 2021 14:47
recommendations on self-teaching set theory?
John_Krampf
Dec 17, 2020 15:26
@GeorgFriedrichBernhardRiema swag
John_Krampf
Dec 17, 2020 07:08
@copper.hat Nice
John_Krampf
Dec 17, 2020 06:51
@copper.hat yep exactly. thanks I appreciate you said it's nice and simple, the highest compliment!
John_Krampf
Dec 17, 2020 06:46
@GeorgFriedrichBernhardRiema You're welcome, glad to help. One last thing if you like Princeton Encyclopedia of Mathematics there is also Princeton Encyclopedia of Applied Mathematics and it's sufficiently mathematical to be of interest to mathematicians.
John_Krampf
Dec 17, 2020 06:45
@GeorgFriedrichBernhardRiema Princeton Excyclopedia of Mathematics is good articles of mathematics written by great contemporary mathematicians. If you're looking for older mathematicians the Great Books of the Western World series has volumes from ancient greece up to the 19th and maybe early 20th century. For 20th century great Soviet mathematicians surveying topics you can try Mathematics: Its Content Meaning and Methods
John_Krampf
Dec 17, 2020 06:43
Premise 1, if a point where the first co-ordinate X is reachable, then there must be points reachable that have the first co-ordinate be X' for every X' between 0 and X.
Premise 2, the sum of the digits of 9951 is greater than 23.
Suppose for the sake of contradiction there is a point with a co-ordinate greater than 9950 ( meaning it is 9951 or greater). By Premise 1 this would imply by there is a point that is reachable with a coordinate of 9951, which contradicts premise 2. Thus there are no points reachable that have a coordinate greater than 9950 so the region of reachable points is bou…
John_Krampf
Dec 17, 2020 06:16
yes that is correct, but if I understand your lines 43-44
IEnumerable<(int, int)> uniquePoints = pointsToCheck.Distinct<(int, int)>();
pointsToCheck = ToStack<(int, int)>(uniquePoints);
That should take care of it?
John_Krampf
Dec 17, 2020 06:13
@BlackPanther that should work
John_Krampf
Dec 17, 2020 06:13
@copper.hat It is easy to prove to yourself that no point with a coordinate greater than 9950 could ever be reached.
John_Krampf
Dec 17, 2020 04:45
@DarkRunner "Associated with Math.SE; for both general discussion & math questions alike. Just ask; don't ask to ask."
John_Krampf
Dec 17, 2020 04:39
@copper.hat @BlackPanther this is a good idea
John_Krampf
Dec 17, 2020 04:39
@BlackPanther In line 40 does your code recognize (x, y) as a point instance?
John_Krampf
Dec 17, 2020 04:37
@BlackPanther one thing I notice on line 78, when you convert to string in order to add the digits, is that for negative numbers you will have a "-" in front, right? so this would throw an error?
John_Krampf
Dec 17, 2020 03:50
@BlackPanther correct
John_Krampf
Dec 17, 2020 00:04
Hmmmm
John_Krampf
Dec 17, 2020 00:01
@copper.hat haha is TCL really still used that much though?
John_Krampf
Dec 16, 2020 23:58
@user91411 hello
John_Krampf
Dec 16, 2020 23:36
@user2103480 i.e. contentment!
John_Krampf
Dec 16, 2020 23:34
@user2103480 the cat was happy though
John_Krampf
Dec 16, 2020 23:33
@AlessandroCodenotti sometimes dumb just means you have priorities in order, instead of wasting your 20s in grad school
John_Krampf
Dec 16, 2020 23:01
@user2103480 I agree with this a lot.
John_Krampf
Dec 16, 2020 22:59
@user2103480 pretty fair to be honest. unless you find some intrinsic beauty to it, though there's a limit to that because learning something for its intrinsic beauty is a luxury
John_Krampf
Dec 16, 2020 22:58
@Thorgott of all things I learned measure theory is one of the most useful
John_Krampf
Dec 16, 2020 22:52
@user2103480 yeah... "logic programming" is a bit of a pipe dream forcing logic on to programmers and programming onto logicians. I wish people just learned prolog as a programming language with cool features as opposed to the AI friend you wished existed but really doesn't
John_Krampf
Dec 16, 2020 22:04
@copper.hat If only Everyone Listened To Me!!
John_Krampf
Dec 16, 2020 22:01
@copper.hat it's the curse of working in tech startups when we hire inexperienced 20 somethings who will look for any excuse to play with new technology rather than build new features or fix bugs on an existing code base
 

 Discussion on question by Harry Reed:…

Imported from a comment discussion on academia.stackexchange.c...
John_Krampf
Mar 13, 2021 15:57
Funny thing about that, people with more academic experience are better at creating simpler solutions than people with less academic experience.
John_Krampf
Mar 13, 2021 15:57
Don't forget that often a simple solution is more robust and easier to implement than a complex solution.
John_Krampf
Mar 13, 2021 15:56
The main thing that PhDs and other academics need to enter industry is emotional intelligence, like how to interview and how to understand your prospective employers and clients and then how to translate between business problems and whatever technical solution you may come up with.
John_Krampf
Mar 13, 2021 15:55
I mean you can improve your skills while doing a post doc, but you won't be improving them as much in the DS direction as you would have if you had simply done in to industry now.
John_Krampf
Mar 13, 2021 15:54
I think the Chinese aspect of the question is a rounding error in the considerations of any future data science employer compared to the track of the career history. I think the question should revolve around why are you doing a post doc if your plans are to go in to industry. It honestly sounds like you are secretly hoping to stay in academia and justifying it by saying you are buffing your DS skills where really this isn't going to help that much beyond what you've already done with the PhD.
John_Krampf
Mar 13, 2021 15:51
Get ready, because here it comes!
John_Krampf
Mar 13, 2021 15:51
I'm here because I have strong opinions on the China post-doc question but I don't think I have anything to add there that hasn't already been said, so now I'm here to just let it all out in this chat.