Posted on September 25, 2018
(Last modified on September 7, 2024)
| 11 minutes
| Vincent Tam
|
0 comment
Purpose
This post aims at recapturing the main ideas of the formal proofs that I’ve
read. It never tries to replace them. You may consult the
references if you need any of them.
Some notations
Unless otherwise specified, all cardinalities here are infinite. Denote
$\mathfrak{a} = \card{A}$, $\mathfrak{b} = \card{B}$ and
$\mathfrak{i} = \card{I}$.
Sum
$\mathfrak{a} + \mathfrak{b} = \card{A \cup B}$ provided that
$A \cap B =\varnothing$.
The compiled binaries often contain install scripts which put files to shared
folders under /usr. Consequently, they have to be run as sudo privileges.
That drove me to start this lengthy Julia compilation.
Installation
Without sudo privileges, I’ve chosen to compile Julia from source.
I was too lazy to get the dependencies fixed. I just compiled it
withoutGFortran and pkg-config under the ~/src folder.
Posted on September 20, 2018
(Last modified on September 21, 2018)
| 5 minutes
| Vincent Tam
|
0 comment
Introduction
This article records my errors and difficulties encountered on the first day I
came across Red Hat Enterprise Linux 7 in my school’s laboratory, as a
normal user without sudo privileges.
The login screen was gdm, and the desktop environment was GNOME. IBus was used
as the input engine.
Packages installed
The principal goal is to install tools that I usually use on RHEL without sudo
permissions. To do so, I’ve downloaded the executable binaries or source code
of these packages. As I wanted to focus on my studies, I prefer downloading
executable binaries.
Given a $\pi$-system contained in a $\lambda$-system. Then the
$\sigma$-algebra generated by the $\pi$-system is also contained in the
$\lambda$-system.
Posted on September 17, 2018
(Last modified on June 5, 2022)
| 6 minutes
| Vincent Tam
|
16 comments
Update: I suggest reading a newer tutorial for setting up your custom API
server that works with GitHub Apps. The package maintainers suggest hosting
your own API server.
Goal
To host an instance of Staticman v3 server on Heroku.
This post involves server-side setup of the commenting system. If you simply
want to have a taste of this system on GitLab, you may try
my demo GitLab Page.
Posted on September 17, 2018
(Last modified on May 13, 2019)
| 2 minutes
| Vincent Tam
|
0 comment
Background
While making changes to a theme for a static site generator, I changed files
under a Git submodule included in the repo for my blog. (e.g.
themes/beautifulhugo) That’s ideal for local testing, but not for version
control. As a result, I cloned the repo for the theme to a directory separate
from the one for my bloge (say, ~/beautifulhugo), and commit the changes
there, then performed a Git submodule update so as to make the workflow clean.
Posted on September 17, 2018
(Last modified on September 24, 2018)
| 4 minutes
| Vincent Tam
|
0 comment
Background (TL;DR)
While setting up the new version of Staticman for
my demo GitLab pages, I’ve read developers’ documentations,
setup guide and some community blog posts so as to come up with
my own guide. It’s originated and inspired from a variety of sources,
and refined according to hours of testing. Consequently, despite the original
intention to keep things simple, I’ve finally come up with a post with over a
thousand words.
To pass my ideas in this post to visitors, it’s better that they have an
overview of the contents before actually looking into the details. Therefore,
a table of contents is nice-to-have feature for this blog.
To keep focused on the technical setup, please refer to
the introduction of this series for the reasons of choosing Staticman
and GitLab.
Goal
To set up unauthenticated commenting system on GitLab pages.
Demo GitLab Page with Staticman v3
Built on 14/09/2018
This post aims at providing a walkthrough to the GitLab repo setup. If you want to host your own Staticman API instance, you may refer to the
next post in this series.
Posted on September 16, 2018
(Last modified on November 10, 2018)
| 4 minutes
| Vincent Tam
|
6 comments
I put some “why” questions here so as to keep focus on the technical setup of
the GitLab repo and the optional Staticman API server.
Why static blogs instead of dynamic ones?
quicker loading time
better reliability (can handle more request)
no database needed
greater control on content, styles and layout
Why static comments?
allow feedback from visitors
site owner owns the comment locally (unlike WordPress, Facebook, Disqus, etc)
no remote database needed, so no need to worry server errors from
third-party commenting services.
greater control over the rendering of the comments (allow additional
features such as Markdown syntax, and $\KaTeX$ support)
more accessible since static comments are incorporated as HTML elements
into the post. No JavaScript is required to retrieve the comments,
contrary to most third-party commenting services.
Before Staticman’s deployment, another commenting system called Pecosys was
already available. However, it’s less convenient to handle visitor’s requests
as emails.
Posted on September 16, 2018
(Last modified on April 13, 2023)
| 2 minutes
| Vincent Tam
|
0 comment
Background
Le Temple du Marais
"Eglise verte" means "green church".
My churches are going green.
Problem
→
I downloaded a PDF from Haute-Garonne’s government site, filled in
the form and saved it on a USB key. Then I printed it at a Konica Minolta bizhub
photocopier .
However, _only_ the radio buttons and checkboxes
were printed. The blanks
were left _blank_! I opened my PDF and double-checked that I had input the text
in .