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

andy0130tw

A trick to save Node-based LSP memory usage in Node: Use Electron V8 to execute vtsls/eslint/...

Ref: https://www.electronjs.org/blog/v8-memory-cage

Ensure VS Code is installed. Wrap it as a Node executable:

echo > ~/.local/bin/node-electron <<<EOF
#!/bin/bash
export ELECTRON_RUN_AS_NODE=1

andy0130tw

import * as Runno from '@runno/wasi'
import wrapPollOneoff from './wrap-poll-oneoff'

const { Result } = Runno.WASISnapshotPreview1

/** @typedef {{ lenTotal: number, ptrlens: [number, number][] }} IovsDesc */

/**
 * @param {DataView} view
 * @param {number} iovs_ptr

andy0130tw

/** @import { SPSCReader } from 'spsc/reader' */
/** @import { SPSCWriter } from 'spsc/writer' */
import { SPSCError } from 'spsc'

/**
 * @param {SPSCReader} reader
 * @param {MessagePort} waker
 * @returns {ReadableStream<Uint8Array<ArrayBuffer>>}
 */
export function createReadableByteStream(reader, waker) {

andy0130tw

-- ./Agda/Builtin/Bool.agda
Total           160ms       
Miscellaneous     0ms       
Typing           48ms (75ms)
Typing.TypeSig   24ms       
Serialization    23ms (32ms)
Scoping          23ms (25ms)
Deserialization  21ms (23ms)
Parsing           7ms (14ms)
Highlighting     11ms