996 Worker's Blog

归档

2021 年 08 月

2021-08-31

Build jar with IDEA
Equivalence, paradigm, and inference calculus in predicate logic.
Predicate logic
Remove redundant .DS_Store in Git.
Android multiplex error
As a programmer, how to ask for help?
Software Testing -- coverage
Appreciation of Soviet paintings of world War II