Skip to content

Instantly share code, notes, and snippets.

SSID=SSID_GOES_HERE
pwgen -s 63 > 00wifi.txt
qrencode -o 00wifi.png "WIFI:T:WPA;S:${SSID};P:$(cat 00wifi.txt);;"
@paulvictor
paulvictor / stream.sh
Created June 21, 2019 03:33
Simulating a stream from a file
#!/usr/bin/env bash
i=0
ratePerSecond=1000000
port=5000
ratePerMS=$(($ratePerSecond/100))
while [ true ]
do
toRead=$((i*$ratePerMS))
b=`head $toRead $1 | tail -$ratePerMS`
i=$((i+1))
@paulvictor
paulvictor / keybase.md
Created March 15, 2019 11:33
keybase.md

Keybase proof

I hereby claim:

  • I am paulvictor on github.
  • I am paulvictor (https://keybase.io/paulvictor) on keybase.
  • I have a public key ASBW9fgmHto1UEB5qdFS4nh4ZFr0hLSpk23aewJgOsrvNgo

To claim this, I am signing this object:

@paulvictor
paulvictor / Trans.purs
Last active February 8, 2019 08:41
Translation of the latency function
pgLatency :: Array Page -> Array Event -> Int
pgLatency pages events =
snd <<<
runState
(for_
(pagesAndEventsSortedOnTime
(either
\p -> whenM ((\s -> fst s && isUsefulPage p) <$> get) (modify_ (snd >>> _ + p.latency))
\e -> whenM ((\s -> fst s && isUsefulEvent e) <$> get) (modify_ (fst >>> const true)))
)
@paulvictor
paulvictor / TransformersExample.js
Last active January 24, 2019 08:01
Nesting of Monads
exports.fetchPayload = null
exports.readHostNameFromSTDIN = null;
@paulvictor
paulvictor / Input.py
Created January 16, 2019 07:56
Translating from python to purs
def func():
i = 0;
j = 0;
for (x in xs)
i = i+1;
if (x.foo == "bar")
j += 1;
else
j += 0;
@paulvictor
paulvictor / StreamFromKinesis.js
Created September 21, 2018 07:30
Stream From Kinesis
var AWS = require("aws-sdk")
var options =
{ endPoint: "https://kinesis.ap-southeast-1.amazonaws.com"
, accessKeyId: ""
, secretAccessKey: ""
, region: "ap-southeast-1"
}
var request4 = new AWS.Kinesis(options).subscribeToShard(
{ "ConsumerARN": ""
, "ShardId": "shardId-"
@paulvictor
paulvictor / Producer.js
Created September 21, 2018 04:13
Stream from shard
var request4 = new AWS.Request(new AWS.Kinesis(options),
"subscribeToShard",
{ "ConsumerARN": "ARN", "ShardId": "shardId-0000000000XY" })
//var request4 = new AWS.Kinesis(options).subscribeToShard(
// { "ConsumerARN": "ARN"
// , "ShardId": "shardId-0000000000XY"
// })
var request4 = new AWS.Kinesis(options).listStreams()
//console.log(JSON.stringify(request4.service))
@paulvictor
paulvictor / MultipleTypes.purs
Created September 12, 2018 18:22
Using Json for multiple types into an array
module MultipleTypes where
import Data.Argonaut.Decode.Combinators ((.?))
import Prelude
import Data.Argonaut.Core (Json, caseJson)
import Data.Argonaut.Core (stringify) as Json
import Data.Argonaut.Decode.Class (decodeJson)
import Data.Argonaut.Encode.Class (encodeJson)
import Data.Either (Either, either)
@paulvictor
paulvictor / Try2.purs
Last active April 12, 2019 13:48
Using a dictionary to decide a runtime implementation
module Try2 where
import Prelude
import Control.Monad.Rec.Class (forever)
import Data.Tuple (uncurry)
import Data.Tuple.Nested ((/\), type (/\))
import Effect (Effect)
import Effect.Aff (Aff, launchAff)
import Effect.Class (liftEffect)