Live data from Hacker News

Viewing profile — bitdizzy

bitdizzy

HN member
Joined
Fri, Jun 19, 2020, 9:15 PM UTC
HN karma
276
Public activity
134 items

About bitdizzy

[ my public key: https://keybase.io/bitdizzy; my proof: https://keybase.io/bitdizzy/sigs/CWf8_sulAck0EfbU3JHdemp3iO1gV6L0pSGaK69XGNQ ]

Recent public activity

  1. comment
    Comment #26745591

    I've been following this discussion closely because I work in adjacent areas and have dipped into Coq and Agda. Now that I see it on hackernews and all sorts of comments speculatin…

  2. comment
    Comment #26740588

    Almost by definition society is the negotiation of our behavior toward each other because otherwise we would impinge on each others' freedom to act as we please in intolerable ways…

  3. comment
    Comment #26740528

    What people say are their values and the values revealed by their actions can be different. Moreover one can express certain values in pursuit of goals that are incompatible with t…

  4. comment
    Comment #26740384

    We live in a society

  5. comment
    Comment #26662804

    > I am curious as to how? Special relativity describes a flat lorentzian manifold. The uniform expansion of the universe implies that the curvature of spacetime is slightly negativ…

  6. comment
    Comment #26652507

    Non-measurable sets are precisely the kinds of things Arnold wanted marginalized in mathematical pedagogy, instead of placed front and center. They are necessary auxiliaries to the…

  7. comment
    Comment #26652371

    The first use of complex numbers was as intermediate quantities in the calculation of the roots of cubic polynomial functions. This use is analogous to using negative numbers in a …

  8. comment
    Comment #26651673

    For Arnold, mathematics is rooted in physical intuition and experimental inquiry. Can you name some math that is completely disconnected from that intuition?

  9. comment
    Comment #26651623

    A lorentz boost is just a change of perspective. Let's say you have a bubble that is at rest with respect to your reference frame. Well, someone flying by your solar system has jus…

  10. comment
    Comment #26651432

    Why is this obviously wrong?

  11. comment
    Comment #26634869

    So the thing that paper does is it assumes you can make warp bubbles in any reference frame. The original paper makes one warp bubble and this doesn't lead to anything paradoxical.…

  12. comment
    Comment #26630784

    The name tachyonic antitelephone is a bit unfortunate because it need not involve tachyons. All it takes is the ability to send a message outside of your light cone. Along the path…

  13. comment
    Comment #26621832

    it's not like a thunder storm. The wikipedia page has a worked out example. If you can go back and forth between 2 places FTL you can arrive before you left and interfere with your…

  14. comment
    Comment #26617483

    https://en.m.wikipedia.org/wiki/Tachyonic_antitelephone

  15. comment
    Comment #26617414

    Volunteering yourself, or others?

  16. comment
    Comment #26612826

    I got a batch of medlars from a farm this last winter! We ate the first few too soon but the rest were amazing, and very late into the winter when we dont really have fruit besides…

  17. comment
    Comment #26610967

    Since ssrn is like social science arxiv let's just throw preprints around. This paper examines the submitted one as well as another. https://arxiv.org/abs/2010.16084 This paper exa…

  18. comment
    Comment #26607957

    The analog hole applies to digital currency, too.

  19. comment
    Comment #26563398

    So much for the tolerant left.

  20. comment
  21. comment
    Comment #26527927

    He wasn't just a white supremacist, he developed the framework he did specifically because he wanted to elevate certain forms of music as superior and "White". > Using Music theory…

  22. comment
    Comment #26525845

    I dont know which video you watched but it's basically true that what most people call Music Theory focuses much of its attention on a narrow period of music on a narrow continent …

  23. comment
    Comment #26491620

    MLK was not by any means color blind. The only way you could come to that conclusion is if your entire understanding of his politics were a single sound bite.

  24. comment
    Comment #26449951

    It's not an axiom. It's a fundamental disagreement about how society should be and an understanding of what the world would be like if nazis have the power to change it to suit the…

  25. comment
    Comment #26446684

    It is entirely and issue of the means of communication being concentrated into the hands of a few powerful organizations, like its been since the radio was captured by capitalist r…