Hirrolot

data Fmt = FArg Fmt | FChar Char Fmt | FEnd

toFmt : (fmt : List Char) -> Fmt
toFmt ('*' :: xs) = FArg (toFmt xs)
toFmt (  x :: xs) = FChar x (toFmt xs)
toFmt [] = FEnd

PrintfType : (fmt : Fmt) -> Type
PrintfType (FArg fmt) = ({ty : Type} -> Show ty => (obj : ty) -> PrintfType fmt)
PrintfType (FChar _ fmt) = PrintfType fmt

lambertbrady

import { createContext, useRef, useState } from 'react'

export const PyodideContext = createContext()

export default function PyodideProvider({ children }) {
  const pyodide = useRef(null)
  const hasLoadPyodideBeenCalled = useRef(false)
  const [isPyodideLoading, setIsPyodideLoading] = useState(true)

  return (

ACK-J

from shodan import Shodan

api = Shodan('API-KEY')
results = api.search('isp:"ThreatMetrix Inc." port:443 Bad Request')

for banner in results['matches']:
    # Only care about services that use SSL
    if 'ssl' in banner:
        print(banner['ssl']['cert']['subject']['CN'])

TRPB

Hardware Prerequisites

You'll need at least the following hardware:

• At least 3 USB-A to USB-C converters or hub with enough ports for at least 3 USB devices if all your devices are USB-A then:
• A USB drive
• A USB keyboard
• USB to Ethernet adapter, compatible USB dongle or USB tethering on a phone

joinAero

import cv2
import sys


class Camera(object):

    def __init__(self, index=0):
        self.cap = cv2.VideoCapture(index)
        self.openni = index in (cv2.CAP_OPENNI, cv2.CAP_OPENNI2)
        self.fps = 0

njbbaer

import time
import numpy as np
from numpy.fft import fft2, ifft2
from matplotlib import pyplot, animation


def fft_convolve2d(board, kernal):
    board_ft = fft2(board)
    kernal_ft = fft2(kernal)
    height, width = board_ft.shape

artizirk

#!/usr/bin/env python3

from v4l2 import *
import fcntl
import mmap
import select
import time

vd = open('/dev/video0', 'rb+', buffering=0)

judell

import requests, re, json, types, traceback

class HypothesisAnnotation:
    
    def __init__(self, row):
        """Encapsulate relevant parts of one row of a Hypothesis API search."""

        self.tags = []
        if row.has_key('tags') and row['tags'] is not None:
            self.tags = row['tags']

hubgit

Anonymising PDFs

PDF metadata

Metadata in PDF files can be stored in at least two places:

• the Info Dictionary, a limited set of key/value pairs
• XMP packets, which contain RDF statements expressed as XML

PDF files

tk0miya

Usage
======

.. wiki-table::
   :header-rows: 1
   :widths: 2 3 5

   |id|header1|header2|
   |1|hello|world|
   |2|foo|:strong:`bar`|