Viewing profile — chaoxu

I care. I was a math student in my undergrad when I try to solve a particular problem on paths, in the end it uses a path version of cycle double cover conjecture (which was solved…

okey just did some investigation. ~/.config/herdr/herdr.sock JSON-RPC API so we can avoid herdr UI. In fact herdr's TUI is using it too. So basically you can write your own tool to…

Something like this would be great. It seems what one really need is just persistent terminal session. So this thing probably can be built on top of zmc with a few scripts.

Herdr did a lot of things really well. It have a great landing page where you can see and interact , and that really made me try it, and a few of my friend was also captured and im…

You say hard rules can cause A beats B, B beats C, and C beats A. Is it because hard rules itself can have cycles, or because hard rule and scores together causing cycles? What doe…

I've always wondered if pandoc can be made reactive. Say markdown to Pandoc AST. If one changes something, a quick update to the AST would happen incrementally. Now with all these …

On the webpage's demo, it has a really slick looking UI. How do we have that?

Feels like one can just copy the UI and use it for forgejo. It would get something similar very quickly, and avoid handling all the difficult stuff I guess.

I'm a researcher working in theoretical computer science. Chatgpt found a counterexample of some conjecture I've been trying for 2 years. Also, it one shot many problems I've worke…

This is monotone min-plus, so you can do it with even better running time than what you listed (which is just min-plus). Also, if all numbers are at most k, you can even get runnin…

My version of a WYSIWYG built on top of CM6. https://github.com/chaoxu/coflat Mine also have lot of bugs (especially reader and editor doesn't completely match yet). repro the issu…

I'm testing it and seems to be very broken , typing things around and things jumps everywhere. I was trying to create something like this too, because I need something that also wo…

I’m really interested in AI4MATH, as I believe it will eventually replace me. I'm working on a mathematical knowledge base software. It's kinda like a local Github for math. In fac…

I can’t read it at all on mobile because I can’t scroll down. Is there a summarization?

> Because frankly nobody gives a sh about throwing resources and finding just better (not globally optimal) solutions to synthetic benchmarks. This does not align with my experienc…

A heuristic using problem specific structure can beat Gurobi which is for solving general mip.

I was looking for something that aggregates my transaction informations across banks, and output to a database (or a csv, so I can handle it later). The point is to have this progr…

Just tried it. Does it support theorem environments?

Many LaTeX tricks only get passed down from advisors to students, or from collaborators to collaborators. Rarely someone would look for how to improve their typesetting when all th…

How is Quarto? It uses Pandoc Markdown.

Have you tried Quarto? It should tick everything in your box (except MathML, but hey that might work too since Quarto is built on pandoc)