Skip to content

Instantly share code, notes, and snippets.

@bodil
bodil / electric_wadleroo.rs
Last active January 28, 2019 22:52
Who needs higher kinded types anyway
trait Higher<A, B> {
type Target;
}
trait Higher3<A, B, C> {
type Target2;
type Target3;
}
impl<A, B> Higher<A, B> for Option<A> {
@bodil
bodil / init.ts
Created August 12, 2019 17:34
Snapshot of my vscode-use-package setup
import * as vscode from "vscode";
import { initUsePackage, usePackage, configSet } from "vscode-use-package";
import * as nav from "./nav";
import * as js from "./js";
import * as rust from "./rust";
export function init(context: vscode.ExtensionContext) {
console.log(`HELLO FROM INIT SCRIPT`);
@bodil
bodil / main.ts
Created November 8, 2022 22:10
Add migration aliases to a Pleroma account
import generator, { OAuth } from "megalodon";
import PleromaAPI from "megalodon/lib/src/pleroma/api_client";
import { DEFAULT_UA } from "megalodon/lib/src/default";
import * as readline from "readline-sync";
async function main() {
const baseUrl = readline.question('URL of Pleroma instance (ex. "https://lol.camp"): ');
const registerClient = generator("pleroma", baseUrl);
const appData = await registerClient.registerApp("User Alias Editor", {});