ssalbdivad

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":

milnak

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.

taskylizard

Some stats: - Total number of links: 23983

---

---

◄◄ Back to Wiki Index

---

---

► System Tools

sguillia

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

mugifly

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

steinwaywhw

• 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 \" \

Octachron

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

squarism

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)

kamikat

#!/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 }'

quickshiftin

# 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 }; _'