This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#let figureCounters = state("thm", | |
( | |
"counters": ("heading": ()), | |
"latest": () | |
) | |
) | |
#let figureInstances = state("instances", (:)) | |
#let createFigureRenderer(identifier, base, base_level, render) = { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- 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. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
'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' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"description": "Happy Remote Desktop", | |
"manipulators": [ | |
{ | |
"from": { | |
"key_code": "left_command" | |
}, | |
"to": [ | |
{ | |
"key_code": "left_control" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#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> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
! 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, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <cassert> | |
#include <chrono> | |
#include <iostream> | |
#include <iterator> | |
#include <type_traits> | |
#include <cmath> | |
#include <vector> | |
#include <random> | |
class Timer { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import numpy as np | |
import math | |
def process_number(s): | |
s = s.replace(',', '') | |
if s[-1] == '\n': | |
s = s[:-1] | |
if s[-1] == '%': | |
return float(s[:-1]) * 0.01 | |
return float(s) |
NewerOlder