Muhammad Akma Adhwa akmadhwa

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

VSCode - ESLint, Prettier & Airbnb Setup

1. Install ESLint & Prettier extensions for VSCode

Optional - Set format on save and any global prettier options

2. Install Packages

npm i -D eslint prettier eslint-plugin-prettier eslint-config-prettier eslint-plugin-node eslint-config-node

Learning Plan for Test Driven Development (TDD)

These learning resources primarily focus on Test Driven Development (TDD).

There is an emphasis on learning using PHP, Laravel and PHPUnit.
All these resources are free (at the time of writing)

Super Guide to the `split-window` tmux Subcommand (and Beyond)

Guide overview

tmux, like other great software, is deceptive. On the one hand, it's fairly easy to get set up and start using right away. On the other hand, it's difficult to take advantage of tmux's adanced features without spending some quality alone time with the manual. But the problem with manuals is that they aren't geared toward beginners. They are geared toward helping seasoned developers and computer enthusiasts quickly obtain the

How to install Zsh version 5.6.2 into CentOS 7

Given that you have a clean installation of CentOS 7 which was already updated, by you, then you still have some dependencies to install make and install the external Zsh from the source. You must be root to get the stuff done.

Install GCC Development Tools

yum groupinstall "Development tools"

Check if it's working

UPDATE (March 2020, thanks @ic): I don't know the exact AMI version but yum install docker now works on the latest Amazon Linux 2. The instructions below may still be relevant depending on the vintage AMI you are using.

Amazon changed the install in Linux 2. One no-longer using 'yum' See: https://aws.amazon.com/amazon-linux-2/release-notes/

Docker CE Install

sudo amazon-linux-extras install docker
sudo service docker start

	#!/usr/bin/env bash

	# Author: C.J. May @lawndoc
	# Usage: cloc-gh <username>
	# Prereqs: cloc gh

	cloc_repo () {
	gh repo clone "$1" temp-linecount-repo -- --depth 1 > /dev/null 2>&1 &&
	cloc temp-linecount-repo \| grep SUM \| awk '{ print $5 }' >> line_count.txt &&
	rm -rf temp-linecount-repo

	# This script will explain how to transfer a file to EC2 using SSM ONLY!

	# You will need to have permission to run SSM commands on the target machine and have sudo access as well

	# Infos
	INSTANCE_ID=i-1234567890
	FILE_NAME=the_file.tar.gz

	# Step 1: Run command on machine to install netcat and dump from port to filename
	# < Start session

	-------------------------------------------------------------------------------------------------------------------------------------------------
	$ bash --version #bash acronym for "Bourne Again Shell"
	$ man bash \| grep -C2 '$@' #"$@" as explained below under Special Parameters
	-----------------------------------------------------------------------------------------------------
	#Current Shell

	$ echo $SHELL
	$ echo $0
	$ readlink /proc/$$/exe
	$ cat /proc/$$/cmdline