paulvictor’s gists

paulvictor / packed-lists.hs

Last active June 23, 2025 07:26

packed-lists.hs

	#!/usr/bin/env nix-shell
	#! nix-shell -p "ghc.withPackages (pkgs: with pkgs; [ bytestring vector lens ]) " ghcid
	-- #! nix-shell -i "ghcid -c 'ghci -Wall' -T main"
	-- #! nix-shell -i "ghcid"
	#! nix-shell -i "runghc --ghc-arg=-threaded --ghc-arg=-rtsopts"

	{-# LANGUAGE TemplateHaskell #-}

	import Control.Monad.ST
	import Debug.Trace

paulvictor / merge.hs

Created March 13, 2025 14:45

Merge conduits

	#!/usr/bin/env magix
	#!magix haskell
	#!haskellPackages bytestring conduit conduit-merge
	#!ghcFlags -threaded
	-- #!/usr/bin/env nix-shell
	-- #! nix-shell -p "haskell.packages.ghc96.ghcWithPackages (pkgs: with pkgs; [ conduit bytestring conduit-extra conduit-merge ]) " ghcid
	-- #! nix-shell -I nixpkgs=/etc/nix/inputs/nixpkgs
	-- #! nix-shell -i ghcid

paulvictor / parse-time.hs

Last active March 4, 2025 10:49

parseTime

	#!/usr/bin/env magix
	#!magix haskell
	#!haskellPackages bytestring criterion attoparsec extra
	#!ghcFlags -O2
	-- #!/usr/bin/env nix-shell
	-- #! nix-shell -I nixpkgs=https://github.com/nixos/nixpkgs/archive/nixos-24.11.tar.gz
	-- #! nix-shell -p "haskell.packages.ghc96.ghcWithPackages (pkgs: with pkgs; [time criterion attoparsec aeson extra ]) " ghcid
	-- #! nix-shell -i ghcid

paulvictor / schemesh.nix

Created February 18, 2025 14:06

schemesh

	with import <nixpkgs> {};
	stdenv.mkDerivation {
	name = "schemesh";
	nativeBuildInputs = [ chez makeWrapper ];
	buildInputs = [ zlib ncurses libuuid ];
	src = pkgs.fetchFromGitHub {
	owner = "cosmos72";
	repo = "schemesh";
	rev = "41ed73efdbdd0a999e170d83f290f74a1c80e005";
	hash = "sha256-HJIiAh/1q4HtPyAvFRFEIu/CxSvv7nSgyU872GJaTZs=";

paulvictor / json-to-csv-middleware.hs

Created January 22, 2025 12:21

json-to-csv-middleware.hs

	#!/usr/bin/env magix
	#!magix haskell
	#!haskellPackages bytestring aeson conduit lens lens-aeson wai warp http-types streaming-commons text vault
	#!ghcFlags -threaded
	-- #!/usr/bin/env nix-shell
	-- #! nix-shell -p "haskell.packages.ghc910.ghcWithPackages (pkgs: with pkgs; [ conduit bytestring wai lens lens-aeson text streaming-commons vault warp http-types ]) " ghcid
	-- #! nix-shell -I nixpkgs=/etc/nix/inputs/nixpkgs
	-- #! nix-shell -i "ghcid -c 'ghci -Wall' -T main"

	{-# LANGUAGE OverloadedStrings #-}

paulvictor / Main.hs

Created December 27, 2024 17:26

Merge bit vectors

	#!/usr/bin/env magix
	#!magix haskell
	#!haskellPackages bytestring conduit relude unliftio vector
	#!ghcFlags -threaded -O2 -rtsopts
	-- #! /usr/bin/env nix-shell
	-- #! nix-shell -p "haskell.packages.ghc96.ghcWithPackages (pkgs: with pkgs; [ bytestring conduit relude unliftio vector ])" ghcid
	-- #! nix-shell --pure
	-- #! nix-shell -i "runghc --ghc-arg=-threaded --ghc-arg=-O2"
	-- #! nix-shell -i ghcid

paulvictor / default.nix

Last active October 23, 2024 14:54

wazuh

	{pkgs ? import <nixpkgs> {}}:
	with pkgs;
	let
	dependencyVersion = "30";
	dependencies = [
	{
	name = "cJSON";
	sha256 = "sha256-Z415YxjaV9XzgHXnS7s7dzddw/i7Sdo0GtG0PEF+jME=";
	}
	{

paulvictor / resume.json

Created August 28, 2024 17:22

resume.json

	{
	"$schema": "https://raw.githubusercontent.com/jsonresume/resume-schema/v1.0.0/schema.json",
	"basics": {
	"email": "[email protected]",
	"image": "/home/viktor/Downloads/pvr.jpeg",
	"label": "Senior Software Architect",
	"location": {
	"address": "B1103, Advaitha Aksha",
	"city": "Bangalore",
	"countryCode": "IN",

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 / 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"

Paul paulvictor