Skip to content

Instantly share code, notes, and snippets.

View noenthu's full-sized avatar

Vivek Chowdhary noenthu

7 followers · 6 following
View GitHub Profile
@noenthu
noenthu / System Design.md
Created February 5, 2020 21:01 — forked from vasanthk/System Design.md
System Design Cheatsheet

System Design Cheatsheet

Picking the right architecture = Picking the right battles + Managing trade-offs

Basic Steps

  1. Clarify and agree on the scope of the system
  • User cases (description of sequences of events that, taken together, lead to a system doing something useful)
    • Who is going to use it?
    • How are they going to use it?
@noenthu
noenthu / FlaskReadProperty.py
Created January 15, 2020 19:10 — forked from JoelBender/FlaskReadProperty.py
Flask based web server that reads values based on `MultipleReadProperty.py` sample. Not for production use.
#!/usr/bin/env python
"""
A web server based on flask that reads properties from objects and returns an
HTML page of the results.
"""
from flask import Flask
from jinja2 import Template
from threading import Thread
@noenthu
noenthu / git.migrate
Created September 17, 2019 21:39 — forked from niksumeiko/git.migrate
Moving git repository and all its branches, tags to a new remote repository keeping commits history
#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.