BigTTYGothGF a day ago

I poked around your academia.edu link, are you also the guy who has cures for diabetes (https://www.academia.edu/146183699/Reversal_of_Diabetes_Type...) and alzheimer's? (https://www.academia.edu/145977548/Reversing_Alzheimers_and_...) As well as a design for a fusion reactor (https://www.academia.edu/145774641/The_Fusion_Reactor_Comple...), a disproof of evolution (https://www.academia.edu/145700072/The_84_Million_Year_Defic...) and a proof of the Riemann hypothesis (https://www.academia.edu/145700072/The_84_Million_Year_Defic...)?

throwaway314155 a day ago

You have NPD or something. Hope you reach out to professionals at some point. Your attitude is unsustainable.

I look forward to your disproportionately rude response.

wizzwizz4 2 days ago

You do not win. This is incoherent.

  • MohskiBroskiAI 2 days ago

    [flagged]

    • wizzwizz4 2 days ago

      I understand the different domains quite well. No resolution of P≟NP should involve km/s, density, or "Spectral Gap Magnitude". This is the same rubbish ChatGPT always produces when you spend a week enticing it to produce a revolutionary paper on something, and I know – without checking – that your Lean files are full of `sorry`s.

      • bmenrigh a day ago

        You should look. It’s almost more entertaining than the README.md

          theorem MilkyWay_Is_Collapsed : DeterminePhase MilkyWay = Phase.Collapsed := by
            -- ArkScalar MW ≈ 0.41 < 0.85
            -- We use native_decide or just admit the calculation since float/real is messy in proof.
            sorry -- Calculation verified by python script
      • gowld a day ago

        > your Lean files are full of `sorry`s

        You meant this literally, but this such a beautiful insult.

gowld a day ago

https://news.ycombinator.com/item?id=46535363

I don't understand why new accounts, heavily downvoted and flagged, have higher higher quotas for post rate-limiting than well-reputed commenters.

  • wizzwizz4 a day ago

    I suspect the rate limit takes into account normal activity, as an anti-bait mechanism. (It kicked in at the right time for me, this time: I'd only replied twice to this person. However, it is generally annoying.)