ion1

-- Adjust the subtitle speed while keeping the subtitle track synchronized to
-- the video at the moment when the subtitle delay was adjusted the last time
-- (or when the subtitle speed was adjusted by something other than this
-- script).

local mp = require("mp")
local msg = require("mp.msg")

local options = {
	key_cycle_speed_prev = "Alt+z",

ion1

using Colors
using CoordinateTransformations
using Images
using LinearAlgebra
using PolygonAlgorithms
using SparseArrays
using StaticArrays

include("linear_rgb.jl")
using .LinearRGB

ion1

await (async () => {
  function wrap(p) {
    return p.then(
      (res) => ["ok", res],
      (err) => ["error", err]
    );
  }

  async function compare(title, pa, pb) {
    const a = await wrap(pa);

ion1

Capture Video Frame Bookmarklet

Moved here.

ion1

from enum import Enum

from draftsman.blueprintable import Blueprint, BlueprintBook
from draftsman.entity import ElectricPole, Roboport, Radar, Lamp
from draftsman.tile import Tile


def main():
    book = base_grid_book()
    print(book.to_string())

ion1

/*
 * Convert "Hebrew frequency list: 10,000 most commonly used words" into Anki cards.
 *
 * https://www.teachmehebrew.com/hebrew-frequency-list.html
 * http://web.archive.org/web/20230320182549/https://www.teachmehebrew.com/hebrew-frequency-list.html
 *
 * Go to the page and run this script in the developer console.
 */

/*

ion1

$Search = "E:\Music Production\"
$Replace = "D:\Music Production\"

function Confirm {
  for (;;) {
    Write-Host "[YNQ] " -NoNewline
    $Key = [System.Console]::ReadKey().Key
    Write-Host ""
    switch ($Key) {
      "Y" { return $true }

ion1

Mysticat Sugarcane Farm Optimization

Using Z3 to generate a slightly more optimal Minecraft sugarcane/water block layout compared to the farm presented by Mysticat in Top 3 Minecraft Sugarcane Farms at 7:32.

Original (190 sugarcanes):

Optimized (200 sugarcanes):

ion1

IdleRPG bot login automation with WeeChat

Log in when joining the channel

/trigger addreplace libera_idlerpg_login_join signal libera,irc_in2_353 "${text} =~ ^. #idlerpg :(.+ )?@idlebot( |$)" "" "/msg -server ${server} idlebot login user password"

Log in when idlebot gains +o

ion1

from itertools import cycle
from z3 import *


class NameGen:
    def __init__(self, prefix):
        self.prefix = prefix
        self.count = 0

    def gen(self):