I switched from Google Chrome to Microsoft Edge
Last year (maybe September? I don’t remember now) I switched my primary browser from Google Chrome to the new Microsoft Edge. It turned out to be a wise move and I’ve been with Edge for more than h...
Recent posts
解决 Win10 自带微软输入法卡顿
昨天开始我用 Windows 10 自带的微软输入法开始出现了严重的卡顿，表现是时不时的按下键盘后要等一秒钟才会出现候选列表，尤其是在切换窗口的时候能卡 2-3 秒。进入 Win10 设置应用，找到微软拼音输入法，把所有设置都改了一遍，把云联想也关了，还是没啥变化。
Setting up a GitHub webhook on AWS Lambda
Last month I set up my own Telegram bot for GitHub event notification. To receive GitHub events via webhook, a receiver is needed. True, it isn’t hard to write a Flask or Sinatra server and throw t...
Fix traceroute not showing intermediate results in a virtual machine on Windows
Today when I was running some networking diagnostics from an Ubuntu inside VMware Workstation, I noticed this strange result from mtr (My Traceroute):
A Deep Dive into Containers
Since years ago, containers have been a hot topic everywhere. There are many container softwares like Docker, Linux Containers and Singularity. It’s hard to say one understand what containers are w...
Keep using Flash Player in browsers in 2021
It’s 2021 now, and Adobe Flash Player has been end-of-life after December 31, 2020. There are many cases where you want to retain it, however. For example, you may want to keep enjoying an old game...
Build GitHub Pages with GitHub Actions
Why use an external service when there’s an in-house GitHub service?
Working against WordPress DeBlocker plugin
I’ll go straight to the solution (keep in mind that it’s considerably primitive, so use at your own risk) with code attached below. It’s a Tampermonkey userscript.