xavdid

interface Boat {
  size: number
  direction: 'horizontal'|'vertical'
  start: Point
}

interface Point {
  x: number,
  y: number
}

xavdid

import argparse
import os
from math import ceil
from typing import List

try:
    import requests
    from requests import HTTPError
except ImportError:
    print("This script uses the `requests` package")

xavdid

# requires Python@3.10

from dataclasses import dataclass, field
from operator import add, floordiv, mod, mul
from typing import Dict, Generator, List

@dataclass
class ALU:
    instructions: List[str] = field(repr=False)
    inputs: str = field(repr=False)

xavdid

/* set my own variables */
.theme-dark {
  /* ==highlights== */
  --text-highlight-bg: darkorchid;
  /* vertical lines in lists */
  --indentation-guide-color: cyan;
  /* active sidebar item */
  --nav-item-background-active: #e67e00;

  /* don't make code smaller than normal text */

xavdid

import json
import sys
from urllib.parse import parse_qs, urlparse

import requests

# find your feed url on https://www.reddit.com/prefs/feeds/
# EDIT THIS!!
FEED_URL = "https://www.reddit.com/user/USERNAME/saved.json?feed=abc123&user=USERNAME"