David Albert davidbalbert
davidbalbert
/ FastNote.swift
Created
June 10, 2021 14:44
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // | |
| // ContentView.swift | |
| // FastNote | |
| // | |
| // Created by David Albert on 6/9/21. | |
| // | |
| import SwiftUI | |
| struct Note: Identifiable { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Run this once in your shell. All access keys and all settings will be saved by acme.sh | |
| DOMAIN=unifi.example.com | |
| AWS_ACCESS_KEY_ID=foo AWS_SECRET_ACCESS_KEY=bar acme.sh \ | |
| --issue -d $DOMAIN \ | |
| --dns dns_aws \ | |
| --fullchain-file /tmp/$DOMAIN.crt \ | |
| --key-file /tmp/$DOMAIN.key \ | |
| --reloadcmd /path/to/unifi-import-certificate.sh |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // miniKanren.swift, written by David Albert, and released into the public domain. | |
| // | |
| // An implementation of the miniKanren relational programming language. Somewhat | |
| // reductively, relational programs can be run both forwards and backwards. In | |
| // addition to asking "what does this function return when passed these arguments," | |
| // you can also ask "what arguments to this function return the following value?" | |
| // This lets you ask questions like like "what pairs of numbers sum to 12," which | |
| // if you allow for negative numbers has an infinite number of solutions. | |
| // | |
| // Some mind bending miniKanren programs that others have written include: a |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| func nullo(_ x: Term) -> Goal { | |
| x =~ [] | |
| } | |
| func conso(_ a: Term, _ d: Term, _ p: Term) -> Goal { | |
| p =~ .pair(a, d) | |
| } | |
| func appendo(_ l: Term, _ t: Term, _ out: Term) -> Goal { | |
| disj { |
davidbalbert
/ fizzbuzz.sld
Created
July 26, 2019 15:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ; ht to http://www.shlomifish.org/lecture/Lambda-Calculus/slides/ | |
| (define λ lambda) | |
| (define 0 (λ (f) (λ (x) x))) | |
| (define +1 (λ (n) (λ (f) (λ (x) (f ((n f) x)))))) | |
| (define pred_next_tuple | |
| (λ (tuple) | |
| (cons (car (cdr tuple)) (cons (+1 (car (cdr tuple))) '())))) |
davidbalbert
/ japanese.sld
Created
July 26, 2019 15:16
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (define 定義しろ define) | |
| (定義しろ 見せろ display) | |
| (定義しろ 車 car) | |
| (定義しろ 来るだ cdr) | |
| (定義しろ 組み立てろ cons) | |
| (定義しろ 原子 atom) | |
| (定義しろ 同 eq) | |
| (定義しろ 条件 cond) |
davidbalbert
/ autoindent.rb
Created
January 21, 2019 19:31
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env ruby | |
| nesting = 0 | |
| ARGF.each_line do |l| | |
| nesting -= l.count("}") | |
| puts " "*nesting + l | |
| nesting += l.count("{") |
davidbalbert
/ macosx-dp-2.sh
Last active
February 24, 2023 22:03
Install and run Mac OS X DP2 in QEMU
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| # To create and format a 10 GB hard drive image | |
| dd if=/dev/zero of=hd.img bs=1048576 count=10240 | |
| pdisk hd.img # `i` for initialize then `w` for write | |
| # To boot from install CD, add: | |
| # -drive file=dp2.iso,index=2,format=raw,media=cdrom \ | |
| # -prom-env 'boot-device=ide1:9,\\BootX' \ |
davidbalbert
/ euler15.js
Created
January 15, 2018 23:03
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function countPossibilities(n, m) { | |
| if (n === -1 || m === -1) { | |
| return 0; | |
| } else if (n === 0 && m === 0) { | |
| return 1; | |
| } | |
| return countPossibilities(n-1, m) + countPossibilities(n, m-1); | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <title>Database.js</title> | |
| </head> | |
| <body> | |
| <script> | |
| 'use strict'; |