| ; Church encodings for booleans, pairs, and lists | |
| TRUE = λx.λy.x | |
| FALSE = λx.λy.y | |
| PAIR = λx.λy.λf.f x y | |
| FST = λp.p TRUE | |
| SND = λp.p FALSE | |
| NIL = λc.λn.n | |
| CONS = λh.λt.λc.λn.c h (t c n) | |
| HEAD = λl.l (λh.λt.h) NIL |
This has been transcribed from a youtube video I can no longer find.
40. Hypersensitive to disrespect
a) Shame is born in an environment where the child is treated as if they aren't important (at least not as important as those in authority), or a burden, or a mistake, or a failure. It is an environment where they aren't respected
| tap "austinliuigi/brew-neovim-nightly", "https://github.com/austinliuigi/brew-neovim-nightly.git" | |
| tap "browsh-org/browsh" | |
| tap "heroku/brew" | |
| tap "homebrew/services" | |
| tap "mongodb/brew" | |
| brew "glib" | |
| brew "cairo" | |
| brew "gdk-pixbuf" | |
| brew "icu4c@77" | |
| brew "harfbuzz" |
| import json | |
| import warnings | |
| from typing import Any | |
| from sammo.runners.base import BaseRunner | |
| from sammo.base import LLMResult, Costs | |
| from sammo.schemas import JsonSchema | |
| from sammo.utils import serialize_json | |
| from langchain_core.language_models.base import BaseLanguageModel |
| from cgtnnlib.LearningTask import LearningTask | |
| from cgtnnlib.nn.AugmentedReLUNetwork import AugmentedReLUNetwork | |
| from cgtnnlib.training import train_model | |
| from cgtnnlib.datasets import datasets | |
| import torch.optim as optim | |
| p = 0.5 | |
| dataset = datasets[0] | |
| model = AugmentedReLUNetwork( |
| Position;Theorem;Author;Collective;Comment;Date Lower;Date Upper;Uncertain Date | |
| 1;The Irrationality of the Square Root of 2;Pythagoras and his school;;;-500;; | |
| 2;Fundamental Theorem of Algebra;Karl Frederich Gauss;;;1799;; | |
| 3;The Denumerability of the Rational Numbers;Georg Cantor;;;1867;; | |
| 4;Pythagorean Theorem;Pythagoras and his school;;;-500;; | |
| 5;Prime Number Theorem;Jacques Hadamard;;;1896;; | |
| 5;Prime Number Theorem;Charles-Jean de la Vallee Poussin;;;1896;; | |
| 6;Godel’s Incompleteness Theorem;Kurt Godel;;;1931;; | |
| 7;Law of Quadratic Reciprocity;Karl Frederich Gauss;;;1801;; | |
| 8;The Impossibility of Trisecting the Angle and Doubling the Cube;Pierre Wantzel;;;1837;; |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| #include <string.h> | |
| #include <errno.h> | |
| // Структура для аргументов (предположим, что она уже определена) | |
| typedef struct { | |
| int s; | |
| } arguments; |
| import torch | |
| def dabs_mean_std( | |
| tensor1: torch.Tensor, | |
| tensor2: torch.Tensor | |
| ): | |
| dabs: torch.Tensor = torch.abs(tensor2 - tensor1) | |
| mean = torch.mean(dabs) | |
| std = torch.std(dabs) |
| ---@generic A, D | |
| ---@param head A | |
| ---@param tail D | |
| ---@return fun(): A, D | |
| local function cons(head, tail) | |
| return function () | |
| return head, tail | |
| end | |
| end |
| *> \brief \b CLAQZ3 | |
| * | |
| * =========== DOCUMENTATION =========== | |
| * | |
| * Online html documentation available at | |
| * http://www.netlib.org/lapack/explore-html/ | |
| * | |
| *> \htmlonly | |
| *> Download CLAQZ3 + dependencies | |
| *> <a href="http://www.netlib.org/cgi-bin/netlibfiles.tgz?format=tgz&filename=/lapack/lapack_routine/CLAQZ3.f"> |