Install Haskell and Emacs on macOS

Haskell is a purely functional programming language. I learned how to use it in my Programming Language Concepts class. Our professor asked us to use Emacs to edit all the Haskell and Agda code since there are plugins such as Haskell Mode that can let Emacs highlight Haskell code and compile them when needed. In …

How to Sign Commits and Tags with GPG

Why Should You Use GPG? By default, Git will not verify your identity in each commit, which means someone can use your identity to push commits. This may be difficult to understand. Take GitHub as an example, to push commits, you need to register your SSH keys to GitHub. And you need to be an …

How to Install Ruby (on Rails) on Mac

macOS already included Ruby. You can type ruby -v at a Terminal prompt to check Ruby version and see result like: If you are satisfied with the Ruby version, you can type gem install rails –no-ri –no-rdoc to install Rails. However, if you are not satisfied with the Ruby version or if you have multiple …

Silicon Valley: A Story That Is Unrelated To Technology

This is an essay that I wrote for my Rhetoric course. Silicon Valley is a region in California where many technology companies gather together. When we think about Silicon Valley, we often think about genius people sitting together and programming in mysterious ways. Silicon Valley is also an American comedy series produced by Mike Judge. …

Project Review: Admissions Data Search System

What This Project Is And Why I Did It This is my first complete project. Its purpose is to provide admissions data to potential new students. I did this project as a competency test when I joined Hongmantang Studio. At the time, some third-party websites provided admissions data to help potential new students decide whether …