Abstract: This study aims to determine the effectiveness of learning media based on modules and GeoGebra to improve mathematics learning outcomes. The population in this study were fourth-grade ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous mathematical reasoning.

Physics and Python stuff. Most of the videos here are either adapted from class lectures or solving physics problems. I really like to use numerical calculations without all the fancy programming ...

The lesser-known Python libraries, such as Rich, Typer, and Polars, solve practical problems like speed, clarity, and workflow without added complexity. The libraries support modern Python use cases, ...