Posts with #haltingProblem

#haltingProblem

Public posts on X that use #haltingProblem.

Related hashtags

  1. Anders Sandberg@anderssandberg
    One of the downsides with doing theoretical and simulation work is that working from home is nearly exactly the same. Except that now there is no point in stopping because you want to go home.
    2342
  2. braai engineer✓@BraaiEngineer
    Has GPT3 solved a subset of The Halting Problem? I've been teaching it my pet computer science theories to apply the LaPlace transform to calculate the energy bounds of recursive programs in the frequency space. Better responses than Big-O, IMO. #GPT3 #clojure #haltingproblem
    Download
    103
  3. Elon Musk✓@elonmusk
    Great work by the X/Twitter team
    Safety @Safety
    More than 99% of content users and advertisers see on Twitter is healthy. And the reach of hate speech on Twitter continues to represent an extremely small fraction of the overall conversation. This past March, Twitter partnered with Sprinklr to understand, measure and reduce hate speech using its AI-based model and to further our commitment to create a brand-safe environment for our agencies and advertisers. Today we’re sharing an update that includes all of April and May 2023. Sprinklr’s independent model continues to show the reach of daily English-language hate speech impressions is even lower than Twitter’s own model estimates. Sprinklr estimates the average daily number to be 0.003% compared to Twitter’s estimate of 0.012% for the period of January 1, 2023 to May 31, 2023. Additionally, we estimate hate speech impressions are 30 percent lower on average vs. pre-acquisition. In June we significantly expanded our Freedom of Speech, Not Reach policy enforcement, which dramatically reduces impressions on harmful content. And all indicators for June and July show sustained progress. Our work is ongoing and we’re proud of the progress we’re making in maintaining a healthy global town square that is open for everyone to be themselves.
    4.5K6.1K69.3K23.1M
  4. Safety✓@Safety
    More than 99% of content users and advertisers see on Twitter is healthy. And the reach of hate speech on Twitter continues to represent an extremely small fraction of the overall conversation. This past March, Twitter partnered with Sprinklr to understand, measure and reduce hate speech using its AI-based model and to further our commitment to create a brand-safe environment for our agencies and advertisers. Today we’re sharing an update that includes all of April and May 2023. Sprinklr’s independent model continues to show the reach of daily English-language hate speech impressions is even lower than Twitter’s own model estimates. Sprinklr estimates the average daily number to be 0.003% compared to Twitter’s estimate of 0.012% for the period of January 1, 2023 to May 31, 2023. Additionally, we estimate hate speech impressions are 30 percent lower on average vs. pre-acquisition. In June we significantly expanded our Freedom of Speech, Not Reach policy enforcement, which dramatically reduces impressions on harmful content. And all indicators for June and July show sustained progress. Our work is ongoing and we’re proud of the progress we’re making in maintaining a healthy global town square that is open for everyone to be themselves.
    3.4K9407.1K34.4M
  5. Nilesh Gupta 🦇🔊@0xNilesh
    Thread: The Role of Gas in Ethereum Did you know that the concept of gas in Ethereum was introduced as a way of addressing the Turing halting problem? [1/4]
    102213
  6. Nilesh Gupta 🦇🔊@0xNilesh
    @0xNilesh
    But in Ethereum, gas serves as a way of ensuring the efficiency and reliability of the network by requiring users to pay for their actions in a way that reflects the computational resources needed to execute them. [3/4]
    102102
  7. Nilesh Gupta 🦇🔊@0xNilesh
    @0xNilesh
    This helps to prevent the network from being bogged down by transactions that may never complete, and ensures that only those actions that can be completed within a reasonable amount of time are executed. [4/4] #Ethereum #Turing #haltingproblem
    00283
  8. Prof. Barry O'Sullivan, MRIA@BarryOSullivan
    Internet services are, of course, reliable. But they are built by human beings so things will go wrong from time to time. Also, it is technically impossible to prove, in general, that code is bug-free. Check out the #HaltingProblem
    Irish Examiner @irishexaminer
    Irish Examiner view: Internet services need to be reliable
    308
  9. Irish Examiner@irishexaminer
    Irish Examiner view: Internet services need to be reliable
    000
  10. Stephen Oladeji@RealSaintSteven
    @RealSaintSteven
    Non computable functions are those that lack any of the above attributes. e.g. Modelling human emotion is a non-computable problem. Computability of a problem is closely linked to the existence of an algorithm to solve the problem. #Computability #Complexity #ComplexTheory #AI
    111
  11. Simon Tiger Houben@simontigerh
    You can easily turn every statement into a program. If the program stops, or "halts", then the statement is true, and if it never stops, or "loops", the statement is false. So we can prove everything! Can we do that, though? #haltingproblem
    002
  12. Christoph Engemann @[email protected]@NoisyNarrowBand
    „Wirklich neues“ könne aus Algorithmen und Daten nicht entstehen behauptet die Philosophin Lisa Herzog im @DLF Gespräch. Gewagt, denn ob Computation nicht etwas zwischen Determinismus und Kontingenz liegendes zeitigt, ist eine offene Frage. #haltingproblem
    037
  13. Show more posts