bobvanluijt

Get the synth wave glow working for VS Code on Mac

These notes are pretty much the same steps as the two extensions list, it's just that I had to collate them together because neither seems to list it fully in the proper order.

1. Install Synthwave ’84/Synthwave + Fluoromachine theme on VS Code (I used the Fluoromachine one)

2. Install Custom CSS and JS Loader

3. Command + Shift + P to open command palette > "Preferences: Open settings (JSON)"

bobvanluijt

Logic

Categorical Logic

Propositional Logic

variables

• q

bobvanluijt

wget --recursive --quiet --level=0 -U "Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/44.0.2403.157 Safari/537.36" --directory-prefix="collection/" --follow-tags=a -H semi.technology

bobvanluijt

$ docker container rm $(docker container ls -aq) && docker image prune -af

bobvanluijt

def printIfLower(i):
  s = chr(i)
  if s.islower():
    if s is not None:
      print(s)

for x in range(1, 125251):
  printIfLower(x)

bobvanluijt

{
  Local{
    Get{
      Things{
        Place(where:{
          operator:And
          operands:[
            {
              operator:Equal
              path:["rating"]

bobvanluijt

sudo apt-get update && \
sudo apt-get -qq -y upgrade && \
sudo apt-get -qq -y install \
    apt-transport-https \
    ca-certificates \
    curl \
    jq \
    software-properties-common && \
curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add - && \
sudo add-apt-repository \

bobvanluijt

##
# This script removes all things and action (i.e., concepts) from a Weaviate.
#
# Make sure to set the WEAVIATE_URL
##
import requests 
from datetime import datetime

WEAVIATE_URL = "localhost"
HEADERS = {'Content-type': 'application/json'}

bobvanluijt

###
# The result below shows the sum of population of all cities.
###
{
  Local {
    Get(where:{
      operands: [{
        path: ["Things", "City", "population"],
        operator: GreaterThan
        valueInt: 1000000

bobvanluijt

var checkboxes = document.getElementsByTagName("*");

for (var i=0, max=checkboxes.length; i < max; i++) {
     if (checkboxes[i].type == 'checkbox')   {
      checkboxes[i].checked = true;
    }
}