Skip to content

Instantly share code, notes, and snippets.

{"level":30,"time":1599193234131,"pid":741425,"hostname":"Aostro-5468","message":"Got cookie","cookie":"no-cookie","v":1}
{"level":30,"time":1599193234133,"pid":741425,"hostname":"Aostro-5468","message":"Sending JSON to channel","json":{"id":1,"action":"subscribe","ship":"zod","app":"language-server","path":"/primary"},"v":1}
{"level":20,"time":1599193234137,"pid":741425,"hostname":"Aostro-5468","method":"initialize","v":1}
{"level":20,"time":1599193234148,"pid":741425,"hostname":"Aostro-5468","method":"initialized","params":{},"v":1}
{"level":30,"time":1599193234148,"pid":741425,"hostname":"Aostro-5468","message":"Sending JSON to channel","json":{"id":2,"action":"poke","ship":"zod","app":"language-server","mark":"language-server-rpc-notification","json":{"jsonrpc":"2.0","method":"initialized","params":{}}},"v":1}
{"level":20,"time":1599193234149,"pid":741425,"hostname":"Aostro-5468","method":"textDocument/didOpen","params":{"textDocument":{"uri":"file:///home/steven/urbit-v0.10.8-linux64/zod/home/gen/maxfact

Singles

S   ->  is
T   ->  it
K   ->  can
P   ->  about
W   ->  with
H   ->  had
R   ->  are

Singles

S   ->  is
T   ->  it
K   ->  can
P   ->  about
W   ->  with
H   ->  had
R   ->  are

Dictionary format

Dictionary uses a flat hashmap

  • 3MB for (key length, kv pair pointer) pairs (0x000000 ~ 0x300000)

    • Each pair being 24 bits long, 20 bits for kv pair pointer, 4 bits for key length (1-14)
    • Entry not valid if key length is either 0 or 15
    • Wrap around if hits end of 3MB block
  • 12MB 16/32/64 byte blocks for kv pairs (0x300000 ~ 0xF00000)

def get_sigil($pos):
map(
if .name == "circle" or .name == "path" or .name == "line" then .attributes."stroke-width" = 3 else . end
| "<\(.name) \(.attributes | to_entries | map("\(.key)=\"\(.value)\"") | join(" "))></\(.name)>")
| join("\n")
| "<g transform=\"translate(\($pos % 2 * 128),\($pos / 2 | floor * 128))\">\(.)</g>";
# "matrix(0.65544921875,0,0,0.65544921875,\([35, 121.10249999999999] | "\(.[$pos % 2]),\(.[$pos / 2 | floor])"))" as $trans
def get_sigil_word($name):
. as $map
@crides
crides / test.py
Created January 20, 2021 17:14
A simple script to check the Webboard for ECE445 for new posts and replies to all posts, using the cookie provided by the user
#!/usr/bin/python3
import requests
from bs4 import BeautifulSoup
import time
PACE_URL = "https://courses.engr.illinois.edu/ece445/pace/"
BOARD_URL = PACE_URL + "web-board.asp"
old_replies = {}
#include "steno.h"
#include "orthography.h"
#include <string.h>
#include <ctype.h>
// Returns how many chars to backspace, and what text (`output`) to append after
// NOTE assumes the suffix we get is valid, so no end of string checking
int8_t ortho_transform(const char *word, const char *suffix, char *output) {
const uint8_t word_len = strlen(word);
char rev[WORD_ENDING_SIZE];
[tio 14:33:11] Connected
:00:00.270,172] <inf> fs_nvs: 8 Sectors of 4096 bytes
[00:00:00.270,172] <inf> fs_nvs: alloc wra: 4, d70
[00:00:00.270,172] <inf> fs_nvs: data wra: 4, 4b8
[00:00:00.286,865] <wrn> usb_cdc_acm: Device not configured or suspended, drop 1 bytes
[00:00:00.293,426] <dbg> zmk.bvd_init: AIN2 setup returned 0
[00:00:00.295,227] <inf> bt_hci_core: No ID address. App must call settings_load()
[00:00:00.304,168] <dbg> zmk.ble_profiles_handle_set: Setting BLE value profiles/0
[00:00:00.304,260] <dbg> zmk.ble_profiles_handle_set: Loaded 00:00:00:00:00:00 (public) address for profile 0
[00:00:00.345,550] <dbg> zmk.zmk_ble_ready: ready? 0
@crides
crides / symbols.json
Created May 1, 2021 06:03
experimental symbols
{
"SKPH-RB": "{^}!={^}",
"SKPH-RBT": "{^}!=!=!={^}",
"SKPH-RBS": "{^}!=!={^}",
"SKPH-RBTS": "{^}!=!=!=!={^}",
"SKPHARB": "!={^}",
"SKPHARBT": "!=!=!={^}",
"SKPHARBS": "!=!={^}",
"SKPHARBTS": "!=!=!=!={^}",
"SKPHORB": "{^}!=",
/*
* Copyright (c) 2020 The ZMK Contributors
*
* SPDX-License-Identifier: MIT
*/
#include <dt-bindings/zmk/matrix_transform.h>
/ {
chosen {