andy0130tw

------ Minimal definitions for questions; extracted from DTP logic ------

variable A B : Set

--  Conjunction corresponds to product/pair types:
data _×_ (A B : Set) : Set where
  _,_ : A → B → A × B

infix 3 _×_

andy0130tw

import { WebSocketServer } from 'ws'
import net from 'net'

const wss = new WebSocketServer({
  port: 5566,
})

let lastWs = null

wss.on('connection', ws => {

andy0130tw

@font-face{
    font-family: 'Fira Mono';
    src: url('https://rawcdn.githack.com/mozilla/Fira/e1b58cc66962d24caaa7ebe2e2e9a50125f20d51/woff2/FiraMono-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
}

@font-face{
    font-family: 'Fira Mono';
    src: url('https://rawcdn.githack.com/mozilla/Fira/e1b58cc66962d24caaa7ebe2e2e9a50125f20d51/woff2/FiraMono-Bold.woff2') format('woff2');

andy0130tw

import sys
import json
import openstep_plist

with open(sys.argv[1], 'r') as fp:
    data = openstep_plist.load(fp, use_numbers=True)
    text = json.dumps(data, sort_keys=True, indent=2)

    print(text)

andy0130tw

#include <stdint.h>
#include <stdbool.h>

// fill x with the bit pattern 0...01...10...0,
// where i-th bit is set iff i is in [a, b]
void ppu_setWindowPattern(uint8_t x[32], int a, int b) {
  for (int i = 0; i < 32; i++) {
    int begin = i * 8;
    int end = begin + 8;

andy0130tw

// [PackageDev] target_format: plist, ext: tmLanguage
{ "name": "Cryptoline",
  "scopeName": "source.cryptoline",
  "fileTypes": [".cl"],
  "uuid": "af276db7-b1e4-4fe4-b0f6-712121d6f4c2",

  "patterns": [
    { "include": "#common" },
    { "include": "#constant-decl" },
    { "include": "#proc-decl" },

andy0130tw

#!/bin/bash

# FYI: https://askubuntu.com/questions/1104726/bose-revolve-soundlink-usb-output-no-sound
# usage: ./bose-activate.sh [VOLUME]

CARDS=$(LANG= aplay -l)
HAS_BOSE=$(echo "$CARDS" | grep "card 1: SoundLink \[Bose Revolve SoundLink\]")

echo $HAS_BOSE

andy0130tw

body.sidebar-refactoring .nav-sidebar li>a, body.sidebar-refactoring .nav-sidebar li>.fly-out-top-item-container {
    line-height: 1.6rem;
}

body.sidebar-refactoring .nav-sidebar a.has-sub-items+.sidebar-sub-level-items {
    margin-top: 0;
}

andy0130tw

body {  
  font-size: .8rem;
}

.container {
    max-width: 1140px;
    margin-left: auto;
    margin-right: auto;
}

andy0130tw

const fs = require('fs')
const htmlparser2 = require('htmlparser2')
const { WritableStream } = require("htmlparser2/lib/WritableStream")

class Store {
  constructor() {
    Object.assign(this, { fragments: [], content: null })
  }
  add(frag) {
    this.fragments.push(frag)