Alex Petenchea apetenchea

Human Interface Design Principles

Version: 1.0 Status: Normative Scope: Interactive software interfaces across all form factors (desktop, mobile, tablet, wearable, automotive, spatial), applicable by extension to any designed artifact (physical products, environments, signage systems).

Normative language: The key words MUST, MUST NOT, SHALL, SHOULD, SHOULD NOT, MAY are to be interpreted per RFC 2119. Requirements are individually numbered (P-x.y for strategic principles, C-x.y for cognitive/perceptual principles, T-x.y for trade-off resolution rules, V-x.y for verification procedures) to permit traceability in design reviews.

Extending the Python ecosystem

1. SQLAlchemy.

Unfortunately, ArangoDB isn't SQL, so this would probably have to expose AQL instead of SQL, or only support a subset. The question is whether SQLAlchemy's architecture is flexible enough for AQL instead of SQL.

2. Ibis

It provides a dataframe API that compiles to backend-specific query languages.

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Need

Convert .mov/.MP4 to .gif

Reason

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.

git clone git@github.com:rr-debugger/rr.git
cd rr
find . -type f -exec dos2unix {} +
mkdir -p build
cd build
CC=clang CXX=clang++ cmake -G Ninja -Ddisable32bit=ON -DCMAKE_EXE_LINKER_FLAGS="-fuse-ld=lld -L/home/apetenchea/scripts" -DCMAKE_BUILD_TYPE=Release ..

	import json
	import pandas as pd
	import pydantic
	import pydantic_core
	from typing import Sequence, cast
	from arangoasync.collection import StandardCollection
	from arangoasync.database import StandardDatabase
	from arangoasync.exceptions import DeserializationError, SerializationError
	from arangoasync.serialization import Serializer, Deserializer
	from arangoasync.typings import Json, Jsons

	import requests

	ARANGODB_ERRORS_FILE = "https://raw.githubusercontent.com/arangodb/arangodb/refs/heads/devel/lib/Basics/errors.dat" # noqa: E501


	def generate_section(line, output):
	text = line[3:].strip()
	print("#" * (len(text) + 4), file=output)
	print(f"# {text} #", file=output)
	print("#" * (len(text) + 4) + "\n", file=output)

	# Check inputs
	if (-not $setup) { $setup = "cluster" }
	if (-not $license) { $license = "enterprise" }
	if (-not $version) { $version = "3.12" }

	# Determine image name
	if ($license -eq "community") {
	$image_name = "arangodb"
	} elseif ($license -eq "enterprise") {
	$image_name = "enterprise"

	# This script gathers all the pages of a manual and merges them into a PDF.
	# You'll need to play a bit with inspect-element in order to figure out the format the correct url,
	# but it should be easy to adapt it to any manual.
	# This script is specifically for https://www.manua.ls/audi/q3-2018/manual.
	# Their url format is https://www.manua.ls/viewer/{manual-id}/{page-number}/bg{page-number-hex}.png
	# Example: https://www.manua.ls/viewer/668006/100/bg64.png
	# Enjoy!
	import requests
	from tqdm import tqdm
	from PIL import Image

	export ARANGODB_PATH="$HOME/arangodb"

	# Continue process listening on port
	function portcont() {
	kill -SIGCONT $(portpid "$1")
	}

	# Kill process listening on port
	function portkill() {
	kill -9 $(portpid "$1")

	# importing libraries
	import pathlib
	import sys
	import speech_recognition as sr
	import os
	from pydub import AudioSegment
	from pydub.silence import split_on_silence

	# create a speech recognition object
	r = sr.Recognizer()