andy0130tw

import chp from 'child_process'
import { Readable } from 'stream'
import { inspect } from 'util'

enum DecoderState {
  Initial,
  // Agda used to (until 2.7.0.1) emit error when the data dir is not found before the very first prompt;
  // this has now (v2.8.0) become a runtime error message to stderr;
  // in v2.9.0 nightly (2026/7/22) the stacktrace is printed to stdout???
  StartupMessage,

andy0130tw

type U8Arr = Uint8Array<ArrayBuffer>

class MaybeUnzipGzipTransformer implements Transformer<U8Arr, U8Arr> {
  nbytes = 0
  isGzip: boolean | null = null
  static expectedHeader = new Uint8Array([0x1f, 0x8b, 0x08])
  sink: WritableStreamDefaultWriter<U8Arr> | undefined

  transform(chunk: U8Arr, controller: TransformStreamDefaultController<U8Arr>) {
    if (this.isGzip == null) {

andy0130tw

[data-testid=ai-panels] {
  display: none;
}

#menu-section-button-ai {
  display: none;
}

andy0130tw

const std = @import("std");
const freetypeWrapper = @import("freetype.zig");
const freetype = freetypeWrapper.freetype;
const ftUnwrap = freetypeWrapper.ftUnwrap;

const shstw = @embedFile("shstw-hinted.ttf");

var ftlib: freetype.FT_Library = null;
var face: freetype.FT_Face = null;

andy0130tw

                   ＝ 太BDF計画 ＝

            Programmed by NAGAO, Sadakazu

-- 目 次 ----------------------------------------------------------------------

    1. 概要       ... 16(行目)
    2. 仕組       ... 25
    3. 使用法  ... 64

andy0130tw

import freetype
from PIL import Image
import math

def byte2bin(n):
    assert 0 <= n < 256
    return bin(n)[2:].rjust(8, '0')

ttf_path = 'Cubic_11.ttf'
pixel_size = 12

andy0130tw

.theme_dark .search-result:has(.ai-stain-icon),
.theme_dark .search-result:has(.ai-stain-icon) + .sr-group {
  --app-text: #403E3C80;
  --search-result-url-link: #878580;
  --result-item-title-border: #87858080;
  --search-result-title: #87858080;
  --search-result-content-text: #87858080;
}

.theme_dark .search-result .ai-stain-icon > svg {

andy0130tw

import { Buffer } from 'buffer'
;(globalThis as any).Buffer = Buffer

import git from 'isomorphic-git'
import http from 'isomorphic-git/http/web'

function idbRequestToPromise<T>(req: IDBRequest<T>) {
  return new Promise<T>((resolve, reject) => {
    req.onsuccess = evt => resolve((evt.target as IDBRequest<T>).result)
    req.onerror = evt => reject((evt.target as IDBRequest<T>).error)

andy0130tw

html, body {
  color-scheme: dark;
  background: #100F0F;
  color: #CECDC3;
}

nav#toc a.current-section {
  color: white;
}

andy0130tw

const SELECTOR_PREFERS_DARK_COLOR_SCHEME = '(prefers-color-scheme: dark)'

export function autoColorScheme(options: {
  dark?: Extension, light?: Extension, defaultDark?: boolean} = {}): Extension {

  const {
    dark: darkExt = [],
    light: lightExt = [],
    defaultDark = false,
  } = options