hashlash

openapi: 3.0.2
info:
  title: Your Project
  version: 1.0.0
  description: "API for all things \u2026"
paths:
  /example-model/:
    get:
      operationId: listExampleModels
      description: Concrete view for listing a queryset or creating a model instance.

hashlash

(cors) {
  @origin{args.0} header Origin {args.0}
  header @origin{args.0} Access-Control-Allow-Origin "{args.0}"
}

(cors_regexp) {
  @origin_regexp{args.0} header_regexp Origin {args.0}
  header @origin_regexp{args.0} Access-Control-Allow-Origin "{header.Origin}"
}

hashlash

Volume

• Get all volumes directory and its size

docker volume ls --format {{.Name}} | xargs docker inspect --format {{.Mountpoint}} | sudo xargs du -sh

hashlash

import json
import re
import requests
import uuid

# No OAuth scope required
# Just create a personal access token on https://github.com/settings/tokens/new
API_KEY = 'api key example'

QUERY_FORMAT = '''

hashlash

Main reference: https://www.digitalocean.com/community/tutorials/how-to-set-up-django-with-postgres-nginx-and-gunicorn-on-debian-10

hashlash

Kubernetes Production Cluster Cheatsheet

Bootstraping clusters with kubeadm

Precheck

https://kubernetes.io/docs/setup/production-environment/tools/kubeadm/install-kubeadm/#before-you-begin

• One or more machines running one of:
  • Ubuntu 16.04+

hashlash

$ ./manage.py makemigrations
No changes detected
$ ./manage.py migrate 
Operations to perform:
  Apply all migrations: admin, auth, contenttypes, my_app, sessions
Running migrations:
  No migrations to apply.
$ ./manage.py migrate --fake my_app zero
Operations to perform:
  Unapply all migrations: my_app

hashlash

ip

ip a
ip link show
ip r

lspci

hashlash

Examinining Memory

https://ftp.gnu.org/old-gnu/Manuals/gdb/html_node/gdb_55.html

x/nfu addr

• n, the repeat count. Decimal integer, default to 1, counted by units u.

• f, the display format. Default changes each time using x or print command.

hashlash

Logic Programming

The Problem of Normal Logic Program

It use negation (unlike definite logic program) which make the logical entailment not hold.

• Program Completion (Clark, 1978): change rule's implication to bi-implication

• Stable Model Semantic (Gelfond and Lifschitz, 1988): remove negative literals (either the whole rule, or just the literal in the body)