chaoxu

332 karma · joined November 12, 2012

<https://chaoxu.prof>

Professor at UESTC, works on theoretical computer science and operations research.

Research interests: algorithms, combinatorial optimization, computational geometry and problem-solving in general.

submissions comments

AI Agents for the Working Mathematician

chaoxu.prof·5 pts·chaoxu·

AxiomProver at IMO 2026 (perfect score)

github.com·1 pts·chaoxu·

First Proof Second Batch [pdf]

1stproof.org·2 pts·chaoxu·

Ace Technical Preview: GitHub Next's Agentic Workspace – Maggie Appleton [video]

youtube.com·3 pts·chaoxu·

Ask HN: Bank Transactions to CSV

2 pts·chaoxu·

Typst: Compose Papers Faster

typst.app·4 pts·chaoxu·

Ask HN: Is there a system formalizing US tax code as set of inequalities

8 pts·chaoxu·

Ask HN: What personal checking account are you using?

5 pts·chaoxu·

Ask HN: How to Automate Processing of Emails?

2 pts·chaoxu·

Yotta Savings and Covering Designs

chaoxuprime.com·1 pts·chaoxu·

Formality

github.com·1 pts·chaoxu·

SVGnest – Free and Open Source Nesting

svgnest.com·2 pts·chaoxu·

Ask HN: Domain specific language to implement a calculator

1 pts·chaoxu·

Ask HN: Service that aggregates personal medical lab reports

1 pts·chaoxu·

Strings with Hamming distance exactly 1

chaoxuprime.com·1 pts·chaoxu·

Defeating the Travelling Salesman Problem for Warehouse Logistics (2014)

jobs.zalando.com·5 pts·chaoxu·

Subset Sum Made Simple

arxiv.org·7 pts·chaoxu·

How to transition from academia to data science

cj2001.github.io·2 pts·chaoxu·

The Shortest Kinship Description Problem [pdf]

chaoxu3.web.engr.illinois.edu·2 pts·chaoxu·

Tickeys: Instant audio feedback for typing

github.com·1 pts·chaoxu·

A Faster Pseudopolynomial Time Algorithm for Subset Sum

arxiv.org·34 pts·chaoxu·

Marking Streets to Improve Parking Density

arxiv.org·8 pts·chaoxu·

APL Problem Solving Competition

dyalogaplcompetition.com·45 pts·chaoxu·

A quick upper bound estimate on the number of states of the 2048 game.

mathb.in·1 pts·chaoxu·