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)
   183 points by ndrwnaguib 2 days ago | 34 comments
2. Mathematical Compact Models of Advanced Transistors [pdf] (www2.eecs.berkeley.edu)
   86 points by nill0 30 days ago | 31 comments
3. The role of exercise in cancer suppression: insights from a mathematical model (iopscience.iop.org)
   30 points by PaulHoule 20 days ago | 1 comments
4. Miscellaneous Mathematical Symbols (www.johndcook.com)
   18 points by azhenley 13 days ago | 1 comments
5. Mathematical Reasoning and Proofs [pdf] (alistairsavage.ca)
   13 points by ibobev 13 days ago | discuss
6. Yann LeCun "Mathematical Obstacles on the Way to Human-Level AI" (www.youtube.com)
   11 points by rramadass 5 days ago | discuss
7. Color Is a Mathematical Nightmare (www.theverge.com)
   8 points by amichail 21 days ago | 2 comments
8. Mathematical Reading List – University of Cambridge [pdf] (www.maths.cam.ac.uk)
   7 points by __rito__ 13 days ago | 3 comments
9. Discrete Mathematical Modeling [pdf] (sites.math.washington.edu)
   5 points by ibobev 22 days ago | discuss
10. Mathematical Methods in Data Science (With Python) (mmids-textbook.github.io)
    4 points by ibobev 3 days ago | 1 comments
11. Color Is a Mathematical Nightmare (www.theverge.com)
    4 points by Tomte 21 days ago | discuss
12. Mathematical Foundations of Computing [pdf] (web.stanford.edu)
    4 points by ibobev 22 days ago | discuss
13. Chinese mathematicans in US say they cracked century-old fluid mechanics puzzle (www.scmp.com)
    3 points by l0ng1nu5 6 days ago | 4 comments
14. Mathematical Techniques for Computer Science [pdf] (drive.google.com)
    3 points by ibobev 11 days ago | discuss
15. Mathematical Equations Are Slashing America's Electric Bills (www.simonsfoundation.org)
    3 points by timthorn 16 days ago | discuss
16. Mathematical Obstacles on the Way to Human-Level AI by Yann LeCun [video] (www.youtube.com)
    3 points by teleforce 24 days ago | discuss
17. Mathematical Macronutrient Cost Optimizer (For Aldi) (macros.cheap)
    2 points by djoldman 21 days ago | 1 comments
18. The mathematical past is a foreign country (blog.plover.com)
    2 points by luu 13 days ago | discuss
19. AI Mathematical Olympiad – Progress Prize 2 (www.kaggle.com)
    2 points by nabla9 16 days ago | discuss
20. Editorial board of the "Mathematical Logic Quarterly" resign [pdf] (inbox.vuxu.org)
    2 points by rssoconnor 20 days ago | discuss
21. Show HN: Leaps in Bounds – compilation of progress on mathematical unknowns (leapsinbounds.org)
    2 points by daniel-munro 24 days ago | discuss
22. Principles of Mathematical Analysis (1953)
    1 points by davidwu 25 days ago | 2 comments
23. A mathematical model of serotonin neuron activity based on RL (www.brainpost.co)
    1 points by kvee 25 days ago | discuss
24. Why a Indian Satoshi Makes More Sense Than You Think
    8 points by qalqi 3 days ago | 5 comments
25. Show HN: QwQ AI – Aggregator of free LLMs answer generator (qwq32.com)
    6 points by zhangchengzc 9 days ago | 1 comments
26. Determinism, Free Will, and Computational Irreducibility
    3 points by qarl 28 days ago | discuss
27. Show HN: Links – An AI math tutor that analyzes handwritten work (www.learnwithlinks.com)
    1 points by mikebrockman 6 days ago | 1 comments
28. Ask HN: Programming career prospects for beginners in regards to AI
    1 points by Octoverse 17 days ago | 1 comments
29. Norbert Wiener, AI, and the Power of the State
    1 points by daly 30 days ago | discuss
30. Math journal editors resign to launch open-access title (retractionwatch.com)
    3 points by ColinWright 19 days ago | 1 comments