Hackernews posts about Mathesar
- Mathesar 0.7.0 released with CSV imports, file uploads and PostgreSQL 18 support (docs.mathesar.org)
- Mathematical exploration and discovery at scale (terrytao.wordpress.com)
- Why formalize mathematics – more than catching errors (rkirov.github.io)
- Picturing Mathematics (mathenchant.wordpress.com)
- The geometry of mathematical methods (books.physics.oregonstate.edu)
- I replaced Mathematica with this free and open-source alternative (SageMath) (www.howtogeek.com)
- Bridges: Mathematics and the Arts (www.bridgesmathart.org)
- OpenAI says hallucinations are mathematically inevitable, not engineering flaws (www.computerworld.com)
- Mathematical Exploration and Discovery at Scale (arxiv.org)
- Mathematician solves one of the most famous unsolved conjectures in Math (www.livescience.com)
- Mathematical Maturity in Elementary School (kidswholovemath.substack.com)
- Beauty in/of mathematics: tessellations and their formulas (www.tandfonline.com)
- The Path to a Superhuman AI Mathematician (cacm.acm.org)
- Lectures on Mathematics (1893) (archive.org)
- Crossing the Threshold: Mathematics Meets GPT-5 (twitter.com)
- Clay Mathematics Institute: Status of P vs. NP [video] (www.youtube.com)
- Habits of Highly Mathematical People (medium.com)
- Physicists Have Mathematically Proven the Universe Is Not a Simulation (scitechdaily.com)
- Mathematicians put AI model AlphaProof to the test (www.nature.com)
- History and culture of substituted amphetamines in Mathematics (en.wikipedia.org)
- Emily Riehl, a New Paradigm for Mathematical Proof? [video] (www.youtube.com)
- I replaced Mathematica with this free and open-source alternative (www.howtogeek.com)
- Beginning Mathematical Logic: A Study Guide (www.logicmatters.net)
- Matrix collapses: Mathematics proves universe cannot be a computer simulation (interestingengineering.com)