Thematic
Customer Feedback Analysis via NLP
Mathematician James Glimm may have solved the Poincare Conjecture
2023-03-10
Thinking about programs from a mathematical perspective to verify correctness
2023-03-08
Stripe Pricing Changes
2023-03-08
Can you trust ChatGPT and other LLMs in math?
2023-03-08
What's a Mathematician to Do? (2010)
2023-03-07
Most used open source key value stores and databases
2023-03-05
Ask HN: Mechanism for LLMs to verify own outputs? Functional self-“awareness”
2023-03-03
Ask HN: Why is Mathematica more popular than Maple?
2023-03-03
Mathematics of Renaissance Canons
2023-03-02
What We Talk About When We Talk About Mathematics (2022) [pdf]
2023-03-02
