porglezomp

Serializing Binary Data in Rust

The way I like to serialize data in Rust into binary formats is to let a data structure blit itself into a mutable buffer. This is a relatively composable, low level way to work that lends itself to having other abstractions built on top of it. I recently was serializing network packets, so let's make up a small packet format that illustrates how we can do this.

+-------------+-------------+
|  Tag (u16)  | Count (u16) |
+-------------+-------------+
|                           |
~        Entry (u32)        ~

porglezomp

require "mp"
local msg = require "mp.msg"
local utils = require "mp.utils"
-- Currently, I use webp quality=90
-- In the future: Use jxl quality=80
-- It might be nice to adjust the quality on a show-by-show basis

-- The format_json consults metatables to distinguish between empty arrays and lists
local json_object_metatable = { type = "MAP" }
function json_object(obj)

porglezomp

import Data.Vect

-- `minus` is saturating subtraction, so this works like we want it to
eq_max : (n, k : Nat) -> maximum k n = plus (n `minus` k) k
eq_max  n     Z    = rewrite minusZeroRight n in rewrite plusZeroRightNeutral n in Refl
eq_max  Z    (S _) = Refl
eq_max (S n) (S k) = rewrite sym $ plusSuccRightSucc (n `minus` k) k in rewrite eq_max n k in Refl

-- The type here says "the result is" padded to (maximum k n), and is padding plus the original
leftPad : (x : a) -> (n : Nat) -> (xs : Vect k a)

porglezomp

// ==UserScript==
// @name     Toggle Video Controls (f1)
// @version  1
// @include  https://archive.org/*
// @include  https://www.youtube.com/*
// @grant    none
// ==/UserScript==

// LICENSE: CC0 1.0
// Comments with support for more video players are encouraged, if you want to help out

porglezomp

#include <iso646.h>
#include <setjmp.h>
#include <stdio.h>


// Exception Macros

int _exn_handler_idx = 0;
jmp_buf _exn_handlers[1024];

porglezomp

#!/usr/bin/env python3

from __future__ import annotations

import abc
import argparse
import datetime
import enum
import re
import sys

porglezomp

// ==UserScript==
// @name     Twitter Alt-Text to Title-Text
// @description Copy the alt attribute of twitter images into the title attribute, so that I can see the alt text on hover.
// @version  1
// @grant    none
// @include  https://twitter.com/*
// ==/UserScript==

const SELECTORS = `.tweet .AdaptiveMedia-photoContainer img
, .Gallery-media img

porglezomp

This is a Rust "Hello World" program in 0x A presses.

$ vim hello.rs
$ rustc --test hello.rs
$ ./hello --quiet
Hello, World!

If you don't know, [the A Button Challenge] is a Mario 64 speedrun category in which runners attempt to use the A button (the jump button!) as few times as possible. Make sure you watch the classic [Watch for Rolling Rocks - 0.5x A Presses][A Button Challenge] video linked above in order to understand.

porglezomp

// ==UserScript==
// @name     Twitter Pinned Lists
// @description Show your pinned lists in your twitter top bar.
// @version  1.1
// @grant    none
// @include  https://twitter.com/*
// @include  https://mobile.twitter.com/*
// ==/UserScript==

// USAGE: Visit your lists page for a few seconds, and this will learn your pinned lists.

porglezomp

// ==UserScript==
// @name     Animal Crossing Twitter Rating
// @description Display the rating of tweets using the Animal Crossing letter rating system
// @version  1
// @grant    none
// @include  https://twitter.com/*
// ==/UserScript==

// Notes via https://twitter.com/jamchamb_/status/1025977659522789376