Hackernews posts about Mathesar

1. Mathesar 0.7.0 released with CSV imports, file uploads and PostgreSQL 18 support (docs.mathesar.org)
   2 points by klaussilveira 17 days ago | discuss
2. Mathematical exploration and discovery at scale (terrytao.wordpress.com)
   273 points by nabla9 11 days ago | 126 comments
3. Why formalize mathematics – more than catching errors (rkirov.github.io)
   224 points by birdculture 29 days ago | 75 comments
4. Picturing Mathematics (mathenchant.wordpress.com)
   109 points by jamespropp 30 days ago | 4 comments
5. The geometry of mathematical methods (books.physics.oregonstate.edu)
   80 points by kalind 28 days ago | 4 comments
6. Mathematical proof debunks idea the universe is a computer simulation (phys.org)
   30 points by dxs 18 days ago | 25 comments
7. I replaced Mathematica with this free and open-source alternative (SageMath) (www.howtogeek.com)
   10 points by gnabgib 9 days ago | 2 comments
8. Bridges: Mathematics and the Arts (www.bridgesmathart.org)
   8 points by sargstuff 9 days ago | discuss
9. OpenAI says hallucinations are mathematically inevitable, not engineering flaws (www.computerworld.com)
   7 points by devonnull 18 days ago | 1 comments
10. Mathematical Exploration and Discovery at Scale (arxiv.org)
    4 points by tzury 10 days ago | 2 comments
11. Mathematician solves one of the most famous unsolved conjectures in Math (www.livescience.com)
    4 points by Brajeshwar 6 days ago | 1 comments
12. Mathematical exploration and discovery at scale – Terence Tao et al. (arxiv.org)
    4 points by crvdgc 8 days ago | 1 comments
13. Mathematical Maturity in Elementary School (kidswholovemath.substack.com)
    4 points by sebg 3 days ago | discuss
14. Beauty in/of mathematics: tessellations and their formulas (www.tandfonline.com)
    4 points by QueensGambit 4 days ago | discuss
15. Logic Theorist: The program that rewrote the foundations of mathematics (bigthink.com)
    4 points by YeGoblynQueenne 9 days ago | discuss
16. The Path to a Superhuman AI Mathematician (cacm.acm.org)
    4 points by bikenaga 9 days ago | discuss
17. Lectures on Mathematics (1893) (archive.org)
    4 points by measurablefunc 10 days ago | discuss
18. Crossing the Threshold: Mathematics Meets GPT-5 (twitter.com)
    4 points by vismit2000 15 days ago | discuss
19. Clay Mathematics Institute: Status of P vs. NP [video] (www.youtube.com)
    4 points by logannyeMD 17 days ago | discuss
20. Habits of Highly Mathematical People (medium.com)
    4 points by suioir 21 days ago | discuss
21. Physicists Have Mathematically Proven the Universe Is Not a Simulation (scitechdaily.com)
    3 points by debo_ 15 days ago | 5 comments
22. I discovered a new mathematical relation "alien" (⍊)
    3 points by DenisDolya 27 days ago | 2 comments
23. Mathematicians put AI model AlphaProof to the test (www.nature.com)
    3 points by mauricioc 5 days ago | 1 comments
24. History and culture of substituted amphetamines in Mathematics (en.wikipedia.org)
    3 points by keepamovin 10 days ago | 1 comments
25. Emily Riehl, a New Paradigm for Mathematical Proof? [video] (www.youtube.com)
    3 points by surprisetalk 3 days ago | discuss
26. I replaced Mathematica with this free and open-source alternative (www.howtogeek.com)
    3 points by mkoeppe 5 days ago | discuss
27. Olympiad-level formal mathematical reasoning with reinforcement learning (www.nature.com)
    3 points by mauricioc 5 days ago | discuss
28. Beginning Mathematical Logic: A Study Guide (www.logicmatters.net)
    3 points by perihelions 7 days ago | discuss
29. Mathematics solves problems by pen and paper. CS helps us to go far beyond that (cacm.acm.org)
    3 points by vismit2000 15 days ago | discuss
30. Matrix collapses: Mathematics proves universe cannot be a computer simulation (interestingengineering.com)
    3 points by wlkr 15 days ago | discuss