#mathematical — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathematical, aggregated by home.social.
-
Designing an L-system language and interpreter
#Coding #Programming #Tech #Fractal #Fractals #Language #Languages #Declarative #Math #Maths #Mathematics #Mathematical #System #Systems #Compiler #Interpreter #C #CProgramming #C_Programming #Programming_Language
-
Designing an L-system language and interpreter
#Coding #Programming #Tech #Fractal #Fractals #Language #Languages #Declarative #Math #Maths #Mathematics #Mathematical #System #Systems #Compiler #Interpreter #C #CProgramming #C_Programming #Programming_Language
-
Designing an L-system language and interpreter
#Coding #Programming #Tech #Fractal #Fractals #Language #Languages #Declarative #Math #Maths #Mathematics #Mathematical #System #Systems #Compiler #Interpreter #C #CProgramming #C_Programming #Programming_Language
-
Designing an L-system language and interpreter
#Coding #Programming #Tech #Fractal #Fractals #Language #Languages #Declarative #Math #Maths #Mathematics #Mathematical #System #Systems #Compiler #Interpreter #C #CProgramming #C_Programming #Programming_Language
-
Designing an L-system language and interpreter
#Coding #Programming #Tech #Fractal #Fractals #Language #Languages #Declarative #Math #Maths #Mathematics #Mathematical #System #Systems #Compiler #Interpreter #C #CProgramming #C_Programming #Programming_Language
-
Learning more about Claude's mathematical capabilities
https://www.anthropic.com/research/riemann-zeta
Comments: https://news.ycombinator.com/item?id=49247070
#HackerNews #Claude #AI #mathematical #capabilities #Riemann #Zeta #research #Anthropic
-
Learning more about Claude's mathematical capabilities
https://www.anthropic.com/research/riemann-zeta
Comments: https://news.ycombinator.com/item?id=49247070
#HackerNews #Claude #AI #mathematical #capabilities #Riemann #Zeta #research #Anthropic
-
Learning more about Claude's mathematical capabilities
https://www.anthropic.com/research/riemann-zeta
Comments: https://news.ycombinator.com/item?id=49247070
#HackerNews #Claude #AI #mathematical #capabilities #Riemann #Zeta #research #Anthropic
-
Learning more about Claude's mathematical capabilities
https://www.anthropic.com/research/riemann-zeta
Comments: https://news.ycombinator.com/item?id=49247070
#HackerNews #Claude #AI #mathematical #capabilities #Riemann #Zeta #research #Anthropic
-
Learning more about Claude's mathematical capabilities
https://www.anthropic.com/research/riemann-zeta
Comments: https://news.ycombinator.com/item?id=49247070
#HackerNews #Claude #AI #mathematical #capabilities #Riemann #Zeta #research #Anthropic
-
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
-
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
-
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
-
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
-
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
-
“Large Language Models (LLMs) like ChatGPT are extremely good at some things like #coding, #mathematical problems and generating #text, LeCun says.
But he argues that these are well defined and predictable problems.
"They [LLMs] basically just accumulate knowledge... They can regurgitate something, you train them to #regurgitate, but they're not particularly smart. They don't have an underlying understanding," he says. In the real world there is a bewildering array of outcomes to any action, which requires a more flexible type of #ArtificialIntelligence.”
Not every problem requires a 🔨
#LLM / #NonAGI / #YannLaCun / #IngmarPosner <https://www.bbc.com/news/articles/cj6gr0xkyr3o>
-
“Large Language Models (LLMs) like ChatGPT are extremely good at some things like #coding, #mathematical problems and generating #text, LeCun says.
But he argues that these are well defined and predictable problems.
"They [LLMs] basically just accumulate knowledge... They can regurgitate something, you train them to #regurgitate, but they're not particularly smart. They don't have an underlying understanding," he says. In the real world there is a bewildering array of outcomes to any action, which requires a more flexible type of #ArtificialIntelligence.”
Not every problem requires a 🔨
#LLM / #NonAGI / #YannLaCun / #IngmarPosner <https://www.bbc.com/news/articles/cj6gr0xkyr3o>
-
“Large Language Models (LLMs) like ChatGPT are extremely good at some things like #coding, #mathematical problems and generating #text, LeCun says.
But he argues that these are well defined and predictable problems.
"They [LLMs] basically just accumulate knowledge... They can regurgitate something, you train them to #regurgitate, but they're not particularly smart. They don't have an underlying understanding," he says. In the real world there is a bewildering array of outcomes to any action, which requires a more flexible type of #ArtificialIntelligence.”
Not every problem requires a 🔨
#LLM / #NonAGI / #YannLaCun / #IngmarPosner <https://www.bbc.com/news/articles/cj6gr0xkyr3o>
-
“Large Language Models (LLMs) like ChatGPT are extremely good at some things like #coding, #mathematical problems and generating #text, LeCun says.
But he argues that these are well defined and predictable problems.
"They [LLMs] basically just accumulate knowledge... They can regurgitate something, you train them to #regurgitate, but they're not particularly smart. They don't have an underlying understanding," he says. In the real world there is a bewildering array of outcomes to any action, which requires a more flexible type of #ArtificialIntelligence.”
Not every problem requires a 🔨
#LLM / #NonAGI / #YannLaCun / #IngmarPosner <https://www.bbc.com/news/articles/cj6gr0xkyr3o>
-
“Large Language Models (LLMs) like ChatGPT are extremely good at some things like #coding, #mathematical problems and generating #text, LeCun says.
But he argues that these are well defined and predictable problems.
"They [LLMs] basically just accumulate knowledge... They can regurgitate something, you train them to #regurgitate, but they're not particularly smart. They don't have an underlying understanding," he says. In the real world there is a bewildering array of outcomes to any action, which requires a more flexible type of #ArtificialIntelligence.”
Not every problem requires a 🔨
#LLM / #NonAGI / #YannLaCun / #IngmarPosner <https://www.bbc.com/news/articles/cj6gr0xkyr3o>
-
The University of Liverpool has launched a call for ten 150th Anniversary Chairs. 🎓
In #Mathematical #Sciences, we read the priority areas broadly. We already work across four of the five: materials, AI/data, health, and clean energy/oceans/maritime — and we’re keen to build further capacity and to hear from exceptional #mathematicians.
🚀 Please boost widely.
https://news.liverpool.ac.uk/2026/07/01/global-call-launched-for-exceptional-academic-leaders
-
The University of Liverpool has launched a call for ten 150th Anniversary Chairs. 🎓
In #Mathematical #Sciences, we read the priority areas broadly. We already work across four of the five: materials, AI/data, health, and clean energy/oceans/maritime — and we’re keen to build further capacity and to hear from exceptional #mathematicians.
🚀 Please boost widely.
https://news.liverpool.ac.uk/2026/07/01/global-call-launched-for-exceptional-academic-leaders
-
The University of Liverpool has launched a call for ten 150th Anniversary Chairs. 🎓
In #Mathematical #Sciences, we read the priority areas broadly. We already work across four of the five: materials, AI/data, health, and clean energy/oceans/maritime — and we’re keen to build further capacity and to hear from exceptional #mathematicians.
🚀 Please boost widely.
https://news.liverpool.ac.uk/2026/07/01/global-call-launched-for-exceptional-academic-leaders
-
The University of Liverpool has launched a call for ten 150th Anniversary Chairs. 🎓
In #Mathematical #Sciences, we read the priority areas broadly. We already work across four of the five: materials, AI/data, health, and clean energy/oceans/maritime — and we’re keen to build further capacity and to hear from exceptional #mathematicians.
🚀 Please boost widely.
https://news.liverpool.ac.uk/2026/07/01/global-call-launched-for-exceptional-academic-leaders
-
The University of Liverpool has launched a call for ten 150th Anniversary Chairs. 🎓
In #Mathematical #Sciences, we read the priority areas broadly. We already work across four of the five: materials, AI/data, health, and clean energy/oceans/maritime — and we’re keen to build further capacity and to hear from exceptional #mathematicians.
🚀 Please boost widely.
https://news.liverpool.ac.uk/2026/07/01/global-call-launched-for-exceptional-academic-leaders
-
Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures by Yves Meyer (PDF)
Author: Yves Meyer
File Type: PDF
Download at https://sci-books.com/oscillating-patterns-in-image-processing-and-nonlinear-evolution-equations-the-fifteenth-dean-jacqueline-b-lewis-memorial-lectures-b0056wttw2/
#Mathematical, #YvesMeyer -
Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures by Yves Meyer (PDF)
Author: Yves Meyer
File Type: PDF
Download at https://sci-books.com/oscillating-patterns-in-image-processing-and-nonlinear-evolution-equations-the-fifteenth-dean-jacqueline-b-lewis-memorial-lectures-b0056wttw2/
#Mathematical, #YvesMeyer -
Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures by Yves Meyer (PDF)
Author: Yves Meyer
File Type: PDF
Download at https://sci-books.com/oscillating-patterns-in-image-processing-and-nonlinear-evolution-equations-the-fifteenth-dean-jacqueline-b-lewis-memorial-lectures-b0056wttw2/
#Mathematical, #YvesMeyer -
Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures by Yves Meyer (PDF)
Author: Yves Meyer
File Type: PDF
Download at https://sci-books.com/oscillating-patterns-in-image-processing-and-nonlinear-evolution-equations-the-fifteenth-dean-jacqueline-b-lewis-memorial-lectures-b0056wttw2/
#Mathematical, #YvesMeyer -
Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures by Yves Meyer (PDF)
Author: Yves Meyer
File Type: PDF
Download at https://sci-books.com/oscillating-patterns-in-image-processing-and-nonlinear-evolution-equations-the-fifteenth-dean-jacqueline-b-lewis-memorial-lectures-b0056wttw2/
#Mathematical, #YvesMeyer -
Nonlinear Oscillations by Ali H. Nayfeh (PDF)
Author: Ali H. Nayfeh
File Type: PDF
Download at https://sci-books.com/nonlinear-oscillations-0471121428/
#Mathematical, #AliH.Nayfeh -
Nonlinear Oscillations by Ali H. Nayfeh (PDF)
Author: Ali H. Nayfeh
File Type: PDF
Download at https://sci-books.com/nonlinear-oscillations-0471121428/
#Mathematical, #AliH.Nayfeh -
Nonlinear Oscillations by Ali H. Nayfeh (PDF)
Author: Ali H. Nayfeh
File Type: PDF
Download at https://sci-books.com/nonlinear-oscillations-0471121428/
#Mathematical, #AliH.Nayfeh -
Nonlinear Oscillations by Ali H. Nayfeh (PDF)
Author: Ali H. Nayfeh
File Type: PDF
Download at https://sci-books.com/nonlinear-oscillations-0471121428/
#Mathematical, #AliH.Nayfeh -
Nonlinear Oscillations by Ali H. Nayfeh (PDF)
Author: Ali H. Nayfeh
File Type: PDF
Download at https://sci-books.com/nonlinear-oscillations-0471121428/
#Mathematical, #AliH.Nayfeh -
Some mathematical research that I've been doing. I just took a screenshot of my status update on DeviantArt, since there's no way I can fit it into the Mastodon format.
#Math #Maths #Mathematics #Mathematical #Fractal #Fractals #Topology #Geometry #Geometric #Research #Series #Theorem #Proof #Deduction #Mathstodon
-
Some mathematical research that I've been doing. I just took a screenshot of my status update on DeviantArt, since there's no way I can fit it into the Mastodon format.
#Math #Maths #Mathematics #Mathematical #Fractal #Fractals #Topology #Geometry #Geometric #Research #Series #Theorem #Proof #Deduction #Mathstodon
-
Some mathematical research that I've been doing. I just took a screenshot of my status update on DeviantArt, since there's no way I can fit it into the Mastodon format.
#Math #Maths #Mathematics #Mathematical #Fractal #Fractals #Topology #Geometry #Geometric #Research #Series #Theorem #Proof #Deduction #Mathstodon
-
Some mathematical research that I've been doing. I just took a screenshot of my status update on DeviantArt, since there's no way I can fit it into the Mastodon format.
#Math #Maths #Mathematics #Mathematical #Fractal #Fractals #Topology #Geometry #Geometric #Research #Series #Theorem #Proof #Deduction #Mathstodon
-
Some mathematical research that I've been doing. I just took a screenshot of my status update on DeviantArt, since there's no way I can fit it into the Mastodon format.
#Math #Maths #Mathematics #Mathematical #Fractal #Fractals #Topology #Geometry #Geometric #Research #Series #Theorem #Proof #Deduction #Mathstodon
-
#mathematical : relating to mathematics
- French: mathématique
- Italian: matematico
- Portuguese: matemático
- Spanish: matemático
------------
Fill in missing or incorrect translations @ https://wordofthehour.org/r/translations
-
#mathematical : relating to mathematics
- French: mathématique
- Italian: matematico
- Portuguese: matemático
- Spanish: matemático
------------
Fill in missing or incorrect translations @ https://wordofthehour.org/r/translations
-
#mathematical : relating to mathematics
- French: mathématique
- Italian: matematico
- Portuguese: matemático
- Spanish: matemático
------------
Fill in missing or incorrect translations @ https://wordofthehour.org/r/translations
-
#mathematical : relating to mathematics
- French: mathématique
- Italian: matematico
- Portuguese: matemático
- Spanish: matemático
------------
Fill in missing or incorrect translations @ https://wordofthehour.org/r/translations
-
#mathematical : relating to mathematics
- French: mathématique
- Italian: matematico
- Portuguese: matemático
- Spanish: matemático
------------
Fill in missing or incorrect translations @ https://wordofthehour.org/r/translations
-
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. The declaration is open for signing: 🌍 https://leidendeclaration.ai/
Leiden Declaration on Artifici... -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. The declaration is open for signing: 🌍 https://leidendeclaration.ai/
Leiden Declaration on Artifici... -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. The declaration is open for signing: 🌍 https://leidendeclaration.ai/
Leiden Declaration on Artifici... -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. The declaration is open for signing: 🌍 https://leidendeclaration.ai/
Leiden Declaration on Artifici... -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. The declaration is open for signing: 🌍 https://leidendeclaration.ai/
Leiden Declaration on Artifici... -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.
The declaration is open for signing:
🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944 -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.
The declaration is open for signing:
🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944 -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.
The declaration is open for signing:
🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944 -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.
The declaration is open for signing:
🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944 -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.
The declaration is open for signing:
🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944
