Skip to content

Instantly share code, notes, and snippets.

View punkrockpolly's full-sized avatar
🌍
Working from Barcelona

Polina Giralt (pgiralt) punkrockpolly

🌍
Working from Barcelona
View GitHub Profile
@simonswine
simonswine / copy-k8s-resources-across-namespaces.sh
Created August 2, 2016 13:40
Copying kubernetes resources accross namespaces
kubectl get rs,secrets -o json --namespace old | jq '.items[].metadata.namespace = "new"' | kubectl create-f -
@non
non / answer.md
Last active January 9, 2024 22:06
answer @nuttycom

What is the appeal of dynamically-typed languages?

Kris Nuttycombe asks:

I genuinely wish I understood the appeal of unityped languages better. Can someone who really knows both well-typed and unityped explain?

I think the terms well-typed and unityped are a bit of question-begging here (you might as well say good-typed versus bad-typed), so instead I will say statically-typed and dynamically-typed.

I'm going to approach this article using Scala to stand-in for static typing and Python for dynamic typing. I feel like I am credibly proficient both languages: I don't currently write a lot of Python, but I still have affection for the language, and have probably written hundreds of thousands of lines of Python code over the years.

@lttlrck
lttlrck / gist:9628955
Created March 18, 2014 20:34
rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
@mariapacana
mariapacana / Sublime.md
Last active December 24, 2015 13:59
Sublime shortcuts

Linux

  • Control + Shift + P + rein -- reindent lines
  • Control + D -- select word
  • Control + U -- unselect word
  • Control + O -- open file
  • Control + W -- close tab
  • Control + KK -- delete to the end of line
  • Control + X -- cut entire line (or you can use this to delete)
  • Shift + Alt + (any number) -- split the window into that many panes (1 works, too)
  • Control + Shift + [Group #] -- move file to group
@dupuy
dupuy / README.rst
Last active May 5, 2024 18:42
Common markup for Markdown and reStructuredText

Markdown and reStructuredText

GitHub supports several lightweight markup languages for documentation; the most popular ones (generally, not just at GitHub) are Markdown and reStructuredText. Markdown is sometimes considered easier to use, and is often preferred when the purpose is simply to generate HTML. On the other hand, reStructuredText is more extensible and powerful, with native support (not just embedded HTML) for tables, as well as things like automatic generation of tables of contents.