Hackernews posts about Mathematica

Mathematica is a commercial software platform for mathematical computation, visualization, and programming developed by Wolfram Research.

1. My Mathematical Regression (blog.dahl.dev)
   366 points by aleda145 29 days ago | 146 comments
2. The mathematical secrets of Barcelona's Sagrada Familia (mappingignorance.org)
   138 points by Gedxx 15 days ago | 38 comments
3. Mathematical texts from a Maya site in Guatemala identify an ancient astronomer (www.nature.com)
   118 points by homarp 4 days ago | 29 comments
4. Ask HN: Where are the good search engines for mathematical formulas?
   58 points by lo0dot0 14 days ago | 16 comments
5. Fibonacci's Real Mathematical Legacy (blogs.nature.com)
   38 points by ColinWright 10 days ago | 13 comments
6. Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf] (aclanthology.org)
   4 points by antondd about 19 hours ago | 1 comments
7. A Mathematical Tribute to the Soccer Ball (www.nytimes.com)
   4 points by igonvalue 1 day ago | 1 comments
8. Automated job application system, sponsored by the American Mathematical Society (www.mathjobs.org)
   4 points by Eridanus2 about 23 hours ago | discuss
9. Original Organism, a living mathematical creature in the browser (sand-morph.up.railway.app)
   4 points by echohive42 19 days ago | discuss
10. Show HN: Mathematical fault-Isolation accelerator engine (github.com)
    3 points by PJHkorea 18 days ago | 1 comments
11. Revisiting "The Great Mathematical Sputnik of 1979" (pubsonline.informs.org)
    3 points by fforflo 6 days ago | discuss
12. Mathematical Coincidence (en.wikipedia.org)
    3 points by cl3misch 13 days ago | discuss
13. Mathematical finance, formally verified in Lean 4 (github.com)
    3 points by raphaelrrcoelho 19 days ago | discuss
14. Claude Shannon: A Mathematical Theory of Cryptography (evervault.com)
    3 points by ShaneCurran 24 days ago | discuss
15. CleoBench: Can Fable mathematically prove Cleo's integrals? (rain-1.github.io)
    2 points by rain1 8 days ago | discuss
16. TheoremGraph: Search 18M+ Mathematical Dependencies (www.theoremsearch.com)
    2 points by ilreb 18 days ago | discuss
17. A Mathematical Model for the Human Will (outlookzen.com)
    2 points by whack 25 days ago | discuss
18. VeriEvol: Scaling Multimodal Mathematical Reasoning via Verifiable Evol-Instruct (robertmarton.github.io)
    2 points by ilreb 25 days ago | discuss
19. EWD361: Programming as a discipline of mathematical nature [video] (www.youtube.com)
    2 points by akiarie 29 days ago | discuss
20. Principia Artificialis Open mathematical research program onthe theory of AI (github.com)
    1 points by badatchess 1 day ago | 1 comments
21. Show HN: Vibesolve.ai – Turn plain English into Timefold code (www.vibesolve.ai)
    8 points by jahala 23 days ago | discuss
22. Show HN: Ze.sh – a z.sh-derived directory jumper that uses an event clock (github.com)
    5 points by jghub 26 days ago | discuss
23. Show HN: Skill Federation –private search across 87k skills for AI coding agents (github.com)
    4 points by sibmike 16 days ago | discuss
24. My Opinion on RL
    3 points by umjunsik132 27 days ago | 1 comments
25. Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com)
    3 points by henryrobbins00 18 days ago | discuss
26. Show HN: We built a learning loop that learns from its own failures (blankline.org)
    3 points by DarenWatson 19 days ago | discuss
27. Why directory jumpers should use exponential moving sums instead of frecency
    3 points by jghub 23 days ago | discuss
28. AI Gets Trapped in a Circular Loop on Climate Science
    2 points by radicon about 10 hours ago | 2 comments
29. Show HN: Plot equations and evolve them with Conway's Game of Life (victorribeiro.com)
    2 points by atum47 7 days ago | 1 comments
30. CEO and Creator of Ethos Engine for AI
    2 points by frajaro 9 days ago | discuss