louisswarren

posts
threads
www

louisswarren

CC = gcc
CFLAGS = -fopenmp -lm -std=c99 -pedantic -Wall

TARGETS = abstract.ff

.PHONY: default
default: $(TARGETS) $(TARGETS:.ff=.png)

%.png: %.ff
	ff2png < $< > $@

louisswarren

Python Proposals

cast decorator

The common python pattern

def foo():
    tmp = []

louisswarren

def cast(f):
    returns = f.__annotations__['return']
    if callable(returns):
        casters = returns,
    else:
        casters = reversed(returns)
    def inner(*args, **kwargs):
        r = f(*args, **kwargs)
        for caster in casters:
            r = caster(r)

louisswarren

from collections import namedtuple
from enum import Enum

import random

compose = lambda f: lambda g: lambda *a, **k: f(g(*a, **k))

class Face(Enum):
    ACE   = 'A'
    TWO   = '2'

louisswarren

ffmpeg notes

I often want to do something that I believe is non-trivial in ffmpeg, only to discover that it is actually very simple, if only I had known how to do it. I even end up writing wrappers to do simple things, because I keep forgetting what to do. However, this file is my new solution: simply write my own documentation for things I would occasionally like to do.

louisswarren

import heapq

class Task:
    def __init__(self, time):
        self.time = time

    def __lt__(self, other):
        return self.time < other.time

    def __repr__(self):

louisswarren

import curses

SPADE, HEART, DIAMOND, CLUB = '♠♥♦♣'

BOX = {
    'light':       ('┌───┐',
                    '│   │',
                    '│   │',
                    '└───┘'),
    'heavy':       ('┏━━━┓',

louisswarren

import curses

class Menu:
    def __init__(self, y, x, options):
        self.y = y
        self.x = x
        self.options = options
        self.height = len(options)
        self.width = max(len(opt) for opt in options)
        self.win = curses.newwin(self.height + 2, self.width + 8, y, x)

louisswarren

-- Agda version 2.6.0.1.20191219

open import Agda.Builtin.Equality
open import Agda.Builtin.Nat renaming (Nat to ℕ)
open import Agda.Builtin.Sigma

ℕ×ℕ : Set
ℕ×ℕ = Σ ℕ λ _ → ℕ

record Cont : Set where