Skip to content

Instantly share code, notes, and snippets.

View ishankhare07's full-sized avatar
👨‍💻

Ishan Khare ishankhare07

👨‍💻
28 followers · 9 following
View GitHub Profile
@mrnugget
mrnugget / technical_papers_reading_log_2020.md
Created March 3, 2020 13:51
Technical Papers - Reading Log 2020

Technical Papers

2019

  1. Oct 15: Google's Bigtable paper
  2. Dec 5: "Producing Wrong Data Without Doing Anything Obviously Wrong!" +

2020

  1. Jan 20: "Source Code Rejuvenation is not Refactoring" +
@spalladino
spalladino / mysql-docker.sh
Created December 22, 2015 13:47
Backup and restore a mysql database from a running Docker mysql container
# Backup
docker exec CONTAINER /usr/bin/mysqldump -u root --password=root DATABASE > backup.sql
# Restore
cat backup.sql | docker exec -i CONTAINER /usr/bin/mysql -u root --password=root DATABASE
@tdd
tdd / Learning and exploring ES6.md
Last active June 2, 2025 20:25
Good resources to learn, discover and explore ES6 in-depth

Learning

  • ES6 Katas - Small, byte-size exercises to discover most aspects of ES6 features by doing interactive, online exercises. Pretty awesome.
  • Learn ES2015 - A great part of Babel's website that takes you through examples of all supported ES6+ features
  • ES6-Features.org - Nice ES6 / ES5 comparisons of many ES6 language features
  • ES6 Features - A single-page tour of code examples for just about every ES6 feature, by Luke Hoban

Exploring in-depth

  • ES6 In Depth - A great series of articles on Mozilla Developer Network (MDN); also available in French through great translation efforts.
@ishankhare07
ishankhare07 / ErlangBookmarks.md
Last active March 11, 2025 07:30
erlang tutorials
@pratyushmittal
pratyushmittal / .gitignore
Last active May 15, 2022 11:27
*.pyc
*.jpe
*.png
@jexchan
jexchan / multiple_ssh_setting.md
Created April 10, 2012 15:00
Multiple SSH keys for different github accounts

Multiple SSH Keys settings for different github account

create different public key

create different ssh key according the article Mac Set-Up Git

$ ssh-keygen -t rsa -C "[email protected]"