Build GitHub Pages with GitHub Actions
Why use an external service when there’s an in-house GitHub service?
Using SSH deploy keys on CircleCI
A year ago back I wrote an article on automating build & deployment of GitHub Pages website with Travis CI. It’s a great CI service at first, but since Travis CI has completely moved away from containers, speed is a real issue to whoever is concerned. On the other side, CircleCI is continuing...
Bootstrapping Make
Have C or C++ project to build? You may think, “Yeah this is very easy, I’ll just call the compiler to do so”, and yes, let’s take a look at an example.
Programming the On-Board SPI Flash of Digilent Nexys4 DDR
This semester I have the course “Experiments of Digital Circuits”, the content of which is designing digital circuits using Vivado software, and writing Verilog code. Most of the lab papers require generating bitstream for the project and downloading it to Nexys4 DDR board to verify the functiona...
Batch convert PowerPoint slideshow to PDF
The TL:DR line: If you want my script, you can get it here.
Making a Reversi game with Python
As a casual attempt to accomplish a Grand Assignment, I created a Reversi game with Python. The project is open-source on GitHub and you can view it with the link above.
Build GitHub Pages with Travis CI
Update December 2020