smurfix

#!/usr/bin/python3

import trio
import outcome
from contextlib import asynccontextmanager

class StreamResultsNursery:
    def __init__(self, max_buffer_size=1):
        self.nursery = trio.open_nursery()
        self.max_buffer_size = max_buffer_size

simonw

import sys
import base64
import json
import inspect
from importlib import util
from http.server import BaseHTTPRequestHandler

# Import relative path https://docs.python.org/3/library/importlib.html#importing-a-source-file-directly
__vc_spec = util.spec_from_file_location("index", "./index.py")
__vc_module = util.module_from_spec(__vc_spec)

sneakers-the-rat

# --------------------------------------------------------------------
# Recursively find pdfs from the directory given as the first argument, 
# otherwise search the current directory.
# Use exiftool and qpdf (both must be installed and locatable on $PATH) 
# to strip all top-level metadata from PDFs.
#
# Note - This only removes file-level metadata, not any metadata
# in embedded images, etc. 
#
# Code is provided as-is, I take no responsibility for its use,

stevesimmons

import base64
import math
import random
import timeit
from typing import List, Optional

import numba
import numpy as np

class BloomFilter:        

kissgyorgy

import asyncio
import psycopg2

# dbname should be the same for the notifying process
conn = psycopg2.connect(host="localhost", dbname="example", user="example", password="example")
conn.set_isolation_level(psycopg2.extensions.ISOLATION_LEVEL_AUTOCOMMIT)

cursor = conn.cursor()
cursor.execute(f"LISTEN match_updates;")

AnatomicJC

Backup android app, data included, no root needed, with adb

Note: This gist may be outdated, thanks to all contributors in comments.

adb is the Android CLI tool with which you can interact with your android device, from your PC

You must enable developer mode (tap 7 times on the build version in parameters) and install adb on your PC.

Don't hesitate to read comments, there is useful tips, thanks guys for this !

danmou

### README
# This Python scripts exports all the OneNote notebooks linked to your Microsoft account to HTML files.

## Output
# The notebooks will each become a subdirectory of the `output` folder, with further subdirectories 
# for the sections within each notebook and the pages within each section. Each page is a directory 
# containing the HTML file `main.html` and two directories `images` and `attachments` (if necessary) 
# for the images and attachments. Any sub-pages will be subdirectories within this one.

## Setup