xieyuheng

// Example usage:
//   bend b1 b1 b0                                // = 0b110 = 4+2 = 6
//   zero add1 add1 add1 add1 add1 add1 add1 ntob // 8 Nat -> 8 Bin
//   bmul                                         // = 6 * 7 = 42
//   // -> takes 61 steps; doing the same with Nat mul takes 125 steps

// Type defitinion
type Bin -- @Type end

node bend

xieyuheng

/**
* The ASCII arts were extracted from:
*  - http://www.fiikus.net/?pokedex
*  - http://www.world-of-nintendo.com/pictures/text/
* And also generated with:
*  - http://www.text-image.com
*/

#ifndef __POKE_IMG__
#define __POKE_IMG__

xieyuheng

「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言。

《蝉语手册》（语言的主要文档）：https://readonly.link/manuals/gitlab.com/cicada-lang/cicada

《蝉语独白》（中文）（一个模仿 Little Book 的小册子）：https://readonly.link/books/github.com/xieyuheng/cicada-monologues

项目主页：https://cicada-lang.org

欢迎大家转发给可能会感兴趣的朋友哦～

xieyuheng

/* stylelint-disable font-family-no-missing-generic-family-keyword */
@font-face {
  font-family: 'KaTeX_AMS';
  src: url(fonts/KaTeX_AMS-Regular.woff2) format('woff2'), url(fonts/KaTeX_AMS-Regular.woff) format('woff'), url(fonts/KaTeX_AMS-Regular.ttf) format('truetype');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'KaTeX_Caligraphic';
  src: url(fonts/KaTeX_Caligraphic-Bold.woff2) format('woff2'), url(fonts/KaTeX_Caligraphic-Bold.woff) format('woff'), url(fonts/KaTeX_Caligraphic-Bold.ttf) format('truetype');

xieyuheng

<template>
  <div class="flex flex-col h-screen">
    <ManualPageHeader class="hidden md:block" :state="state" />
    <SlideUp class="md:hidden block">
      <ManualPageHeader
        ref="mobileHeaderElement"
        v-show="scrollDirection === 'up'"
        :state="state"
        @toggleNavbar="showNavbar = !showNavbar"
      />

xieyuheng

<template>
  <div class="max-w-3xl mx-auto">
    <PageError
      v-if="error"
      :error="error"
      :subtitle="config.lang.zh ? '书籍 >_<' : 'Books >_<'"
    />

    <div v-else-if="!state" class="px-4 py-6 font-sans text-xl text-gray-500">
      <div v-if="config.lang.zh" class="font-bold">书籍加载中⋯⋯</div>

xieyuheng

import { Resource } from "../resource"
import * as Mongo from "mongodb"
import ty, { Schema } from "@xieyuheng/ty"
import crypto from "crypto"

export abstract class MongoResource<T, Pk extends keyof T> extends Resource<
  T,
  Pk
> {
  abstract name: string

xieyuheng

# learn from others' pages

- https://sandimetz.com -- author of "99bottles" and "POODR"
- https://martinfowler.com -- author of "refactoring" and "PoEAA"
- https://www.kentbeck.com -- founder of TDD and XP

- https://adamwathan.me -- creator of tailwindcss
- https://calebporzio.com -- creator of alpine.js
  - https://alpinejs.dev/patterns -- "Alpine Component Patterns" course
- https://reinink.ca -- creator of inertia.js

xieyuheng

// NOTE `id` in `data`

export abstract class Resource1<T, Pk extends keyof T> {
  abstract primary_key: Pk

  abstract create(input: Omit<T, Pk>): Promise<T>
  abstract create_many(inputs: Array<Omit<T, Pk>>): Promise<Array<T>>

  abstract get(pk: T[Pk]): Promise<T | undefined>
  abstract get_or_fail(pk: T[Pk]): Promise<T>

xieyuheng

export function imply(x: boolean, y: boolean): boolean {
  return !x || y
}

export function equ(x: boolean, y: boolean): boolean {
  return imply(x, y) && imply(y, x)
}

export abstract class Equivalence<T> {
  abstract eq(a: T, b: T): boolean