Ran Aroussi ranaroussi

Common Options

-#, --progress-bar Make curl display a simple progress bar instead of the more informational standard meter.

-b, --cookie <name=data> Supply cookie with request. If no =, then specifies the cookie file to use (see -c).

-c, --cookie-jar <file name> File to save response cookies to.

Working With Multiple Repositories On GitHub

Most projects on GitHub have a main repository that's the focal point of activity. For example, the Example organization has the Example.com repository:

https://github.com/example/example.com

Developers of Example.com typically call this the 'upstream' repository. We'll come back to it in a moment.

ZeroMQ vs Redis

This document is research for the selection of a communication platform for robot-net.

Goal

The purpose of this component is to enable rapid, reliable, and elegant communication between the various nodes of the network, including controllers, sensors, and actuators (robot drivers). It will act as the core of robot-net to create a standardized infrastructure for robot control.

Requirements:

PSQL

Magic words:

psql -U postgres

Some interesting flags (to see all, use -h or --help depending on your psql version):

-E: will describe the underlaying queries of the \ commands (cool for learning!)
-l: psql will list all databases and then exit (useful if the user you connect with doesn't has a default database, like at AWS RDS)

Moved to git repository: https://github.com/denji/nginx-tuning

NGINX Tuning For Best Performance

For this configuration you can use web server you like, i decided, because i work mostly with it to use nginx.

Generally, properly configured nginx can handle up to 400K to 500K requests per second (clustered), most what i saw is 50K to 80K (non-clustered) requests per second and 30% CPU load, course, this was 2 x Intel Xeon with HyperThreading enabled, but it can work without problem on slower machines.

You must understand that this config is used in testing environment and not in production so you will need to find a way to implement most of those features best possible for your servers.

	"""Asynchronous requests in Flask with gevent"""

	from time import time

	from flask import Flask, Response

	from gevent.pywsgi import WSGIServer
	from gevent import monkey

	import requests

	// ==UserScript==
	// @name RTL Slack
	// @namespace slask.com
	// @include https://.slack.com/
	// @version 1.2.2
	// @grant none
	// ==/UserScript==

	function isRTL(text) {
	if (text !== "") {

	# from https://gist.github.com/MattDMo/6cb1dfbe8a124e1ca5af

	import os
	import json
	import socket
	import threading

	activate_this = os.environ.get("SUBLIMEREPL_ACTIVATE_THIS", None)

	# turn off pager

	tell application "QuickTime Player" to activate
	tell application "System Events"
	activate
	--set UI elements enabled to true
	tell process "QuickTime Player"
	click menu item "New Screen Recording" of menu "File" of menu bar 1
	end tell
	end tell

	tell application "QuickTime Player"

	openssl rsa -in ~/.ssh/id_rsa -outform pem > id_rsa.pem
	chmod 600 id_rsa.pem