jdan

import typing
import math

def collatz(n: int) -> typing.List[int]:
    """Returns the Collatz sequence starting at n."""
    seq = [n]
    while n != 1:
        if n % 2 == 0:
            n = n // 2
        else:

jdan

const machine = Machine({
  id: 'machine',
  initial: 'start',
  states: {
          start: {
        on: {
          "0.05-Lia": "Lia",
"0.1-Oli": "Oli",
"0.05-Noa": "Noa",
"0.05-Emm": "Emm",

jdan

#include "Inkplate.h"
#include <HTTPClient.h>
#include <WiFi.h>

Inkplate display(INKPLATE_1BIT);

// https://github.com/jdan/hashart#a-small-screenshot-service
char *url = "https://FILLMEIN/random/800/600/random.png";

void setup()

jdan

import tactic
open nat

@[simp] def fib : ℕ -> ℕ
| 0 := 0
| 1 := 1
| (succ (succ n)) := fib n + fib (succ n)

@[simp] def sum_first_fib : ℕ -> ℕ
| 0 := 0

jdan

Keybase proof

I hereby claim:

• I am jdan on github.
• I am jordanscales (https://keybase.io/jordanscales) on keybase.
• I have a public key ASBoYRZQ8zKT3oR8YUJyW8niemERvBQ9xcxqAeWocugKVAo

To claim this, I am signing this object:

jdan

word(0, [0, 0, 0, 0]).
word(1, [0, 0, 0, 1]).
word(2, [0, 0, 1, 0]).
word(3, [0, 0, 1, 1]).
word(4, [0, 1, 0, 0]).
word(5, [0, 1, 0, 1]).
word(6, [0, 1, 1, 0]).
word(7, [0, 1, 1, 1]).
word(8, [1, 0, 0, 0]).
word(9, [1, 0, 0, 1]).

jdan

#lang racket

(define current-idx 0)
(define (get-fresh-param!)
  (let [(idx current-idx)]
    (set! current-idx (+ idx 1))
    (string->symbol
     (string-append "?" (number->string idx)))))

(define (compile exp)

jdan

docker-compose for minecraft

This docker compose file spins up two Minecraft (Bedrock Edition - phones, ipads, consoles, windows 10) servers. One creative (port 19132, the default one) and one survival (port 29132).

I was surprised how easy it was because I've fiddled with Minecraft servers in the past a few times to varying degrees of success.

Now my niece, nephew, and I can bury ourselves in our iPads on christmas while we social distance. (And for those not traveling for the holidays - thank you! - hopefully this makes you feel a little more connected)

More documentation on itzg/minecraft-bedrock-server here

jdan

let oracle = [];

class Maybe {
  constructor(isNothing, value) {
    this.isNothing = isNothing;
    this.value = value;
  }
  valueOf() {
    oracle.push(this);
  }

jdan

//
//  ContentView.swift
//  Shared
//
//  Created by Jordan Scales on 7/25/20.
//
import SwiftUI
import SwiftUIRefresh

struct Response: Codable {