Hong Kong OpenTripPlanner instance up
The government of Hong Kong has released public transport data set as GTFS. In response, I have built an OpenTripPlanner instance to work on those data as an experiment to (…Read More)
Type-safe callables in PHP by interfaces with __invoke()
The type system in PHP has become safer each version since PHP 7.0, by using a strict type declaration on top of the PHP file. As a newly-developed feature, it (…Read More)
Personal website completely modernised
I started building my own website in 2008 when I was still in secondary school using PHP and (X)HTML. At that time, the PHP version was only 5.2, without modern (…Read More)
static in depth
After my previous post about static members in various programming language, I decide to write a post about the word static in depth. static is a key word in multiple (…Read More)
static in PHP
static keyword is used to represent class members, i.e. members which are shared among the class, as opposed of instance members which is unique to an object instance, in many (…Read More)
The philosophy of nothing
Nothing, the opposite of something, does not exist. To represent something is trivial, but, how we can represent nothing is a great philosophical problem. What is nothing? Even when put (…Read More)
CalDAV server set up on Debian
In the past, about the years I was in sixth-form and first-year university, I used KOrganizer for my calendars, which is the first calendar software that I use, in conjunction (…Read More)
My views on type systems
As my programming experience begins to diverse, from traditional command-line programs to web and app development, I have used many programming languages, some of which I like, and some I (…Read More)
he.net IPv6 Sage certification completed
I completed the he.net IPv6 Sage certification in January this year and have just received the T-shirt. I started the certification programme in 2011 when I upgraded my network infrastructure (…Read More)
Difference between leaving, closing and killing an app
Mobile computing is the trend, but due to the very different nature between a traditional desktop computer and a mobile device, the process models of desktop OSes and mobile OSes (…Read More)