Recent posts

I switched from Google Chrome to Microsoft Edge

4 minute read

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 half a year now. In this article I’ll share my ideas with this move.

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

less than 1 minute read

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

Setting up a GitHub webhook on AWS Lambda

6 minute read

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 the whole thing onto a VPS, but thinking about the complexity and maintenance efforts, serverless pla...

A Deep Dive into Containers

24 minute read

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 without diving into all the gory details of them, so I decided to go on this exploration myself.

Keep using Flash Player in browsers in 2021

2 minute read

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 that’s been around for decades, or managing your organization’s infrastructure via VMware vSphere F...

Working against WordPress DeBlocker plugin

5 minute read

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.