tom-huntington

#!/bin/bash
#Arguments: URL, Starting Timestamp -5 seconds, Ending Timestamp, video file name
set -x;
readarray -t urls <<< "$(yt-dlp -f bestvideo[ext=mp4][vcodec^=avc1]+140 --youtube-skip-dash-manifest -g "$1")"

ffmpeg -ss $2 -to $3 -i "${urls[0]}" -ss $2 -to $3 -i "${urls[1]}" -ss 10 -map 0:v -map 1:a -c:v copy -c:a copy "${4}.mp4"

tom-huntington

Let $p,v,t$ be the position, velocity and time unknowns such that for all $i$ we have a collision

$$p-p_i - t\times(v-v_i)=0.$$

To eliminate $t$ we wedge (exterior) product with $v-v_i$ to get

$$0=(p-p_i)\wedge (v-v_i)= p\wedge v - p \wedge v_i - p_i \wedge v + p_i \wedge v_i.$$

The nonlinear term $p\wedge v$ is constant for all $i$, so we subtract equations to get a linear equation

tom-huntington

import subprocess
import os
import re

def make_chapters_metadata(list_mp4: list):
    print(f"Making metadata source file")

    chapters = {}
    for single_mp4 in list_mp4:
        number = single_mp4.removesuffix(".m4a")

tom-huntington

How to launch sveltkit server?

$ npm run dev

How to develop with planetscale? Online or local db instance?

Online.

planetscale/discussion#93 https://www.reddit.com/r/nextjs/comments/uuu4xu/does_anyone_know_how_to_use_planetscale_for_local/

tom-huntington

https://hackage.haskell.org/package/containers-0.6.6/docs/src/Utils.Containers.Internal.State.html

newtype State s a = State {runState :: s -> (s, a)}

instance Functor (State s) where
    fmap = liftA

instance Monad (State s) where
    {-# INLINE return #-}
    {-# INLINE (>>=) #-}

tom-huntington

complex for 2 vectors

Arithmatic operations broadcast unlike tuples

>>> complex(1,1) + complex(2,-2)
(3-1j)

Associative array :: T -> int

Use index/find on list or string

tom-huntington

Knowing when you don't need correctness is very expensive for developer productivity.

Skipping corners, not verifying correctness is necessary for productivity. There are multiple levels of correctness. Rubbish > Does Something > Reasonable > Justified > Correct > Omniscient optimal. The level of correctness needs to be observable.

Only Program what is minimally sufficient

Most of the time you programme more specific results than you actually need. Don't do this

Programming is an empirical discipline

Writing correct code the first time is economically unviable.

tom-huntington

tom-huntington

tom-huntington

Concepts

struct observable {
    void bind(observer);
};

struct observer {
    template<class T>
    void next(T);
};