Skip to content

Instantly share code, notes, and snippets.

View pfeodrippe's full-sized avatar

Paulo Rafael Feodrippe pfeodrippe

87 followers · 59 following
View GitHub Profile
@pfeodrippe
pfeodrippe / upTest.py
Last active August 29, 2015 14:27
import time
import requests # pip install requests
from random import randint
while True:
# url = 'http://127.0.0.1:8001/uploadImg'
url = 'http://bioanalyzer.cloudapp.net:81/uploadImg'
init_time = time.time()
folder = str(randint(0,1))
@pfeodrippe
pfeodrippe / upTest2.py
Created August 28, 2015 00:30
import time
import requests
from random import randint
while True:
# url = 'http://127.0.0.1:8001/uploadImg'
url = 'http://bioanalyzer.cloudapp.net:81/uploadImg'
init_time = time.time()
folder = str(randint(0,1))
@pfeodrippe
pfeodrippe / cors_server.py
Created March 29, 2016 22:17 — forked from enjalot/cors_server.py
Allow CORS with python simple http server
import SimpleHTTPServer
class CORSHTTPRequestHandler(SimpleHTTPServer.SimpleHTTPRequestHandler):
def send_head(self):
"""Common code for GET and HEAD commands.
This sends the response code and MIME headers.
Return value is either a file object (which has to be copied
to the outputfile by the caller unless the command was HEAD,
and must be closed by the caller under all circumstances), or
@pfeodrippe
pfeodrippe / pre-push
Last active April 12, 2017 19:49
Git pre-push hook for deis slugbuild deletion (see more at issue https://github.com/deis/builder/issues/487)
#!/bin/sh
url="$2"
# Please, set your preferred kubectl context!
if [[ $url == *"deis-builder"* ]]; then
app_name=$(basename $url | cut -f 1 -d '.')
echo "Using app $app_name for slugbuild detection"
pod_name=$(kubectl -n deis get pods --output=jsonpath='{.items[*].metadata.name}' -a | xargs -n1 | grep 'slugbuild-'$app_name)
@pfeodrippe
pfeodrippe / bumpme
Last active May 17, 2017 12:15
Wed May 17 12:15:23 UTC 2017
@pfeodrippe
pfeodrippe / fla-chart-2000.js
Last active June 24, 2018 17:31
fla charts
var chart = c3.generate({
data: {
x: 'x',
columns: [
['x', '0-4', '5-9', '10-14', '15-24', '25-49', '50+'],
['homens', 343, 300, 314, 555, 610, 295],
['mulheres', 318, 305, 315, 560, 591, 344]
],
type: 'bar'
},
@pfeodrippe
pfeodrippe / keybase.md
Created July 20, 2018 17:09

Keybase proof

I hereby claim:

  • I am pfeodrippe on github.
  • I am pfeodrippe (https://keybase.io/pfeodrippe) on keybase.
  • I have a public key ASC6zPplVGMxrgMzASGL_x6_7YzkShB5SgNgpB3Efv-tvgo

To claim this, I am signing this object:

@pfeodrippe
pfeodrippe / tla_plus_recursos.adoc
Last active June 23, 2020 16:05

Recursos TLA+

Alguns recursos de TLA+ (em inglês, infelizmente, mas entre no nosso grupo do Telegram em #ALGUM_LINK para tirar dúvidas).

Livros

  • Practical TLA+ (link para comprar o livro) (Hillel Wayne - 2018. Bom para se iniciar nesse mundo)

  • Specifying Systems (open source) (Lamport - atualizado em 2020, aparentemente. Mais avançado, recomendo ler o do Hillel primeiro)

@pfeodrippe
pfeodrippe / deps.edn
Last active October 16, 2020 04:20
{:deps
{org.clojure/tools.analyzer.jvm {:mvn/version "1.1.0"}
datascript {:mvn/version "1.0.1"}}}
@pfeodrippe
pfeodrippe / parser.clj
Last active October 25, 2022 04:19
(ns my-clerk.parser
(:require
[nextjournal.clerk.viewer :as clerk.viewer]
[nextjournal.markdown :as md]
[nextjournal.markdown.parser :as md.parser]
[fr.jeremyschoffen.prose.alpha.reader.core :as reader]
[fr.jeremyschoffen.prose.alpha.eval.common :as eval-common]
[clojure.string :as str]
[clojure.walk :as walk]))