chengluyu

• I have contributed a lot of code to the programming language Scala developed for our lab: https://github.com/hkust-taco/mlscript.
• I posted several articles on my blog about Haskell a few years ago: Some Old Posts about Haskell.

chengluyu

#let figureCounters = state("thm",
  (
    "counters": ("heading": ()),
    "latest": ()
  )
)

#let figureInstances = state("instances", (:))

#let createFigureRenderer(identifier, base, base_level, render) = {

chengluyu

-- Lecture 4

-- Hylomophism

-- Definitions from previous lectures.

data Tree a = Empty | Fork (Tree a) a (Tree a)

-- We can construct a tree form a list.

chengluyu

'use strict';

(function () {
    const root = document.querySelectorAll('.MuiPaper-root > .MuiCardContent-root > .MuiBox-root')[2];
    
    const urls = [
        'node-eu.chia.net',
        'node.chia.net',
        'node-apne.chia.net',
        'node-or.chia.net'

chengluyu

{
    "description": "Happy Remote Desktop",
    "manipulators": [
        {
            "from": {
                "key_code": "left_command"
            },
            "to": [
                {
                    "key_code": "left_control"

chengluyu

CREATE TABLE `movies` (
	`id` INT NOT NULL AUTO_INCREMENT,
	`title` VARCHAR(255) NOT NULL,
	`original_title` VARCHAR(255) NOT NULL,
	`rating` FLOAT NOT NULL,
	`introduction` VARCHAR(255) NOT NULL,
	`film_year` INT NOT NULL,
	`film_region_id` INT NOT NULL,
	`is_tv` BOOLEAN NOT NULL,
	`film_company_id` INT NOT NULL,

chengluyu

#define STB_IMAGE_IMPLEMENTATION

#include <glad/glad.h>
#include <GLFW/glfw3.h>
#include <stb_image.h>
#include <glm/glm.hpp>
#include <glm/gtc/matrix_transform.hpp>
#include <glm/gtc/type_ptr.hpp>

#include <iostream>

chengluyu

import matplotlib.pyplot as plt
from matplotlib.path import Path
import matplotlib.patches as patches


class Segment:
    def __init__(self, p, q):
        self.p = p
        self.q = q

chengluyu

! function (e, n) {
  for (var r in n) e[r] = n[r]
}(exports, function (e) {
  var n = {};

  function r(t) {
    if (n[t]) return n[t].exports;
    var o = n[t] = {
      i: t,
      l: !1,

chengluyu

#include <cassert>
#include <chrono>
#include <iostream>
#include <iterator>
#include <type_traits>
#include <cmath>
#include <vector>
#include <random>

class Timer {