georg-wolflein

"""Hacky script to occupy and then release RAM in order to flush disk cache (easier to run this than annoy the sysadmin to run `sync`)."""

import psutil
import gc
from tqdm import tqdm


def get_available_ram():
    """
    Get the total available RAM in bytes.

georg-wolflein

def convert_bibtex_author_list_to_paperpile(authors, last_name_indicators=("el", "van", "vaan", "de")):
    """
    Convert a list of authors in bibtex format to paperpile format.
    :param authors: list of authors in bibtex format
    :param last_name_indicators: list of words that indicate the start of a last name
    :return: list of authors in paperpile format

    Example:
    >>> bibtex_authors = "Georg Wölflein and Ludwig van Beethoven and Johann Sebastian Bach"
    >>> convert_bibtex_author_list_to_paperpile(bibtex_authors)

georg-wolflein

DRAWIO = /Applications/draw.io.app/Contents/MacOS/draw.io
INKSCAPE = /Applications/Inkscape.app/Contents/MacOS/inkscape

DIR = .
INPUTS = $(wildcard $(DIR)/*.drawio)
OUTPUTS = $(INPUTS:.drawio=.png)

.PHONY : all
all : $(OUTPUTS)

georg-wolflein

#!/bin/bash

for i in $(nvidia-smi --query-gpu=index --format=csv,noheader); do
    echo GPU "#$i": $(nvidia-smi --query-gpu=memory.used --format=csv,noheader -i $i) used

    while IFS="," read -r pid name used; do
        pid_container_name=
        for container in $(docker ps -q); do
            if [[ $(docker top $container | awk '{print $2}'| grep $pid) ]]; then
                pid_container_name=$(docker inspect $container --format '{{.Name}}')

georg-wolflein

#/bin/bash

if [ -z "$1" ]
then
    echo "Supply a PID as an argument!"
    exit 1
fi

for i in $(docker ps -q)
do

georg-wolflein

from functools import wraps, partial
import inspect


def _ify(func, factory=list):
    if inspect.isasyncgenfunction(func):
        @wraps(func)
        async def new_func(*args, **kwargs):
            return factory([x async for x in func(*args, **kwargs)])
    else:

georg-wolflein

let merge = (array1, array2) => {
  let output = [];
  while (array1.length != 0 && array2.length != 0) {
    if (array1[0] == array2[0]) {
      output.push(array1[0]);
      array1 = array1.slice(1, array1.length);
      output.push(array2[0]);
      array2 = array2.slice(1, array2.length);
    } else {
      if (array1[0] < array2[0]) {

georg-wolflein

git config --global http.proxy http://<proxy>:3128
git config --global https.proxy http://<proxy>:3128

georg-wolflein

.non-selectable {
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  cursor: default;
}

georg-wolflein

using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using System.Windows.Forms;
using System.Drawing.Drawing2D;