Skip to content

Instantly share code, notes, and snippets.

View ibLeDy's full-sized avatar
🐍

Iago Alonso ibLeDy

🐍
34 followers · 147 following
View GitHub Profile
@jboner
jboner / latency.txt
Last active July 2, 2024 06:27
Latency Numbers Every Programmer Should Know
Latency Comparison Numbers (~2012)
----------------------------------
L1 cache reference 0.5 ns
Branch mispredict 5 ns
L2 cache reference 7 ns 14x L1 cache
Mutex lock/unlock 25 ns
Main memory reference 100 ns 20x L2 cache, 200x L1 cache
Compress 1K bytes with Zippy 3,000 ns 3 us
Send 1K bytes over 1 Gbps network 10,000 ns 10 us
Read 4K randomly from SSD* 150,000 ns 150 us ~1GB/sec SSD
@xPaw
xPaw / README.md
Last active May 10, 2024 14:27
Counter-Strike local server practice config
@mrexmelle
mrexmelle / create_docs.py
Created March 16, 2016 08:59
Python script to generate documentation using Grip
import getopt
import re, shutil, tempfile
import os
import subprocess
import sys
# http://stackoverflow.com/questions/4427542/how-to-do-sed-like-text-replace-with-python
def sed_inplace(filename, pattern, repl):
'''
@noelboss
noelboss / git-deployment.md
Last active June 12, 2024 00:28
Simple automated GIT Deployment using Hooks

Simple automated GIT Deployment using GIT Hooks

Here are the simple steps needed to create a deployment from your local GIT repository to a server based on this in-depth tutorial.

How it works

You are developing in a working-copy on your local machine, lets say on the master branch. Most of the time, people would push code to a remote server like github.com or gitlab.com and pull or export it to a production server. Or you use a service like deepl.io to act upon a Web-Hook that's triggered that service.

@rondy
rondy / Effective_Engineer.md
Last active July 1, 2024 03:12

FWIW: I (@rondy) am not the creator of the content shared here, which is an excerpt from Edmond Lau's book. I simply copied and pasted it from another location and saved it as a personal note, before it gained popularity on news.ycombinator.com. Unfortunately, I cannot recall the exact origin of the original source, nor was I able to find the author's name, so I am can't provide the appropriate credits.

Effective Engineer - Notes

What's an Effective Engineer?

@bgauduch
bgauduch / multiple-repository-and-identities-git-configuration.md
Last active July 2, 2024 01:50
Git config with multiple identities and multiple repositories

Setup multiple git identities & git user informations

/!\ Be very carrefull in your setup : any misconfiguration make all the git config to fail silently ! Go trought this guide step by step and it should be fine 😉

Setup multiple git ssh identities for git

  • Generate your SSH keys as per your git provider documentation.
  • Add each public SSH keys to your git providers acounts.
  • In your ~/.ssh/config, set each ssh key for each repository as in this exemple:



  


  




    


          
    

      

        
        

          

              @kapb14
          

          

            
                kapb14
                / base.html
            
            

              Created
              October 17, 2018 07:14
            

              
                Flask simplest realtime log file viewer
              
          

        

      

        

  

    
    


        



  


  

        

          
          <!DOCTYPE html>
        

        

          
          <html lang="en" xmlns="http://www.w3.org/1999/xhtml" dir="ltr" class="uk-height-1-1">
        

        

          
          <head>
        

        

          
          	<meta charset="utf-8" />
        

        

          
          	<meta name="viewport" content="width=device-width, initial-scale=1">
        

        

          
          	<title>flasktest</title>
        

        

          
          	<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/bulma/0.7.1/css/bulma.min.css" />
        

        

          
          	<script defer src="https://use.fontawesome.com/releases/v5.3.1/js/all.js"></script>
        

        

          
          	<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
        

        

          
          	</head>
        

  





    


  




    


          
    

      

        
        

          

              @rizalp
          

          

            
                rizalp
                / disable_spectre.md
            
            

              Last active
              May 22, 2023 22:07
            

              
                Disable Spectre/Meltdown Mitigation
              
          

        

      

        

  

      

    
In /etc/default/grub, modify:


GRUB_CMDLINE_LINUX_DEFAULT="quiet splash noibrs noibpb nopti nospectre_v2 nospectre_v1 l1tf=off nospec_store_bypass_disable no_stf_barrier mds=off tsx=on tsx_async_abort=off mitigations=off"



Then sudo update-grub



  


  




    


          
    

      

        
        

          

              @ramantehlan
          

          

            
                ramantehlan
                / README-Fancy.md
            
            

              Last active
              May 10, 2024 14:28
            

              
                README template I use for most of my projects.
              
          

        

      

        

  

      

    
Introduction


    

  • Add your project logo.
    • 

  • Write a short introduction to the project.
    • 

  • If you are using badges, add them here.
    • 



📒 Index




  


  




    


          
    

      

        
        

          

              @asottile
          

          

            
                asottile
                / backup_slack_emoji.py
            
            

              Created
              September 6, 2019 21:40
            

              
                script to export all slack emoji
              
          

        

      

        

  

    
    


        



  


  

        

          
          import concurrent.futures
        

        

          
          import json
        

        

          
          import os.path
        

        

          
          import urllib.request
        

        

          
          

        

        

          
          token = '...'
        

        

          
          

        

        

          
          url = f'https://slack.com/api/emoji.list?token={token}'
        

        

          
          

        

        

          
          resp = urllib.request.urlopen(url)