home.social

#computation — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #computation, aggregated by home.social.

fetched live
  1. Ultrametric (non-Archimedean) #mathematics provides the correct state-space geometry for #physics, #computation, and optimization, and the Archimedean (∞-place) description is a limit-point readout of this richer structure.

  2. LLMs versus the Halting Problem

    Recent advances in LLMs raise a natural question: To what extent can they reason about program termination?

    #computation #language #programming #LLMs

    arxiv.org/pdf/2601.18987

  3. LLMs versus the Halting Problem

    Recent advances in LLMs raise a natural question: To what extent can they reason about program termination?

    #computation #language #programming #LLMs

    arxiv.org/pdf/2601.18987

  4. “Since antiquity, #mathematicians have suspected that O(n2) was an inherent speed limit for #multiplication. The celebrated Soviet math professor #AndreyKolmogorov posed the O(n^2) speed limit as a formal #conjecture and mentioned it during a 1960 seminar at Moscow State University. Whenever mathematicians propose a conjecture, they are planting a flag of sorts and waiting for others to either prove or disprove them. It took just a week for #AnatolyKaratsuba, then a 23-year-old student in the audience, to return and prove Kolmogorov wrong. Kolmogorov was stunned. The result was published in the prestigious Proceedings of the USSR Academy of Sciences, but amusingly, Karatsuba didn’t write it. Kolmogorov wrote the formal proof himself and submitted it for publication with Karatsuba listed as the lead author. Karatsuba only found out about the paper when he received the reprints in the mail.

    Karatsuba’s genius was realizing that you can trade expensive, time-consuming multiplications for cheap, fast #additions. Adding two n-digit numbers takes only O(n) time because it entails a single sweep through the digits rather than a complete sweep through the top number for every digit of the bottom number, as in multiplication.”

    #maths / #computation <scientificamerican.com/article>

  5. “Since antiquity, #mathematicians have suspected that O(n2) was an inherent speed limit for #multiplication. The celebrated Soviet math professor #AndreyKolmogorov posed the O(n^2) speed limit as a formal #conjecture and mentioned it during a 1960 seminar at Moscow State University. Whenever mathematicians propose a conjecture, they are planting a flag of sorts and waiting for others to either prove or disprove them. It took just a week for #AnatolyKaratsuba, then a 23-year-old student in the audience, to return and prove Kolmogorov wrong. Kolmogorov was stunned. The result was published in the prestigious Proceedings of the USSR Academy of Sciences, but amusingly, Karatsuba didn’t write it. Kolmogorov wrote the formal proof himself and submitted it for publication with Karatsuba listed as the lead author. Karatsuba only found out about the paper when he received the reprints in the mail.

    Karatsuba’s genius was realizing that you can trade expensive, time-consuming multiplications for cheap, fast #additions. Adding two n-digit numbers takes only O(n) time because it entails a single sweep through the digits rather than a complete sweep through the top number for every digit of the bottom number, as in multiplication.”

    #maths / #computation <scientificamerican.com/article>

  6. A wound is not a data point fed into a cost function; it is a structural change to the organism that experienced it, reorganizing future behavior at the level of the body rather than through a parameter update chosen by an external optimizer.🌱

    athinkerinnature.substack.com/

    #AI #AGI #AMI #LeCun #Computation #Intelligence #Mathematics #Uncertainty #Humanity #Evolution #Consequence

  7. A wound is not a data point fed into a cost function; it is a structural change to the organism that experienced it, reorganizing future behavior at the level of the body rather than through a parameter update chosen by an external optimizer.🌱

    athinkerinnature.substack.com/

    #AI #AGI #AMI #LeCun #Computation #Intelligence #Mathematics #Uncertainty #Humanity #Evolution #Consequence

  8. Alright, future engineers!
    **Floating Point:** How computers store real numbers, using finite bits. This causes small round-off errors.
    Ex: `0.1 + 0.2` often not `0.3` exactly.
    Pro-Tip: Avoid `==` for floats! Use `abs(a-b) < epsilon` for checks.
    #NumericalMethods #Computation #STEM #StudyNotes

  9. #OnThisDay Birth Anniversary of Alan Turing (1912) - highly influential in the development of theoretical computer science, providing a formalisation of the concepts of #Algorithm and #Computation.

    Christoper Lotham Sholes received patent for Typewriter (1868).

    Happy Birthday Zinedine Zidane (1972).

    Today is UN Public Service Day, International #WidowsDay.

    knowledgezone.co.in/news

  10. #OnThisDay Birth Anniversary of Alan Turing (1912) - highly influential in the development of theoretical computer science, providing a formalisation of the concepts of #Algorithm and #Computation.

    Christoper Lotham Sholes received patent for Typewriter (1868).

    Happy Birthday Zinedine Zidane (1972).

    Today is UN Public Service Day, International #WidowsDay.

    knowledgezone.co.in/news

  11. Due donne programmatrici hanno svolto un ruolo fondamentale nella nascita della teoria del caos. La loro storia, finora inedita, illustra il cambiamento di ruolo del calcolo nella scienza.
    #computation #programming #complexity #womens
    quantamagazine.org/the-hidden-

  12. Due donne programmatrici hanno svolto un ruolo fondamentale nella nascita della teoria del caos. La loro storia, finora inedita, illustra il cambiamento di ruolo del calcolo nella scienza.
    #computation #programming #complexity #womens
    quantamagazine.org/the-hidden-

  13. I am so curious about how FreeBSD would handle a non-trivial computational workload (joblib-based parallelisation) !

    But I don't want to mess up my work computer. The scientist me is working so hard to keep the tinkerer me in check.

    (He's done an excellent job so far)

    Anyone willing to share their experience of the setup though ? I'm so curious !

    #freebsd #bsd #computation #os

  14. I am so curious about how FreeBSD would handle a non-trivial computational workload (joblib-based parallelisation) !

    But I don't want to mess up my work computer. The scientist me is working so hard to keep the tinkerer me in check.

    (He's done an excellent job so far)

    Anyone willing to share their experience of the setup though ? I'm so curious !

    #freebsd #bsd #computation #os

  15. To me, the Lambda calculus actually "feels like" a way of computing algorithms by hand, if that makes sense. Like if I was stuck in a bunker without electricity, I couldn't run a Python program. But I could express a computation in lambda terms and do beta reduction.

    #LambdaCalculus #Maths #Math #Computation

  16. To me, the Lambda calculus actually "feels like" a way of computing algorithms by hand, if that makes sense. Like if I was stuck in a bunker without electricity, I couldn't run a Python program. But I could express a computation in lambda terms and do beta reduction.

    #LambdaCalculus #Maths #Math #Computation

  17. @computingnature The idea is provocative: Spontaneous activity may reflect a useful "critical initialization" for biological networks, providing a dynamical scaffold for #memory and time-dependent #computation.

    #Neuroscience #CompNeuro #NeuralDynamics

  18. @computingnature The idea is provocative: Spontaneous activity may reflect a useful "critical initialization" for biological networks, providing a dynamical scaffold for #memory and time-dependent #computation.

    #Neuroscience #CompNeuro #NeuralDynamics

  19. EFFecting Change is where we should be in our great #infosec neural net right about now, ya?

    Doctorow on a bike with wheatpasting posters? Yes, that's where it starts in the retrocausality time loom.

    Discussion also includes a reference to CARDIAC, or CARDboard Illustrative Aid to Computation, a fantastically neat circa-1968 resource for teaching / learning or (thanks to the blog offering the schemas downloadable) #CNC machining as a reference and #computation resource.

    I really like the idea of ripping out everything trying to turn #AI into a metered "utility" like that other college dropout CEO, Sam Altman wants.

    :blobcat_thisisfine: :blobcat_thisisfine:
    :blobcat_thisisfine: :blobcat_thisisfine:

    Because he lacks creativity,
    has an alleged bloodthirsty thirst for control
    thirst to control work
    he did not create and
    code could never code himself,

    :blobcat_thisisfine: :blobcat_thisisfine:
    :blobcat_thisisfine: :blobcat_thisisfine:

    Cory Doctorow's take is not optimistic, but, as he says "hopeful" because hope involves the idea that you/me/we/us can do things to make the change. Where optimism is the idea that things will get better no matter what.

    I don't think things are going to get better no matter what, but I do agree that open is the way to be.

    And so there's only one way to fix this, and it's to rip out all the unauditable, opaque
    remote controlled, untrustworthy proprietary software and replace it with transparent, public, international, open public goods that everyone can see and everyone can validate and that you can run locally on servers in your own country. And I think we're closer to that than we've ever been.

  20. EFFecting Change is where we should be in our great #infosec neural net right about now, ya?

    Doctorow on a bike with wheatpasting posters? Yes, that's where it starts in the retrocausality time loom.

    Discussion also includes a reference to CARDIAC, or CARDboard Illustrative Aid to Computation, a fantastically neat circa-1968 resource for teaching / learning or (thanks to the blog offering the schemas downloadable) #CNC machining as a reference and #computation resource.

    I really like the idea of ripping out everything trying to turn #AI into a metered "utility" like that other college dropout CEO, Sam Altman wants.

    :blobcat_thisisfine: :blobcat_thisisfine:
    :blobcat_thisisfine: :blobcat_thisisfine:

    Because he lacks creativity,
    has an alleged bloodthirsty thirst for control
    thirst to control work
    he did not create and
    code could never code himself,

    :blobcat_thisisfine: :blobcat_thisisfine:
    :blobcat_thisisfine: :blobcat_thisisfine:

    Cory Doctorow's take is not optimistic, but, as he says "hopeful" because hope involves the idea that you/me/we/us can do things to make the change. Where optimism is the idea that things will get better no matter what.

    I don't think things are going to get better no matter what, but I do agree that open is the way to be.

    And so there's only one way to fix this, and it's to rip out all the unauditable, opaque
    remote controlled, untrustworthy proprietary software and replace it with transparent, public, international, open public goods that everyone can see and everyone can validate and that you can run locally on servers in your own country. And I think we're closer to that than we've ever been.

  21. @ireneista

    Oh, the connection between magic and mathematics is well known. @cstross has written a fair bit about events involving applied computational demonology, for example.

    If there really is no comment syntax for magic spells, that's unfortunate. It means practitioners probably end up scrawling their notes to themselves as marginalia, and I don't know if the magic could leak across from the main spell or what undesirable side-effects that might have.

    #magic #spell #mathematics #computation #AppliedComputationalDemonology #ComputationalDemonology #marginalia #oops #SideEffect

  22. @ireneista

    Oh, the connection between magic and mathematics is well known. @cstross has written a fair bit about events involving applied computational demonology, for example.

    If there really is no comment syntax for magic spells, that's unfortunate. It means practitioners probably end up scrawling their notes to themselves as marginalia, and I don't know if the magic could leak across from the main spell or what undesirable side-effects that might have.

    #magic #spell #mathematics #computation #AppliedComputationalDemonology #ComputationalDemonology #marginalia #oops #SideEffect

  23. 🤔 Ah, the eternal debate: is it the size of the #parameters or the motion of the #computation in the ocean that truly matters? 🏄‍♂️ Deep learning enthusiasts, gather 'round for this riveting tale where we learn that 1 million parameters = 1 million floating point operations! 🤯 Truly #groundbreaking stuff, folks!
    parl.ai/projects/params_vs_com #deeplearning #floatingpointoperations #debate #HackerNews #ngated

  24. 🤔 Ah, the eternal debate: is it the size of the #parameters or the motion of the #computation in the ocean that truly matters? 🏄‍♂️ Deep learning enthusiasts, gather 'round for this riveting tale where we learn that 1 million parameters = 1 million floating point operations! 🤯 Truly #groundbreaking stuff, folks!
    parl.ai/projects/params_vs_com #deeplearning #floatingpointoperations #debate #HackerNews #ngated

  25. The Hypothesis of Quantum Entanglement, Binary Structures, and the Unified Field of Awareness

    An exploration of quantum entanglement, consciousness, and the hidden connection between biological systems and binary code—where science and awareness begin to converge.

    kandiblaze.wordpress.com/2026/

  26. The Hypothesis of Quantum Entanglement, Binary Structures, and the Unified Field of Awareness

    An exploration of quantum entanglement, consciousness, and the hidden connection between biological systems and binary code—where science and awareness begin to converge.

    kandiblaze.wordpress.com/2026/

  27. Elementary Mathematics Under Scrutiny: A Two-Button Contention

    A physicist says a simple two-button calculator can perform all basic math. This challenges how we think about computers and math.

    #MathCalculator, #PhysicsClaims, #SimpleMath, #Computation, #TechTheory

    newsletter.tf/physicist-claims

  28. 感謝共同作者們在計算數學與數學建模領域的深入合作。

    ​對模型代碼、偽代碼(Appendix A)或 G7 實證結果感興趣的朋友,歡迎閱讀 Open Access 全文:

    🔗 mdpi.com/2227-7390/14/6/1041

    ​4/4

    #CPLR #mathematicalmodelling #DataScience #G7 #mathematics #computation