Ralf Vogler vogler

Here's a comparison between how the same simple user definition would be defined using ArkType and Zod:

ArkType's definition syntax is more concise (definitions are about 50% shorter on average) as well as making it more visually obvious what the inferred TypeScript type will be. The ability to infer TypeScript definitions directly is the same, but ArkType's syntax is again more concise by allowing you to use typeof on a property of arkUser directly instead of using an extra "infer" helper.

In general, we also have taken significant steps to optimize and clarify our type hints when hovering over validators. For example, in the case above, this is what you see when you mouse over "zodUser":

Garlic OS Tips (Windows-based)

GarlicOS Cookbook

Follow these instructions for an easy way to get up and going quickly! These are complete instructions, and will be the easiest way to get started on a new RG35XX.

Set up SD Card

Get a high quality SD (e.g. SanDisk Extreme) card, 128GB or larger, 256GB is recommended. Don't skimp here, they're cheap, and don't use the card that comes with the RG35XX as it's crap.

Moved to https://api.fmhy.net

switchbot-cmd.py

Simplest Switchbot Command

Installation

It tested on Raspberry Pi Zero W with Raspbian Stretch.

$ sudo apt-get install python-pip libglib2.0-dev bluez-tools
$ sudo pip install bluepy

Use curl to get the JSON response for the latest release
Use grep to find the line containing file URL
Use cut and tr to extract the URL
Use wget to download it

curl -s https://api.github.com/repos/jgm/pandoc/releases/latest \
| grep "browser_download_url.*deb" \
| cut -d : -f 2,3 \
| tr -d \" \

Tabs and Windows

Function	Shortcut
New Tab	`⌘` + `T`
Close Tab or Window	`⌘` + `W` (same as many mac apps)
Go to Tab	`⌘` + `Number Key` (ie: `⌘2` is 2nd tab)
Go to Split Pane by Direction	`⌘` + `Option` + `Arrow Key`
Cycle iTerm Windows	`⌘` + `backtick` (true of all mac apps and works with desktops/mission control)

	3dprinting.meta.stackexchange.com###overlay-header
	3dprinting.stackexchange.com###overlay-header
	academia.meta.stackexchange.com###overlay-header
	academia.stackexchange.com###overlay-header
	academics.stackexchange.com###overlay-header
	ai.meta.stackexchange.com###overlay-header
	ai.stackexchange.com###overlay-header
	alcohol.meta.stackexchange.com###overlay-header
	alcohol.stackexchange.com###overlay-header
	android.meta.stackexchange.com###overlay-header

	module Natl =struct
	type z = Nil_z
	type 'a succ = Nil_succ
	end
	open Natl

	type _ t =
	\| Nil: <f:'a; t:'a; dim:z > t
	\| Cons:
	'elt * <f:'ty; t:'ret; dim:'d > t -> <f: 'elt -> 'ty; t:'ret; dim:'d succ> t

	#!/bin/sh

	COOKIE_DB="${2:-$HOME/.config/google-chrome/Default/Cookies}"

	sqlite3 -separator ' ' "$COOKIE_DB" \
	"select name,value from cookies WHERE host_key=\"$1\"" \|
	awk 'BEGIN{ ORS=";" } { print $1 "=" $2 }'

	# Short of learning how to actually configure OSX, here's a hacky way to use
	# GNU manpages for programs that are GNU ones, and fallback to OSX manpages otherwise
	alias man='_() { echo $1; man -M $(brew --prefix)/opt/coreutils/libexec/gnuman $1 1>/dev/null 2>&1; if [ "$?" -eq 0 ]; then man -M $(brew --prefix)/opt/coreutils/libexec/gnuman $1; else man $1; fi }; _'