Skip to content

Instantly share code, notes, and snippets.

View paulvictor's full-sized avatar

Paul paulvictor

18 followers · 1 following
View GitHub Profile
@paulvictor
paulvictor / pub-key
Created March 8, 2023 14:18
the-other-public-k
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQDqO0CjHsgV+Vqhy0j5UzABRHEneZskMcMkiBlYFn14TZAYAHcxO8vBtbXhuLMoELj6P0uk64X15KceaxLCqDx5fLzKnbZ9Z++bMxEUBah/GagnJiirO1MUPS1vIIiYOjx2VgHg0a8e5qKIzs2RTQL12AgyHpbz2268HuymMykyaOyMVY5Ns9ZK0x9QRQ4uwNKHL4rhYG7U7vpEh78q+XSu3pD0cZp4Ih21d75YyLxSgpDNa65xTl/1IbvKTfZCztrlUnXFhByrq+pc+64kzITE1gLXCdhJfELl2MXrB1545YjMLC/T9YDt8MS1eH30NmgCtTbiQFA58s0WIHAwM6FG4vUfqEMPh0pbMAkSs95a1/meM/hefik4do1jT88QDiiHYrmp6mjx4Mabtwy5ks5K4YvWD6wicprLhLCWYSIMLuLVsQFN/zgfrWbRyEq5/dv7Yg1SX5VngbcAkQ6bdtFKwGodFwxTxHBgEfLgMRnGkBZiZwToUHldsxhxnJsIc68=
@paulvictor
paulvictor / redis-monitor-pipeline
Created January 10, 2023 16:34
1673368336.626652 [0 127.0.0.1:37866] "PING"
1673368336.626698 [0 127.0.0.1:37866] "SET" "foo" "1"
1673368336.626734 [0 127.0.0.1:37866] "INCR" "foo"
1673368336.626737 [0 127.0.0.1:37866] "GET" "foo"
1673368336.626739 [0 127.0.0.1:37866] "INCR" "foo"
1673368336.626740 [0 127.0.0.1:37866] "GET" "foo"
1673368336.626741 [0 127.0.0.1:37866] "INCR" "foo"
1673368336.626742 [0 127.0.0.1:37866] "GET" "foo"
1673368336.626743 [0 127.0.0.1:37866] "INCR" "foo"
1673368336.626744 [0 127.0.0.1:37866] "GET" "foo"
@paulvictor
paulvictor / quicklisp-quri.patch
Created September 22, 2022 17:05
diff --git a/pkgs/development/lisp-modules-new/packages.nix b/pkgs/development/lisp-modules-new/packages.nix
index 0a6520df537..bef0cfd88e5 100644
--- a/pkgs/development/lisp-modules-new/packages.nix
+++ b/pkgs/development/lisp-modules-new/packages.nix
@@ -110,34 +110,6 @@ let
];
};
- quri = build-asdf-system {
- src = pkgs.stdenv.mkDerivation {
@paulvictor
paulvictor / install.sh
Last active July 26, 2022 05:20 — forked from mx00s/install.sh
NixOS install script based on @grahamc's "Erase Your Darlings" blog post
#!/usr/bin/env bash
#
# NixOS install script synthesized from:
#
# - Erase Your Darlings (https://grahamc.com/blog/erase-your-darlings)
# - ZFS Datasets for NixOS (https://grahamc.com/blog/nixos-on-zfs)
# - NixOS Manual (https://nixos.org/nixos/manual/)
#
# It expects the name of the block device (e.g. 'sda') to partition
@paulvictor
paulvictor / fast-json.hs
Created July 13, 2022 16:04
Fast JSON
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ViewPatterns #-}
module Lib.JSObject where
import qualified Data.Text.Encoding as TE
import Data.Text (Text)
@paulvictor
paulvictor / MonadStack.hs
Created April 6, 2022 10:00
#!/usr/bin/env nix-shell
#! nix-shell -p "ghc.withPackages (pkgs: with pkgs; [ mtl transformers lens ]) " ghcid
#! nix-shell -I nixpkgs=https://github.com/nixos/nixpkgs-channels/archive/nixos-unstable.tar.gz
-- #! nix-shell -i "ghcid -c 'ghci -Wall' -T main"
#! nix-shell -i runghc
{-# LANGUAGE ViewPatterns #-}
{-# LANGUAGE LambdaCase #-}
@paulvictor
paulvictor / homebrew.gpg.gpg-agent.plist
Created October 6, 2021 05:52
Mac plists
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<!-- Sets a name for a task -->
<key>Label</key>
<string>homebrew.gpg.gpg-agent</string>
<!-- Sets a command to run and its options -->
<key>ProgramArguments</key>
<array>
@paulvictor
paulvictor / 42934E22E65E9866DDCA8CAD26C138B866CC775F.pub
Created October 5, 2021 15:42
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAACAQClUN5JbC8uK+V9aJ+JaxFNqIcBwG1WC3a2u98PfdE9lKQFNb3LoTZBfMO2qTI5Z7z8gN/A/scghnfagE85Yqt/QWKj5EoR8nnUkObw+q+HZPyPeJgUBB5yOhD6xo9vupl2sre0UiVkZNcbrgAqxymY0mPcZ4UsZgy6qEUbJSAcR6Jv5D9zHgWBQaVysxDQoN1tkacJQxdkm4rPeSwMKoTBWgCPiY4bh+jaVHTCNRRd30m9TftXkSrJGPUEBTTmPBgZDEb9MuU13c0V5PhRMnBQjAeyZMCaSvcvWLGeGQfoWT9TyUb3gBKNWKo83ds3dmUnN+QdhY5N+Z6dW4VQch+kCQjfy65fbUGc/bCsBuafTNQBx0H3fNiNWV+wkl9rDzbV99/moXSvF3M/UM/dB6Ohw9AuC8jGYDgFUZVcZf5KLnjOJQ6LV/NqxvjdEWpnIYbeB2n/DU15earOwxgLJd8jW213ebe5Weu+UX6eknHdwidhv6RnY0sWxBW4OUFEa0MmzY/lcI58qXTWkcd+fojTJRRwq6tLc50FcMRH50jsFFheIOhyRQvCUC/elU2yeK+pm7AYUlqq5oaYso9H3dqsmO0Q9e2pM+dHWeD342zC+mITMYI6Zj7s6ihjCjlz8qcQxfWaKd4Oc3yPV5XlLmdziEbr9XicB65uXwkRaWKiAQ== openpgp:0x66CC775F
@paulvictor
paulvictor / 0xA96C9B89755DF7D2.asc
Created October 5, 2021 14:32
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQINBGFa7qABEAC/xf4Tyc8Ws/DQhE3S83sEnhIykC1ZBiVQ5Q/UGDgKNPkvtlmc
Zh2xP5zXlzPcoLomoVTxsOsVDLaFPrDnBL0HiSe8z/XClnRKLrdbm9X4PEKxmlq3
cZw0NGC38dOiwxfiAGooy7LSdM4Y96BC0PvR2qGhMdr/5b3KVGYUzOGzQo5LVrbv
Wf4XxNCuMaK7sq9hxe9SqlO8ec1mx3tblR/qA3w2S13aUzfSafY+guPiVeNa5mIC
TV++Ukqn4fYjvak3IpiOAdvFDzX3mJ6lL8ATUwrL5ZahCNrc38reift7a2rFlOWT
q+V3FPP1czJGPhAG5rJZ6X/LtmOEpMsr6x5Hy5iywyAlxYFJQNb/ODDVJ7R0o6WH
3+Ae+qyUV4rVTffxt9PdAGwE81NAr5m7iHr2sGNRyRvYTG8jGtKKU9Xjxka0yt88
XYYJPkOLWIxLFkFwr3cV38J+rYlwolTMcIbH7uu14H0KdERVEQvyHgN8uzq+0nv1
@paulvictor
paulvictor / GPG public key
Created May 6, 2021 06:01
Public key
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQINBGA+DTYBEADAKX2Kebp+6hqUCoJf/fmJGwKCzOOkDrPJIqfBcPYb4irgzdNB
/Fy1H5lSDNcMNXbyIwkIqromKdYjomkT9R2OK5AnFW5hhhiQBKh5mMmfdLjsxPCk
itxQJevD8/O6jdb2n7PSSf6OZ8hKWlogBhDBZwN1kHs2gl925MZkPTJK+9Cu8pHp
MUhk2WvhRNPn1gNKos6PtNR6PF7GLZU2H4XQXvli1rAU5Pc/vQOClUlHGjToTjjU
Xh01ZLIuzyR1ohiHgfi4yFzCxtqj3PBLj2T9+EANtNw/4bxGk2/EecoJCC9jyzPb
i1BuSvkZnyrwxg9Nu4i+pZl1jpEr3lWBMjYz2UKjvbpFz5hvLQXBXns9Nk8EmMOD
BOgYT/CwxJ3uZgHza/iG2+jclVfsCefSY0jEg3HQMVcR/fyhxWh8rQFVkYAVKOee
wRPMQC5jFfWkBEpAoRLsU/LeGn3k/UL+Jy4CUcOXxkZjQID5cGis2svy7Gt8X68h