Live data from Hacker News

Viewing profile — upquark

upquark

HN member
Joined
Thu, Feb 02, 2012, 2:29 AM UTC
HN karma
176
Public activity
117 items

About upquark

No profile information was provided.

Recent public activity

  1. comment
    Comment #14249202

    > Nowadays, my primary criteria for joining a team is the quality of the people and of the manager. That's mine too, but nowadays teams and especially managers last about 6 months …

  2. comment
    Comment #14175722

    Totally a preference thing. I strongly prefer pandas to dplyr having worked with both.

  3. comment
    Comment #14107760

    How much of success is luck? I honestly don't know. It feels like another feel-good mantra coming out of SV culture. Most successful people I know or have heard of do not fit the p…

  4. comment
  5. comment
    Comment #14100345

    > bilateral clash https://en.wikipedia.org/wiki/Warsaw_Ghetto_Uprising

  6. comment
    Comment #14100014

    What makes reddit and now HN think Ataturk was some sort of beacon of democracy? > In January 1920, Mustafa Kemal advanced his troops into Marash where the Battle of Marash ensued …

  7. comment
    Comment #14083171

    > Defining the set of real numbers is very different from defining all real numbers. I'm saying that ^ sentence makes no sense to me, I don't know how to parse it formally. If you …

  8. comment
    Comment #14082747

    Then we mean different things by define. I am saying the set R (with all its elements) is an uncontroversial, well-defined construction within ZFC. I am leaving out any linguistic …

  9. comment
    Comment #14082692

    I said "and other groups that reject all infinite constructions". Some schools of thought within that general intuitionist/constructivist/etc branch of mathematical logic do reject…

  10. comment
    Comment #14082225

    Oh it's definitely more real, as in it belongs to R and not to any of its extensions. You guys realize that the definition of R is non-controversial in modern math, right? There ar…

  11. comment
    Comment #14082198

    No, my "ill-defined" means "will lead to contradictions if you look too closely", not "I haven't exactly specified what it means".

  12. comment
    Comment #14081764

    Yes but you defined the number just fine, right? "Compute" is a separate issue from "define", you can't compute a lot of things. Is this going in the intuitionistic logic direction…

  13. comment
    Comment #14081437

    Still not sure I follow. Set of non-kings is not ill-defined, not in the same way as set of numbers non-describable by any formal system is.

  14. comment
    Comment #14081429

    My example is incomplete, not faulty. I left it as a question (does the inf belong to the set?). If the answer is yes, we reached a contradiction. If the answer is no, we have to c…

  15. comment
    Comment #14081343

    Wait, you're agreeing with me that the set in question is ill-defined, but still somehow comparable to other sets? I am not sure I follow. My statement is that you cannot meaningfu…

  16. comment
    Comment #14081240

    "Real numbers that cannot be defined with language" is not a well-defined set though. Just like "integers that cannot be described in less than 100 words" is not well-defined (I co…

  17. comment
    Comment #13992987

    $25 - two sandwiches from Toasties baby :o

  18. comment
    Comment #13986687

    Do the esteemed downvoters care to substantiate their position with anything other than "my daddy said so" anecdotes?

  19. comment
    Comment #13986638

    Is this slave mentality or what? If I make 350k+, and a startup is telling me I should take their 150k base + worthless options deal, or else I've "pigeonholed myself in the curren…

  20. comment
    Comment #13981396

    This whole discussion is setting off my BS detectors (your comments specifically, dad with HS degree vs 'the Chinese', etc), and to be honest, the whole tribal knowledge thing may …

  21. comment
    Comment #13895866

    It's just that the answer to the question posed in the headline is a definite 'no'. This type of silly inquiry into "is Azeri related to Sumerian", "is Georgian related to Chinese"…

  22. comment
    Comment #13863290

    > It looks like every kind of screening of immigrants will deter the more desirable ones As someone who self-selected the name 'bayesian_horse', can you please cite the evidence yo…

  23. comment
  24. comment
    Comment #13805392

    Strange not to see Nietzsche here. Twilight of the Idols was his first book I read, then I ended up reading all the others without taking a break. Can't agree with everything he sa…

  25. comment
    Comment #12849717

    Your annoyingly patronizing tone aside, I'll try to address what you're saying. > ...the class hierarchy: as an example, in Pharo Smalltalk you have the following hierarchy: ProtoO…