twavv

Assuming you've downloaded kernel.json,

DEST="$(jupyter --data-dir)/kernels/poetry"
mkdir -p "$DEST"
cp kernel.json "$DEST"

# Feel free to copy this to wherever, just change the line in kernel.json
chmod +x poetry-kernel.sh
sudo cp poetry-kernel.sh /usr/local/bin/

twavv

import { Reducer } from "redux";
import {
  createAction,
  createReducer,
  PayloadAction,
  PayloadActionCreator,
} from "@reduxjs/toolkit";

const fetchUserBlogPosts = createAction<{
  userId: number;

twavv

import {
  LATEX_INLINE_NODE_TYPE,
} from "../schema";

export const LatexInlineBackspacePlugin = () => ({
  /**
   * Handle key down when we're on the right edge of a `latexinline`.
   * @param event
   * @param editor
   * @param next

twavv

using Blink, Interact, Observables

# spinbox is a widget provided by Interact
lhs = spinbox(1:100)
rhs = spinbox(1:100)

# This map function is provided by Observables;
# It creates an observables whose value updates every time lhs or rhs change.
# You can use do-block syntax for a more complex formula.
result = map(+, lhs, rhs)

twavv

interface Address {
  lineOne: string;
  lineTwo: string | undefined;
  city: string;
}

type AddressWithOptionalProperties = UndefinedOptional<Address>;
const address: Address = {
  lineOne: "1234 Main St.",
  // lineTwo is required in this interface

twavv

/**
 * Get the keys of the properties to which U can be assigned.
 */
type AssignableKeys<T, U> = {
  [K in keyof T]: U extends T[K] ? K : never
}[keyof T];

/**
 * Get the interface containing only properties to which undefined can be assigned.
 */

twavv

FROM krallin/ubuntu-tini:16.04
ENV DEBIAN_FRONTEND=noninteractive \
    DEBCONF_NONINTERACTIVE_SEEN=true \
    SHELL=/bin/bash \
    NB_USER=nbuser \
    NB_UID=1000 \
    LC_ALL=en_US.UTF-8 \
    LANG=en_US.UTF-8 \
    LANGUAGE=en_US.UTF-8
RUN apt-get update && \

twavv

import * as Slate from "slate";

const enum SchemaViolation {
  CHILD_OBJECT_INVALID = "child_object_invalid",
  CHILD_REQUIRED = "child_required",
  CHILD_TYPE_INVALID = "child_type_invalid",
  CHILD_UNKNOWN = "child_unknown",
  FIRST_CHILD_OBJECT_INVALID = "first_child_object_invalid",
  FIRST_CHILD_TYPE_INVALID = "first_child_type_invalid",
  LAST_CHILD_OBJECT_INVALID = "last_child_object_invalid",

twavv