Hi there 👋

I love lints:

• https://github.com/lengyijun/use_crate_prefix_for_self_imports
• https://github.com/lengyijun/explicit_reinitialization

I'm fish user

• https://github.com/lengyijun/awsm.fish
• https://github.com/lengyijun/fc-fish
• https://github.com/BrewingWeasel/fishbang
• https://github.com/lengyijun/autocd-fish
• auto cd after git clone
• I have a awesome clone of fish-shell, which supports rule-based auto-suggestion
  • 

My work related to turing machine

• The smallest turing-machine related to Goldbach Conjecture
• The smallest 2-symbol turing machine simulate Collatz function
• Turing machine simulator, written in untyped lambda calculus