sohang3112

# 'Squash Merge' video by anthonywritescode, this is script shown at timestamp 16:50 :
# https://youtu.be/5_8FTivl8Vs?si=krcdLDevrAC_DLuo&t=1013
# Uses https://github.com/newren/git-filter-repo (python script)

# Explanation: `git cat-file commit COMMIT_ID` shows parent commit id
#    normal commits have 1 parent, merge commits have 2 parents
#    this script simply deletes 1 parent (keeping only parent id of main branch), 
#    converting merge commit into normal (squash) commit

# An impressive example of this script is shown, 

sohang3112

• Generate new GPG key on laptop:

$ gpg --full-generate-key
$ gpg --list-secret-keys --keyid-format=long
$ gpg --armor --export GPG_KEY_ID    # get key id from prev list command - see details in above link

Copy output of last command (gpg armor export). Go to Github > Settings > SSH and GPG Keys > New GPG Key and paste it.

sohang3112

#! /usr/bin/env python3
import os

import fitz  # PyMuPDF
import nbformat

# Source: https://www.reddit.com/r/learnpython/comments/1ji0qwz/comment/mjblesy/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=share_button
def pdf_to_ipynb(pdf_path: os.PathLike, ipynb_path: os.PathLike) -> None:
    """Convert PDF -> Jupyter Notebook .ipynb file."""
    doc = fitz.open(pdf_path)

sohang3112

{-# LANGUAGE BangPatterns #-}

import Data.List (foldl')

-- | Compresses a string by counting consecutive repeating characters.
--
-- Returns a list of tuples where each tuple consists of a character and the
-- number of its consecutive occurrences in the string.
--
-- This function uses 'reverse', 'foldl'' and bang patterns for strict accumulation. 

sohang3112

# Example of forking ziglings repo from CodeBerg to Github
UPSTREAM=https://codeberg.org/ziglings/exercises.git
[email protected]:sohang3112/ziglings.git   # mk empty Github repo & copy SSH url (as Github doesn't support push with HTTPS)

git clone $UPSTREAM ziglings/   # (optional argument) used custom cloned folder name ziglings/
cd ziglings/                    # go to cloned repo
git remote set-url origin $FORK
git remote add upstream $UPSTREAM
git push

sohang3112

"""Using dict __missing__() to implement DefaultDict."""
from typing import Any, Callable

class DefaultDict(dict):
    """Implementing typing.DefaultDict.
    
    A dict that returns a default value (instead of raising KeyError) when a key is missing.
    
    >>> d = DefaultDict(list, {'a': 1, 'b': 2})
    >>> d['a']  

sohang3112

sohang3112

Problem

git push and git pull hanged (using SSH url).

Investigation

• Enable tracing in git to check what's wrong:

$ GIT_TRACE=1 git push
trace: built-in: git push
trace: run_command: unset GIT_PREFIX; ssh [email protected] 'git-receive-pack '\''sohang3112/machine-learning-practice.git'\'''
trace: start_command: /usr/bin/ssh [email protected] 'git-receive-pack '\''username/repo.git'\'''

sohang3112

from __future__ import annotations
from typing import Iterable


class IntSet:
    """
    Efficiently store integers in a set - internally uses bit shift operations.
    NOTE: len() isn't supported - instead cast to list first: len(list(intset))

    >>> IntSet(0b10011)    # Set of all the bits which are set to 1 (using 1-based bit indexing)

sohang3112

-- Simple function to handle HTML attributes that may or may not have a value specified.

import qualified Data.Map as Map
import Data.Map (Map)

-- HTML Property Key | Value
type Prop k v = Either k v

key = Left
val = Right