| 1. | | AI Agents for the Working Mathematician (chaoxu.prof) |
| 5 points by chaoxu 69 days ago | past |
|
| 2. | | AxiomProver at IMO 2026 (perfect score) (github.com/axiommath) |
| 1 point by chaoxu 71 days ago | past |
|
| 3. | | First Proof Second Batch [pdf] (1stproof.org) |
| 2 points by chaoxu 3 months ago | past |
|
| 4. | | Ace Technical Preview: GitHub Next's Agentic Workspace – Maggie Appleton [video] (youtube.com) |
| 3 points by chaoxu 5 months ago | past |
|
| 5. | | Ask HN: Bank Transactions to CSV |
| 2 points by chaoxu on June 7, 2023 | past |
|
| 6. | | Typst: Compose Papers Faster (typst.app) |
| 4 points by chaoxu on July 23, 2022 | past | 1 comment |
|
| 7. | | Ask HN: Is there a system formalizing US tax code as set of inequalities |
| 8 points by chaoxu on Jan 21, 2021 | past | 2 comments |
|
| 8. | | Ask HN: What personal checking account are you using? |
| 5 points by chaoxu on Dec 12, 2020 | past | 5 comments |
|
| 9. | | Ask HN: How to Automate Processing of Emails? |
| 2 points by chaoxu on Sept 7, 2020 | past | 2 comments |
|
| 10. | | Yotta Savings and Covering Designs (chaoxuprime.com) |
| 1 point by chaoxu on July 12, 2020 | past |
|
| 11. | | Formality (github.com/moonad) |
| 1 point by chaoxu on Sept 23, 2019 | past |
|
| 12. | | SVGnest – Free and Open Source Nesting (svgnest.com) |
| 2 points by chaoxu on Aug 24, 2019 | past |
|
| 13. | | Ask HN: Domain specific language to implement a calculator |
| 1 point by chaoxu on June 21, 2019 | past |
|
| 14. | | Ask HN: Service that aggregates personal medical lab reports |
| 1 point by chaoxu on March 8, 2019 | past |
|
| 15. | | Strings with Hamming distance exactly 1 (chaoxuprime.com) |
| 1 point by chaoxu on Dec 30, 2018 | past |
|
| 16. | | Defeating the Travelling Salesman Problem for Warehouse Logistics (2014) (zalando.com) |
| 5 points by chaoxu on Oct 12, 2018 | past |
|
| 17. | | Subset Sum Made Simple (arxiv.org) |
| 7 points by chaoxu on July 24, 2018 | past |
|
| 18. | | How to transition from academia to data science (cj2001.github.io) |
| 2 points by chaoxu on Dec 30, 2017 | past |
|
| 19. | | The Shortest Kinship Description Problem [pdf] (illinois.edu) |
| 2 points by chaoxu on Nov 21, 2017 | past |
|
| 20. | | Tickeys: Instant audio feedback for typing (github.com/yingdev) |
| 1 point by chaoxu on Dec 5, 2016 | past |
|
| 21. | | A Faster Pseudopolynomial Time Algorithm for Subset Sum (arxiv.org) |
| 34 points by chaoxu on July 10, 2015 | past | 2 comments |
|
| 22. | | Marking Streets to Improve Parking Density (arxiv.org) |
| 8 points by chaoxu on April 1, 2015 | past | 1 comment |
|
| 23. | | APL Problem Solving Competition (dyalogaplcompetition.com) |
| 45 points by chaoxu on June 3, 2014 | past | 5 comments |
|
| 24. | | A quick upper bound estimate on the number of states of the 2048 game. (mathb.in) |
| 1 point by chaoxu on March 12, 2014 | past |
|
