President Elect Donald Trump has created a new government advisory group – the Department of Government Efficiency or ‘DOGE’ - to help cut the US budget. The world richest man, Elon Musk, will co-head the department and has pledged to cut ‘at least $2 trillion’ to ‘balance the budget’. But is this possible? We talk to Professor Linda Bilmes about what DOGE could or couldn’t do and how she balanced the budget in the 1990’s. Presenter: Charlotte McDonaldProducer: Lizzy McNeill Series producer: Tom

Hey teachers and occupational therapists: Watch Jonily and Cheri explore deep mathematical connections in a fun and engaging way. Don't miss out on this educational and entertaining content! Leverage thinking prompts to transform student engagement and traditional teaching methods using visual strategies for counting.****************************************************************************DisabilityLabs.com sponsors this video podcast. We are committed to IMPACT the journey of 200K

Hem kümelerin eleman sayısını saymadan bulmakla ilgili konuşuyoruz, hem de sonsuzun tek olmamasından....

The 2024 Nobel Prize in Physics was awarded to John Hopfield and Geoffrey Hinton for their foundational work on artificial neural networks (ANNs). The award citation highlights their contributions to machine learning, linking ANNs to concepts in physics, such as spin models and statistical mechanics. Hopfield's research focused on recurrent networks and their applications in associative memory and optimization, while Hinton's work involved stochastic models like the Boltzmann machine and

What is the half-fraction advantage? Dr. Wall summarizes three key findings from a research study conducted by Dr. Mazzocco and others. You need to hear this!

Governments around the world have promised to fight climate change. But are they also pumping an absolutely massive amount of money into subsidies for fossil fuels? In 2022, an IMF working paper estimated that global subsidies for fossil fuels totalled $7 trillion. But when you dig into that research, you find that this number might not mean what you think it does. We explain how they reached that conclusion, with the help of Angela Picciariello from the International Institute for Sustainable

In this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using interactive theorem provers like Rocq (formerly Coq) and Agda.

🤖 Marco-o1: Towards Open Reasoning Models for Open-Ended SolutionsThe Alibaba MarcoPolo team presents Marco-o1, a large reasoning model designed to excel in open-ended problem-solving. Building upon OpenAI's o1 model, Marco-o1 incorporates Chain-of-Thought fine-tuning, Monte Carlo Tree Search, and innovative reasoning strategies to improve accuracy on complex tasks. The model is trained on a combination of existing and synthetic datasets and shows improvements in accuracy on benchmark datasets,

Dive into the fascinating world of sentential logic! In this episode, we explore the foundations of propositional logic, the art of constructing truth tables, and how logical connectives like "and," "or," and "not" shape our reasoning. Whether you're a philosophy enthusiast, a math lover, or just curious about how we break down complex arguments into their simplest forms, this episode has something for you. Join us as we demystify logical syntax, discuss real-world applications, and share tips for

This episode explores key concepts in graph theory, starting with fundamental definitions of graphs, vertices, and edges. The text then examines the handshake lemma and related theorems that deal with the relationship between vertex degrees and the number of edges in a graph.

Pythagoras of Samos, born around 570 BCE, is one of history’s most celebrated and enigmatic figures. Revered as a mathematician, philosopher, and spiritual leader, his contributions transcend disciplines, leaving a legacy that continues to shape modern thought. Known best for the Pythagorean Theorem, a fundamental concept in geometry, Pythagoras’s influence extends far beyond mathematics. His ideas in philosophy, cosmology, and ethics laid the groundwork for Western intellectual traditions and

El poscats ejes del pensamiento lógico matemático en un mundo digital para la educación infantil es una invitacion a los maestros y futuros maestros a  desarrollar en los niños y niñas habilidades lógico matemáticas desde educación inicial, ya que estas son fundamentales para toda su vida, permitiendo a los niños resolver problemas, tomar decisiones y entender el mundo que les rodea.

El poscats ejes del pensamiento lógico matemático en un mundo digital para la educación infantil a los maestros y futuros maestros a desarrollar en los niños y niñas habilidades lógico matemáticas desde educación inicial, ya que estas son fundamentales para toda su vida, permitiendo a los niños resolver problemas, tomar decisiones y entender el mundo que les rodea.

Just hours after Donald Trump claimed victory in the US presidential election, rumours started swirling that something was afoot. A graph went viral on social media that appeared to show there were 20 million more votes cast in 2020 than in the 2024 election. Where had these supposedly “missing” votes gone? Conspiracy theorists on both sides of the political spectrum began shouting claims of fraud. The answer, it turns out, is rather more straightforward. Presenter: Charlotte

⚖️ Scaling Laws for PrecisionThis research paper investigates the impact of precision in training and inference on the performance of large language models. The authors explore how precision affects the effective parameter count and propose scaling laws that predict performance degradation due to low-precision training and post-training quantization. They find that overtrained models are more sensitive to post-training quantization, and that training larger models in lower precision might be

In this Tier 1 Interventions podcast episode, Cheri shares the concept of "flow" as a transformative approach to classroom learning. By unpacking the neuroscience of brain waves, the importance of sleep, and responsive teaching methods, she and Jonily explore how educators can adapt their strategies to create engaging and effective lessons. The discussion also highlights practical techniques like brain interruption activities and strategies for embedding responsive teaching into your daily

İskenderiyeli matematikçi Öklid'in algoritması üzerine konuşuyoruz.

Levels of AI Information Processing and Pattern RecognitionThe sources explore how the varying capabilities and limitations of AI systems reflect different levels of information processing and pattern recognition.Basic Information Processing: Some AI, such as Gemini, initially exhibit linear processing and standard scientific skepticism. These systems struggle with pattern recognition, missing connections to recent research and empirical evidence. However, with sufficient context, they can

Are academically challenging goals appropriate for students with dyscalculia? YES! Find out why, and how to implement them, in this episode.