База — формальные доказательства:
- https://leanprover.github.io/logic_and_proof/
- https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
База — математика:
- «Конкретная математика. Основание информатики» (Д. Кнут)
База — формальные доказательства:
База — математика:
| """ | |
| Parse an Nginx access.log file into a Pandas DataFrame. Also works with gzipped files. | |
| """ | |
| import argparse | |
| import pathlib | |
| import pandas as pd | |
First of all, make sure to refer and understand the general instructions in the official NocoDB site:
https://docs.nocodb.com/getting-started/installation
What you'll find here are the specific instructions to setup NocoDB in a FreeBSD system, or in a FreeNAS/TrueNAS CORE jail.
This was originally done in a TrueNAS CORE 12.0-U5.1, which uses FreeBSD 12.4-RELEASE-p6 as base system.
| #!/bin/bash | |
| # | |
| # Install shellcheck | |
| set -euo pipefail | |
| # resynchronize the package index | |
| apt-get -qq update | |
| # install QEMU Linux user mode emulator (and jq) |
| [Interface] | |
| PrivateKey = *********************** | |
| Address = 192.168.10.2/32, fc::2/128 | |
| DNS = 1.1.1.1, 2606:4700:4700::1111 | |
| [Peer] | |
| PublicKey = *********************** | |
| AllowedIPs = 0.0.0.0/0, ::/0 | |
| Endpoint = endpoint.domain.tld:51820 |
| { | |
| "Translation": "RST", | |
| "Books": [ | |
| { | |
| "BookId": 1, | |
| "Chapters": [ | |
| { | |
| "ChapterId": 1, | |
| "Verses": [ | |
| { |
| ### REINIT | |
| DELETE user | |
| PUT user | |
| { | |
| "mappings": { | |
| "properties": { | |
| "name": { | |
| "type": "text" | |
| }, | |
| "comments": { |
| # Copyright (c) Jupyter Development Team | |
| # Jan Eike von Seggern <[email protected]> | |
| # Distributed under the terms of the Modified BSD License. | |
| ## Template to build a hierarchy of dependent docker images. | |
| ## Based on https://github.com/jupyter/docker-stacks/blob/master/Makefile | |
| ## Builds are tracked via build-stamps in $BUILD_DIR. | |
| ## Dependencies for each image are created automatically for all files tracked by git. | |
| ## | |
| ## Usage (see examples below): |
| <img src="img/missing-image.png" onerror="javascript:this.src='img/default.png'"> |
| # This config will host your main [Laravel] GUI application at /, and any additional [Lumen] webservices at /api/v1 and /api/v2... | |
| # This also works perfectly for all static file content in all projects | |
| # This is full of debug comments so you can see how to print debug output to browser! Took me hours to nail this perfect config. | |
| # Example: | |
| # http://example.com - Main Laravel site as usual | |
| # http://example.com/about - Main Laravel site about page as usual | |
| # http://example.com/robots.txt - Main Laravel site static content as usual | |
| # http://example.com/api/v1 - Lumen v1 api default / route | |
| # http://example.com/api/v1/ - Lumen v1 api default / route |