lorenzleutgeb

% pc(M)         M is a member of the Program Committee.
% paper(P)      P is a submitted paper.
% assigned(P,M) M is assigned to review paper P.
% bid(M,P,B)    M has rated the paper P with B.

% The following four auxiliary predicates are just handy shorthands:
cannot(P,M) :- bid(M,P,0).
wantnot(P,M) :- bid(M,P,1).

% 1. each PC-member is assigned with at most five submissions

lorenzleutgeb

% Instance format:
% v/1 for vertices.
% e/2 for edges.

% Example:
% v(1..4).
% e(1,2).
% e(1,3).
% e(3,4).

lorenzleutgeb

Keybase proof

I hereby claim:

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

To claim this, I am signing this object:

lorenzleutgeb

:: The first argument is always "-C", since
:: External Editor Revived thinks that this
:: process is bash.
set target=%2

:: The following two lines can be used to
:: convert the argument to a WSL path. 
::set target=%target:\\=/%
::set target=%target:C:=/mnt/c%

lorenzleutgeb

abstract
acronym
algorithm
algorithm2e
algorithmic
alltt
amsbsy
amscd
amsfonts
amsgen

lorenzleutgeb

#! /usr/bin/env nix-shell
#! nix-shell -i bash -p bash gh

set -eu

# MIT No Attribution (SPDX Identifier: MIT-0)
#
# Copyright 2023-2025 Lorenz Leutgeb, Peder Bergebakken Sundt
#
# Permission is hereby granted, free of charge, to any person obtaining a copy of this

lorenzleutgeb

#! /usr/bin/env nix-shell
#! nix-shell -i bash -p bash gh curl jq
set -euo pipefail

REV="main" # 2c50fffdcecb245836ed02cb5c2480a57bdcfef7 as of 2024-03-18
URL_BASE="https://github.com/starknet-io/provisions-data/raw/${REV}/github"

if [ $# == 1 ]
then # use GitHub username passed via commandline argument.
    LOGIN=$1

lorenzleutgeb

1. Install the redirector addon:
   • Firefox Extension via mozilla.org
   • Other browsers via einaregilsson.com/redirector
2. Open extension settings, click "Import" and provide above JSON file.

lorenzleutgeb

#! /bin/sh
set -eu

JQ="jq --unbuffered --color-output"
JQ_TX="JQ_COLORS='1;30:0;39:0;39:0;39:1;35:1;39:1;39:1;31' $JQ | sed 's/^/>/'"
JQ_RX="JQ_COLORS='0;90:0;37:0;37:0;37:0;32:1;37:1;37:1;34' $JQ | sed 's/^/</'"

SOCKET="${RAD_HOME:-"${HOME}/.radicle"}/node/control.sock"

if [ ! -S "${SOCKET}" ]

lorenzleutgeb

#! /bin/sh
set -eu

REMOTE="rad"
ALTERNATES="$(git rev-parse --absolute-git-dir)/objects/info/alternates"
URI=$(git remote get-url "$REMOTE")

if [ "${URI:0:6}" != "rad://" ]
then
    echo "URL for remote '$REMOTE' does not have expected prefix 'rad://'. Aborting."