Background

Despite my experience in Vim, the multi-cursor functionality in Sublime Text 3 has seduced my to change my editor.

Unlike Vim, a nonempty new line at the end of Sublime Text 3 file buffer causes the file to end without a newline character. In fact, it’s a POSIX standard to include a newline character at the EOL (end of file). (c.f. No Newline at End of File)

Problem

Unaware of the above POSIX standard and Sublime Text 3 convention, I have edited many lines of code in the repository for this blog and the one for my custom Beautiful Hugo. These edited files were almost everywhere in these repositories, and they polluted their remote counterparts on GitLab .

This isn’t a substitute for books .

Reminder

• $A \preceq B$: $A$ can be “injected” into $B$.
• $A \sim B$: $A$ and $B$ share the same cardinality.
• $A \prec B$: $A$ can be “injected” into $B$, but it’s “smaller” than $B$.
• A finite set can be “counted” from one to some nonnegative integer.
• Infinite is the “antonym” of finite.

Wolf’s proof

When I first saw this proof in Robert S. Wolf’s Proof, Logic and Conjecture: The Mathematician’s Toolbox, I gave it up since it wasn’t as intuitive as the statement.

Motivation

One loves adding colors to his/her life by adding stunning photos to his/her social media profile. However, due to various constraints, such as weather, budget and time, it’s possible that the photos taken look dark and somber.

Despite a suboptimal choice of camera angle, a right tool enables you to take the best out of the photo. Let’s go GIMPing.

Objective

To get a hands-on experience on Ubuntu installation on a UEFI hybrid system.

Devices

• 120 GB SSD disk: /dev/sda
• 1 TB HDD disk: /dev/sdb
• 8 GB USB key: /dev/sdc

Stage 0: precautions

• Ensure that your machine has enough power.
• Disable Secure Boot in M$ Windows
• Disable Quick Boot in boot menu

Stage 1: Make your live USB key

I tried Xubuntu’s built-in disk writing tool to create a live USB key from the official ISO file. Like my Xubuntu 18.04 installation on Fujitsu LH532 , the installer crashed during the installation. After submitting the generated report to Launchpad, I found out that the cause for this crash: the integrity test for my live USB key had failed.

It’s FOSS’s after-installation guide #11 recommends TLP. However, this package stopped my laptop from shutting down and logging in. I resorted to remove it through TTY.

Why image optimization?

To save loading .

My old way

ImageMagick provides a great CLI utility to convert and compress images for any purposes. However, to -crop images, I have to specify the numbers in pixels. One certainly works much more efficiently with a GUI tool.

My new way

GIMP can do anything that Adobe Photoshop can do, even saving images for web. In the linked page to this powerful GIMP plugin tutorial, the link for the GNU/Linux binary file is broken.

😖 @ 📃! This post contains unpleasant images. If you don’t wish to see them, please view this page with a text browser or a text mode plugin of your browser.

Rationale

Why?

My Fujitsu LH532 has been serving me well as my production machine for almost six years.

The keyboard was quite dirty: it’s full of hair and dandruff. I had to clean it for personal hygiene.

• au sens propre: (comme en anglais)

  Un événement dans lequel un cavalier essaie de demeurer sur un cheval avec deux jambes levées.

  

• au sens figuré dans l’actualité

  Une façon dangereuse de conduite dont le conducteur lève la(les) roule(s) antérieure(s).

  

Le dicto Collins a recordé une utilisation très rare de ce mot. Récemment, on l’utilise plus fréquemment en raison de la lutte contre les rodéos sauvages.

Goal

To set up a reasonable content structure for my blog.

Before Hugo

In my old Octopress blog, images and posts were placed under source/images/posts and source/_posts folders respectively. They were so far apart that I needed to use copy and paste the URL’s so as to get them right. As the size of the blog grew, I could hardly retrieve an image without first listing the files in the post image folder. This significantly reduced the efficiency of blog writing. In my hometown, people take efficiency seriously.

pdfunite is fairly easy to use.

pdfunite PDF-sourcefile1..PDF-sourcefilen PDF-destfile

Another way is to use QPDF. I’ve learnt to add --empty from @qpdf/qpdf:#12.

qpdf --empty --pages *.pdf -- out.pdf