A blog

^_^

Note for Modal Logic

23 min read · July 01, 2025

2025 · logic · notes
Manage Python Environment on macOS/Linux

10 min read · June 01, 2025

2025 · sysadmin Python macOS GNU/Linux · notes
Remapping Copilot Key to Ctrl Key in Linux

3 min read · December 01, 2024

2024 · sysadmin GNU/Linux · notes
Set up SSH public key authentication for remote server

4 min read · December 01, 2024

2024 · sysadmin · notes
Moving files to remote server using SCP

4 min read · August 01, 2024

2024 · sysadmin · notes