Recent posts

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...

4 minute read

解决 Win10 自带微软输入法卡顿

昨天开始我用 Windows 10 自带的微软输入法开始出现了严重的卡顿,表现是时不时的按下键盘后要等一秒钟才会出现候选列表,尤其是在切换窗口的时候能卡 2-3 秒。进入 Win10 设置应用,找到微软拼音输入法,把所有设置都改了一遍,把云联想也关了,还是没啥变化。

1 minute read

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...

6 minute read

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...

24 minute read

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...

2 minute read

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.

5 minute read