Hackernews posts about Mathematica

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

1. Show HN: Formalizing Principia Mathematica using Lean (github.com)
   188 points by ndrwnaguib 30 days ago | 34 comments
2. Mathematical Problem Solving (www.cip.ifi.lmu.de)
   94 points by ibobev 20 days ago | 8 comments
3. A Formal Mathematical Investigation on the Validity of Kellogg's Glaze Claims (old.reddit.com)
   70 points by ZeroCool2u 6 days ago | 20 comments
4. A bestiary of mathematical functions for systems designers (brunodias.dev)
   8 points by fanf2 5 days ago | discuss
5. The Mathematical Radio: Inside the Magic of Am, FM and Single-Sideband (press.princeton.edu)
   5 points by teleforce 28 days ago | discuss
6. A mathematical proof assistant (v2) (github.com)
   4 points by ptrj_ 15 days ago | discuss
7. Mathematical method allows individuals to prove locations without revealing them (techxplore.com)
   3 points by pseudolus 9 days ago | discuss
8. The Mathematical Mysteries of Fireflies (nautil.us)
   3 points by Brajeshwar 21 days ago | discuss
9. Mathematical genius: celebrating the life and work of Emmy Noether (physicsworld.com)
   3 points by leephillips 25 days ago | discuss
10. NSA paper: Fifty Years of Mathematical Cryptanalysis (1937-1987), 1988 [pdf] (www.governmentattic.org)
    2 points by hn_acker 6 days ago | 2 comments
11. EchoKey: A Unified Mathematical Framework for Complex Systems (Open Source) (zenodo.org)
    2 points by JonPoplett 10 days ago | 1 comments
12. Mathpad: A mathematical keypad for students and professionals (github.com)
    2 points by todsacerdoti about 4 hours ago | discuss
13. Kellogg's Mathematical Blunder (old.reddit.com)
    2 points by thunderbong 5 days ago | discuss
14. The Mathematical Mysteries of Fireflies (nautil.us)
    2 points by dnetesn 8 days ago | discuss
15. The Convenience of Mathematica Image Processing (2008) (blog.wolfram.com)
    2 points by Tomte 8 days ago | discuss
16. Mathematical Beauty, Truth and Proof in the Age of AI (www.quantamagazine.org)
    2 points by ngrislain 10 days ago | discuss
17. Form and Number: A History of Mathematical Beauty (tug.org)
    2 points by mathgenius 15 days ago | discuss
18. How Do Mathematicians Describe Mathematical Maturity? [pdf] (sigmaa.maa.org)
    2 points by nill0 17 days ago | discuss
19. Data Science and Machine Learning: Mathematical and Statistical Methods (people.smp.uq.edu.au)
    2 points by ibobev 19 days ago | discuss
20. Tools vs. Agents: A Mathematical Framework (www.mcpevals.io)
    2 points by mlenhard 24 days ago | discuss
21. Three Types of Mathematical Models (egtheory.wordpress.com)
    2 points by nill0 25 days ago | discuss
22. The Mathematically Funnest Way to Gamble (rohan.ga)
    2 points by ocean_moist 27 days ago | discuss
23. Mathematical Fiction (kasmana.people.charleston.edu)
    1 points by the-mitr about 2 hours ago | discuss
24. Tools vs. Agents: A Mathematical Framework (www.mcpevals.io)
    1 points by themobileman 23 days ago | discuss
25. What If Every Picture You've Ever Seen Already Exists?
    20 points by cin4ed 5 days ago | 28 comments
26. Show HN: Woxi - A Rust-based interpreter for a subset of the Wolfram Language (github.com)
    14 points by adius 17 days ago | discuss
27. Show HN: AGI Hits a Structural Wall – A Billion-Dollar Problem
    8 points by mmschlereth 13 days ago | discuss
28. Show HN: OpenEvolve – open-source implementation of DeepMind's AlphaEvolve
    6 points by codelion 5 days ago | 3 comments
29. Show HN: Learn You Galois Fields for Great Good (xorvoid.com)
    5 points by xorvoid 24 days ago | discuss
30. Show HN: CapOS – A responsibility-gated OS stack with signed process execution (zenodo.org)
    4 points by Der_Auctor 24 days ago | 4 comments