A list of links containing cool references, resources and things related to books about Computer Science and related.

• Haskell Programming for First Principles
• Types and Programming Languages #math/type-theory
• Essentials of Compilation #computer-science/compilers
• How to design computer programs
• Structure and Interpretation of Computer Programs
• Introduction to Theory of Computation, Michael Sipser #computer-science/theory-of-computation

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare git@github.com:usi-systems/easytrace.git

In this meetup, we'll talk about DOM access and manipulation. This can be done in plain JavaScript using the new APIs introduced in ES6. It can also be done using jQuery. We will look at both approaches. We leave it to developers to choose what suits them.

As a study reference, look at the following cheat sheets:

• https://htmlcheatsheet.com/jquery/
• https://oscarotero.com/jquery/

1. From the repositories view in the app, drag the project folder to the bottom of the left sidebar.
2. Hit "Yes" when it asks if you want to create a local git repository
3. Go to "Changes" view (⌘2)
4. Select the files that you want to commit their current state to the repository. You can view the changes of the file by clicking on the double up arrow on the file name bar.

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Convert .mov/.MP4 to .gif

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.

How to fix a USB drive showing up as two drives (fragmented into multiple partitions) on Windows:

1. Hold the Windows key and press X, select PowerShell (Admin), select Yes to the pop-up. You can also use Command Prompt.
2. In the Powershell interface type diskpart to enter the disk partition tool.
3. Type list disk to see all disks listed.
4. Select the USB drive by typing select disk [NUMBER]. Be careful to select the correct drive.
5. Type clean. An error will occur if you have the drive folder open, close the window and repeat the command if this happens.
6. Type create partition primary.
7. Type format fs=ntfs quick to format the drive (you can also choose to set fs=fat32).
8. Type active.

The figure below calls out

• The netfilter hooks
• The order of table traversal