Top Mathematics discussions
NishMath - #programming
|
@mastodon.acm.org
//
Advancements in machine learning, APL programming, and computer graphics are driving innovation across various disciplines. ACM Transactions on Probabilistic Machine Learning (TOPML) is highlighting the importance of probabilistic machine learning with its recently launched journal, featuring high-quality research in the field. The journal's co-editors, Wray Buntine, Fang Liu, and Theodore Papamarkou, share their insights on the significance of probabilistic ML and the journal's mission to advance the field.
The APL Forge competition is encouraging developers to create innovative open-source libraries and commercial applications using Dyalog APL. This annual event aims to enhance awareness and usage of APL by challenging participants to solve problems and develop tools using the language. The competition awards £2,500 (GBP) and an expenses-paid trip to present at the next user meeting, making it a valuable opportunity for APL enthusiasts to showcase their skills and contribute to the community. The deadline for submissions is Monday 22 June 2026. SIGGRAPH 2025 will showcase advancements in 3D generative AI as part of its Technical Papers program. This year's program received a record number of submissions, highlighting the growing interest in artificial intelligence, large language models, robotics, and 3D modeling in VR. Professor Richard Zhang of Simon Fraser University has been inducted into the ACM SIGGRAPH Academy for his contributions to spectral and learning-based methods for geometric modeling and will be the SIGGRAPH 2025 Technical Papers Chair.
Share:
References :
Classification:
@Trebor
//
Recent discussions in theoretical computer science and programming have touched upon diverse topics, ranging from type theory for SDG (Sustainable Development Goals) to the complexities encountered in programming. One thread explored the characteristics a type theory for SDG should possess, suggesting it should include a judgmentally commutative ring, possibly a Q-algebra, where neutral forms of type R are polynomials with other neutral forms as indeterminates. Participants believe such a system would have decidable typechecking.
A common sentiment shared among programmers, particularly those using languages with dependent types like Rust, is the initial hurdle of satisfying the compiler's requirements. Some have described the experience as an engaging puzzle that can involve spending considerable time to prove the validity of their code. The discussion also addressed the subjective nature of "complexity" in programming, suggesting it is a term often used to dismiss unfamiliar concepts rather than a concrete measure of inherent difficulty. In related news, Microsoft’s Krysta Svore has announced geometric error-correcting codes as a potential advancement toward practical quantum computing. These codes utilize high-dimensional geometry to enhance performance, potentially leading to more efficient encoding and logical operations with fewer qubits. The approach builds on topological error correction, employing a mathematical method called Hermite normal form to reshape the grid, resulting in substantial reductions in qubit count and faster logical clock speeds. This geometric reshaping results in substantial reductions in qubit count. In one notable case, they achieved six logical qubits using just 96 physical qubits, which is a 16-to-1 ratio that would mark a significant improvement over standard two-dimensional codes.
Share:
References :
Classification:
@forge.dyalog.com
//
The APL Forge competition is in its final week, with the deadline for submissions set for Monday, June 23, 2024, at 12:00 UTC. This annual event is designed to promote the use and development of the APL programming language within the community. Participants are challenged to create innovative open-source libraries and commercial applications using Dyalog APL. The APL Forge is where developers are rewarded for using Dyalog APL to solve problems and develop libraries, applications, and tools.
Whether you're an individual, a group, or a company, if you have a passion for problem-solving in APL, this competition is for you. The APL Forge competition is rewarding participants for using Dyalog APL to solve problems and develop libraries, applications, and tools. The winner of the APL Forge competition will receive £2,500 (GBP) and an expenses-paid trip to present at our next user meeting. Those looking for inspiration are encouraged to check out the project ideas listed on the APL Forge website, where they can also find eligibility and judging criteria, submission guidelines, and frequently asked questions. For more information and to enter the APL Forge, visit forge.dyalog.com.
Share:
References :
Classification:
|
Blogs
|