供应链备忘录 2

Supply Chain Memo 2, LOCAL(2024.6.18).

按服务整理。

Work
- Okular
  - Great lightweight and open source PDF reader.
  - Customized Hot Keys:
    - Ctrl + R: Reverse colour.
- Wolfram Mathematica
  - Crack: https://tiebamma.github.io/InstallTutorial/
  - Changing background: Mathematica Memo 1
- VS Code
  - For Lean and LaTeX
  - Extensions installed:
    - background
    - Bookmarks
    - Material Theme
    - lean4
    - Remote Development
    - Remote Explorer
    - Jupyter (installed on WSL)
    - Wolfram Language (rarely used)
    - LaTeX Workshop
- Visual Studio 2022
  - Mainly for C and C#
  - Extensions installed:
    - ClaudiaIDE
    - Visual Studio Color Theme Designer 2022
  - Changing background: https://blog.ringyuki.com/archives/1701491443785 Good luck trying to find the right elements in theme editor.
- PyCharm Community
  - For Python
  - Extensions installed:
    - One Dark Theme
- WizTree
  - Fastest disk space analyzer ever seen.
- VMware Workstation Pro
  - Serial number can be found everywhere.
- X-Ways Forensics
  - Hex editor
  - Crack: https://www.52pojie.cn/thread-1633563-1-1.html
- RStudio
- WinMerge
  - Differencing and merging tool for Windows. Vital for version control over resources extracted from games.
- WSL
  - Debian
- PuTTY
  - SSH client, for cloud servers.
- WinSCP
  - FTP cilent, alternative to FileZilla.
- EndNote
  - XJTU ms: http://ms.xjtu.edu.cn/download/Endnote%2021win.html
- Git
  - Proxy: https://blog.csdn.net/weimeibuqieryu/article/details/106793645
  - SSH to Github, no proxy needed.

Language
- Wolfram
  - Installation:
    - Straight forward, nothing worth mentioning.
  - Learning:
- Lean
  - Installation:
    - https://lean-lang.org/lean4/doc/quickstart.html
    - http://faculty.bicmr.pku.edu.cn/~wenzw/formal/docs/#/zh-cn/install?id=mathlib4-mathematics-in-lean-%e5%ae%89%e8%a3%85%e6%95%99%e7%a8%8b
    - Try official method in the second link first.
    - Projects don’t share mathlib installation so manage the working directories carefully.
  - Learning:
    - https://adam.math.hhu.de/#/g/leanprover-community/nng4
    - https://leanprover-community.github.io/mathematics_in_lean/ (fetch the mathematics_in_lean repository and open it up in VS Code first)
    - https://leanprover.zulipchat.com/
    - https://alissa-tung.github.io/hacking-lean-in-lean-book/#/page/hacking%20lean%20in%20lean%20book
- LaTeX
  - Installation:
    - https://zhuanlan.zhihu.com/p/166523064
- Python
- R
- C, C#

Creation
- DaVinci Resolve Studio
  - Crack: https://www.yutu.cn/
  - Free ver. does not support GPU acceleration etc.
  - Alternative to Adobe Premier Pro
- Blender
  - Steam ver. has auto update https://store.steampowered.com/app/365670/Blender/
  - Extension installed:
    - LuxCoreRender (Caustic design, support 3.6LTS, 4.0, 4.1)
- darktable
  - Photo gallery, album management and photo editing.
  - Alternative to Adobe Lightroom
- GIMP
  - Picture editing.
  - Alternative to Adobe Photoshop
- InkScape
  - Vector graph editing.
  - Alternative to Adobe Illustrator
- OBS Studio
  - Screen recording & streaming.
- Stellarium
  - Great astronomic tool.
- iZotope RX10 Audio Editor
  - Alternative to Adobe Audition
  - Crack: https://www.yutu.cn/
- foobar2000
  - In-game audio playback and conversion (.wem, .ogg, etc.)
  - Extensions installed:
    - vgmstream decoder
- mpv
  - Advanced video player, for better quality.
  - Installation and introduction: https://vcb-s.com/archives/7594
- VLC media player

Tools
- 7-Zip
  - Best compression and decompression tool ever.
  - Support command line and batch operation.
- Aida64 Extreme
  - Hardware & system monitoring.
  - Crack: https://www.tbtool.cn/
- AssetStudio
  - Unpacking Unity game.
- BitComet
  - Access from outside China and select portable version.
- CrystalDiskInfo
  - SSD status monitoring.
- CrystalDiskMark
  - SSD benchmark.
- cube
  - Rubik’s Cube
- ffmpeg
  - Choose full ver. to download.
- FsbExtractor
  - Display and extract the sound samples contained within an FSB file
- lastactivityview
  - See recent activities. Useful in checking what others have done to your computer.
- NPKExtractor
  - Unpacking Netease games.
- Rufus
  - Creating bootable USB drives.
  - When making Windows To Go installation, select MBR.
- Waifu2x-Extension-GUI
  - Video & image super resolution.
- untrunc
  - Restore a damaged (truncated) mp4, m4v, mov, 3gp video.
- v2rayN
  - Current VPN provider: https://jifeng3267.xyz/
  - Cloudflare WARP was blocked.
- JiJiDown
  - BiliBili video downloads.
  - Manual: https://blog.csdn.net/sinat_40408885/article/details/136569647

Website Bookmarks
- https://www.guerrillamail.com/
  - anonymous, disposable temporary email.
- https://www.autodl.com/home
  - affordable AI trainning server.
- https://www.virustotal.com/gui/home/upload
  - Online virus detection.
- https://alternativeto.net/
  - Apps & software alternatives.
- https://ytshorts.savetube.me
  - YouTube video downloads.
- https://vcb-s.com/ https://www.moehui.com/
  - Animation resources.
- https://hdri-haven.com/ https://polyhaven.com/
  - HDRI resources.
- https://gtmetrix.com/ https://tools.pingdom.com/ https://boce.aliyun.com/ https://www.itdog.cn/
  - Website monitoring.