Friday, May 9, 2025

[Python] What is the best practice for managing Python environments inside WSL?

I am using VS Code with WSL and use Miniconda on Windows, what is the best practice for managing Python environments inside WSL?

(answers generated by ChatGPT)

Using a separate Miniconda installation inside WSL gives you the most consistent and manageable Python environment experience (isolated from system Python).

🔧 Steps:

  1. Install Miniconda in WSL:

    bash

    wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh bash Miniconda3-latest-Linux-x86_64.sh

    Follow the prompts to install, and allow it to add conda to your .bashrc or .zshrc.

Thursday, May 8, 2025

[Linux] SSH key pair initiation or copy

Working with SSH Key Pairs

This is to set up the key once, and then don't need to enter the passphrase every single time:

Use an ssh-agent in WSL with your ssh setup from windows 10 | by Philipp Scheit | Medium

Create new key pair

Use the ssh-keygen command to generate a public and private authentication key pair. Authentication keys enable you to connect to a remote system without needing to supply a password each time that you connect. 

To create a public and private SSH2 RSA key pair. To create an SSH key pair by using an algorithm other than the default RSA algorithm, use the -t option. Possible values that you can specify include the following: dsa, ecdsa, ed25519, and rsa. In this case, I use ed25519 algorithm.

Wednesday, May 7, 2025

[Windows] Set up Linux subsystem on Windows 11

After more than five years, I need to set up WSL again, on another Windows machine (yech...see [Windows] The first full crash ever!!!)

It was nice that I documented what I have done back in 2019 in this post: [Windows] Set up Linux subsystem on Windows 10. It was also unfortunate that most of these instructions no longer worked:(

Luckily it is easier. Here is the new instruction: Install WSL | Microsoft Learn

After installation, the most intriguing thing is setting up the theme. The theme is not just about accessibility - how clear you can see the code and comments. The more you set it up like you decorate your home, the more comfortable you will feel while coding, and more joy it will bring. 

Friday, April 4, 2025

静坐记录

2015年5月起,因学习太极和打坐,买打坐垫开始长期打坐。后来换成比较大的藏蓝色打坐垫(2024年出)。

2015年至2018年间,主要是guided meditation。这三四年越来越习惯散盘或单盘,吃饭也盘,旅游在街边也盘。

2019年到2022年,早晚禅修较多,以左脚在上的单盘为主。

[Obsidian] 入门阶段

 为了将杂乱无章的科研和教学的想法整合到一起,拥有纯文字的体验,我开始尝试Obsidian来记录各种想法。Obsidian的基本形式有点像私人维基。我现在从最简单的开始,熟悉Markdown 语法,建立各种笔记群。

目前还是用的最传统的方式:文件夹。以前在用Evernote的时候采用过序列号numbered notebook,这次也参考了Johnny.Decimal的方法。

然后每一个笔记的标题采用 Date-People-Title-Stage 的格式来排序。

接下来要探索的是tag,还有双链。双链目前因为笔记量还在累计中,用得不多。

当然,最牛的据说是各种插件,且待我慢慢探索。

注意的是,这个无法替代OneNote去和outlook链接,OneNote也比较适合各种截图和标记。其次,可视化方面也无法替代coggle等思维导图的工具(刚好看到一个Coggle 图讲Obsidian)。再次,也不是为了替代roterunner日记本和其他日程提醒、时间管理工具。

另外,最近发现google doc作为组内共享,还是永远的神。


Tuesday, February 11, 2025

Finally, I am back

I finally got back to writing blogs. That feeling is good. Nowadays ChatGPT and Deepseek are taking over the white-collar job market. Writing and publishing without being polished by AI is as rare as being naked on the street. However, I like to reserve some little space for me to write nakedly--still write what I want to write, and do not care about the grammar error or typo.

I finally got back to coding. That feeling is even better. I can see things being produced by myself directly. This is a controllable process. Even debugging is quite fun. It is my showtime to solve the bug.

I finally got back to cooking some meals. That feeling is quite amazing. I enjoy the time flow around the water rather than the clock. I made mistakes as well. But that is part of cooking, and anything else. I was so afraid of picking up things that I have not been doing for a while, like meditation, like exercise, like coding, and cooking. This proves again that most of my time is spent in dealing with my inner anxiety and doubt.

Tuesday, September 17, 2024

[Windows] The first full crash ever!!!

I can't believe - just after two months using my new ThinkPad X1, I have not been able to access my File Explorer, Outlook and other Office products, OneDrive and so on since September 3rd. 

Our IT support tried different ways to uninstall OneDrive and tried to enter the safe mode, but it was not successful. Then I initiated a recovery update on my PC on September 5th. After an hour of installation, I was no longer able to access my account. (A few days later I was told by the Lenovo support that this is a BitLocker feature). The reset of the pin is not successful because my operational system has corrupted. 

Pin error

The Lenovo support arrived on September 13rd and helped remove the BitLocker first through my personal recovery key, and then tried to back up some data by manually taking out the SSD and putting it into a reader. After that, they reinstalled a new Windows 11 enterprise on this PC by removing everything from my PC. 

The entire process of diagnosis, trials, testing, and fixing takes two weeks. I was under the stress and anxiety for half of the time. The most challenging part is contacting the Lenovo support. I was not so sure what is covered and whether they can come fix the issues given my warranty. During the period, our IT support are fantastic. And a lot of friends provided useful suggestions, such as backing up the data first, and then reinstalling the OS system. In the future, I hope this will not happen, but even it does, I will be less panicked. 

Here are some set up resources:

Duplicate OneDrive Folders in Navigation Pane

Adobe Font