TeX · 59 watchers
naivemoha
A LaTeX Package for 膜
chaoxu's repos on GitHub
HTML · 42 watchers
chaoxu.github.io
Haskell · 29 watchers
mgccl-haskell
Solving programming problems with Haskell
HTML · 18 watchers
blog
blog
Haskell · 18 watchers
fancy-walks
solutions for problems/puzzles from a variety of websites in fancy languages
Haskell · 12 watchers
halgo
Implementation of algorithms in Haskell
HTML · 7 watchers
algoprob
Algorithmic Problems and Exercises
TypeScript · 6 watchers
coflat-shell
Desktop shell for Coflat documents.
Java · 5 watchers
mgccl-oj
Code I use for OJ's.
Haskell · 4 watchers
chinese
some Chinese related things
HTML · 4 watchers
problems
JavaScript · 4 watchers
quotapulse
CLI for tracking AI subscription usage across Codex, Claude, and Gemini
TypeScript · 3 watchers
coflat
Math-aware Markdown editor library built on CodeMirror 6.
Java · 2 watchers
clemson-reu
JavaScript · 2 watchers
FlexE
Haskell · 2 watchers
haskellproblembook
Java · 1 watchers
boundary
1 watchers
combinatorial_computations
some code for simple combinatorial computations
TypeScript · 1 watchers
cosheaf
Forgejo-native knowledge base for Coflat markdown
Python · 1 watchers
egiftcard
Given links, list all the codes
Tcl · 1 watchers
FlexServ
Python · 1 watchers
inbox2json
The logins to a inbox through imap, output everything as json, and optionally archives it.
Rust · 1 watchers
katex_cli
html file from stdin and apply katex to it in server mode
Python · 1 watchers
ledger
A ledger supports multiple currency.
Python · 1 watchers
matroid-0-bases
some code for zero bases of a matroid
1 watchers
mgccl-school-work
Homeworks and school work tex files
1 watchers
ojstat
Find statistics in different OJ's, so it can be used for other reasons.
1 watchers
Open-Solutions-Manual
A meta project that tries to create solutions manual for textbooks
1 watchers
pdb
Random codes and wiki for pdb
JavaScript · 1 watchers
stayvalue
CSS · 0 watchers
algonotes
Some algorithm notes
0 watchers
bankimport
Code to get a unified input from bank exports
0 watchers
build-your-own-mint
Build your own personal finance analytics using Plaid, Google Sheets and CircleCI.
Java · 0 watchers
carpark
Car parking simulation
Python · 0 watchers
cellgauge
Racket · 0 watchers
codediary
Programming
Python · 0 watchers
coverify
CLI harness for LLM-backed mathematical proof work over Cosheaf
0 watchers
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
0 watchers
desktop
Agentify Desktop lets Codex/Claude/OpenCode control your logged-in ChatGPT, Claude, AiStudio, Gemini, Grok, Perplexity web sessions via MCP, parallel hidden/visible tabs, file upload + image download
0 watchers
EmptyErdosSzekeres
C++ · 0 watchers
hackercup_2013
Facebook Hacker Cup 2013
0 watchers
KaTeX
Fast math typesetting for the web.
HTML · 0 watchers
katex-source-locations-demo
Standalone demo for KaTeX source-location HTML attributes
JavaScript · 0 watchers
max-flow
Python · 0 watchers
median
0 watchers
nitan-mcp
MCP client for US Card Forum
0 watchers
packagetrack
Track UPS Packages
Python · 0 watchers
parcel-info
A simple python delivery tracker for FedEx, UPS and USPS
0 watchers
pi-mono
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
0 watchers
playground
0 watchers
pykeylogger
Python keylogger for Windows and linux/Xlib
Python · 0 watchers
Rosalind-Problems
Solutions to problems from http://rosalind.info/
JavaScript · 0 watchers
screencast
Narrated product-demo videos as code. Visuals first, audio adapts.
HTML · 0 watchers
simple-academic-page
Java · 0 watchers
simpledb
Ruby · 0 watchers
styles
Official repository for Citation Style Language (CSL) citation styles.
0 watchers
sublime-markdown-extended
Top 100 Sublime Text plugin! Markdown syntax highlighter for Sublime Text, with extended support for GFM fenced code blocks, with language-specific syntax highlighting. YAML Front Matter. Works with ST2/ST3. Goes great with Assemble.
0 watchers
xudistributors_page
 |
chaoxu🏢 电子科技大学 / 教授 V2EX member #230951, joined on 2017-05-16 16:10:01 +08:00 |
chaoxu.prof
成都
chaoxu
 |
Per chaoxu's settings, the topics list is hidden |
Deals info, including closed deals, is not hidden
chaoxu's recent replies
Aug 22, 2024 Replied to a topic by yy306525121 › 程序员 › 想写一个排课功能，请教大佬们 |
@yy306525121 "和 or-tool 这些其实是一类工具， 都是问题求解器， 但是他们都是基于一个原理， 把所有可能的组合全部排列出来，然后找出最优解，这种框架会有一个问题， 就是当你的问题或者叫排课里面的教师和班级数量上来之后问题规模会成指数倍增长，家用计算机跑一天都跑不出来"
不是把所有组合排列出来，会有大量的剪枝操作。一般人自己写的系统是比不过的。
你整个帖子都没有一个正确的数学上的描述。只要能描述出来，就能找做运筹的人写出来。
不是把所有组合排列出来，会有大量的剪枝操作。一般人自己写的系统是比不过的。
你整个帖子都没有一个正确的数学上的描述。只要能描述出来，就能找做运筹的人写出来。
Jul 28, 2024 Replied to a topic by JiaNa › 问与答 › 你们如何应对分手可能被分一半财产？ |
老婆收入比我高很多。
所以于情于理我都觉得分一半非常合理。
所以于情于理我都觉得分一半非常合理。
Mar 26, 2024 Replied to a topic by xiaoguaiwu › 程序员 › 可以看看各位大佬的博客吗， 4042 年还有人写博客吗？ |
https://chaoxu.prof/blog 写了好多年了
https://chaoxu.prof/blog
Jan 24, 2024 Replied to a topic by mokeyjay › 香港 › 有一个拿香港身份的机会，但我却犹豫了 |
我境外身份，长期在国内工作。当然我不是中国国籍所以会比香港的难不少。但是有些我遇到的问题香港护照也会遇到。统战部门会和你搞好关系。
大多东西都不支持身份证以外的东西，当然如果是香港身份等等，可以支持的稍微多一点。港澳居住证支持的地方多了不少。外国护照一般是支持最少得。所以有很多走人工的东西，比如
- 我常常要报销东西，比如火车票。就很烦需要人工亲自跑一趟（自己，或者其他人帮忙跑也行）
- 但如果不需要报销会简单不少。少数火车站刷护照的东西是可行的（如上海虹桥）。但是不少老旧一点的火车站没有这个系统只能人工。
- 弄宽带改地址的时候非要我亲自去改。 网上只支持身份证。
- 似乎大多地方政策是只能在全国买一套房子。
- 成都的话，外国人是拿不到公积金的。当然不同地区不一样，比如上海是可以。香港护照不清楚。社保啥的没问题。
- 似乎有些东西比较难搞，但可能也只是对外籍来说的。比如同时给几个不同的地方工作，有的地方可能是怕麻烦就直接表示不可以。（有可能是外籍的人是要被当地的省级的各种地方管理而不是国家管理，同时几个省工作可能有行政上的难度。）
有些福利只有外籍人或者香港人才能获得，不过都是和地区相关的。
比如菲佣，你想在国内有合法个人雇佣菲佣，你自己就不能是内地人（你所在的地区需要是上海或者广东）。
大多东西都不支持身份证以外的东西，当然如果是香港身份等等，可以支持的稍微多一点。港澳居住证支持的地方多了不少。外国护照一般是支持最少得。所以有很多走人工的东西，比如
- 我常常要报销东西，比如火车票。就很烦需要人工亲自跑一趟（自己，或者其他人帮忙跑也行）
- 但如果不需要报销会简单不少。少数火车站刷护照的东西是可行的（如上海虹桥）。但是不少老旧一点的火车站没有这个系统只能人工。
- 弄宽带改地址的时候非要我亲自去改。 网上只支持身份证。
- 似乎大多地方政策是只能在全国买一套房子。
- 成都的话，外国人是拿不到公积金的。当然不同地区不一样，比如上海是可以。香港护照不清楚。社保啥的没问题。
- 似乎有些东西比较难搞，但可能也只是对外籍来说的。比如同时给几个不同的地方工作，有的地方可能是怕麻烦就直接表示不可以。（有可能是外籍的人是要被当地的省级的各种地方管理而不是国家管理，同时几个省工作可能有行政上的难度。）
有些福利只有外籍人或者香港人才能获得，不过都是和地区相关的。
比如菲佣，你想在国内有合法个人雇佣菲佣，你自己就不能是内地人（你所在的地区需要是上海或者广东）。
我一直用 fastmail 。没出过什么问题。有 issue 对方一般 24 小时就会回复。
Jan 2, 2024 Replied to a topic by kahlkn › 职场话题 › 2024 上班第一天有啥感想没？ |
公司给大家从 12/23 放假到 1/3 。
家里有很小孩子的都想早点返工。不然在家还要带孩子烦死了。哈哈哈。
家里有很小孩子的都想早点返工。不然在家还要带孩子烦死了。哈哈哈。
Nov 22, 2023 Replied to a topic by qwerthhusn › 算法 › 求 M 行 N 列矩阵，最大子矩阵和，有比 O(M×N²)时间复杂度更低的算法吗？ |
考虑 m=n ，则这个问题是 APSP-hard ，没人知道 O(n^{3-\epsilon})复杂度的算法。
Backurs, Arturs; Dikkala, Nishanth; Tzamos, Christos (2016), "Tight Hardness Results for Maximum Weight Rectangles", Proc. 43rd International Colloquium on Automata, Languages, and Programming: 81:1–81:13, doi:10.4230/LIPIcs.ICALP.2016.81
Backurs, Arturs; Dikkala, Nishanth; Tzamos, Christos (2016), "Tight Hardness Results for Maximum Weight Rectangles", Proc. 43rd International Colloquium on Automata, Languages, and Programming: 81:1–81:13, doi:10.4230/LIPIcs.ICALP.2016.81
Sep 10, 2023 Replied to a topic by OldJii › 问与答 › 你目前的理财方案是什么？ |
我流动资产里 90%是美股。
然后还有个房子。
流动资产约等于房子价值的 2 倍。
然后还有个房子。
流动资产约等于房子价值的 2 倍。
Select Language