Skip to content

Instantly share code, notes, and snippets.


Cassie Jones porglezomp

Block or report user

Report or block porglezomp

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
porglezomp / example.c
Created Apr 7, 2020
Load unless there's a segfault
View example.c
// gcc example.c try_load.c
#include "try_load.h"
#include <stdio.h>
void try_to_load(const uint8_t *address) {
uint8_t value;
if (try_load_u8(address, &value)) {
printf("Successfully load from address %p: %d\n", address, value);
} else {
porglezomp / makefile
Created Jan 20, 2020
Convert the "Item Block Heights" video into a summary image
View makefile
# Convert the "Item Block Heights" video into a summary image
# Video:
# Image:
all: abcheight.png
youtube-dl -f mp4 'JteRFzrF6U4' -o input.mp4
frames: input.mp4
View GroupUniqueId.idr
-- This is a group with a set g, an operation *, and an identity e
record Group g ((*) : g -> g -> g) (e : g) where
constructor MkGroup
-- each of these fields provides a witness of one of the group laws
assoc : (a, b, c : g) -> (a * b) * c = a * (b * c)
ident : (a : g) -> (a * e = a, e * a = a)
inverse : (a : g) -> (b : g ** (a * b = e, b * a = e))
-- Given two groups g1 and g2, with identities e and e', e must be e'
uniquenessOfId : (g1 : Group g o e) -> (g2 : Group g o e') -> e = e'
porglezomp /
Last active Jan 11, 2020
Rust instructions for ROSE-8
// Thanks to Jordan Rose:
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub enum Op1 {
porglezomp /
Last active Dec 3, 2019
Lets do some proofs about how transforms should behave
porglezomp /
Last active Oct 20, 2019
Creating a Rust hello world in 0x a presses.

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

$ vim
$ rustc --test
$ ./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 /
Last active Oct 2, 2019
A tool to chop GIFs into 25 discord emoji.
if [ -z "$input" -o -z "$output" ]; then
echo "Usage: $0 <input> <output> [prefix]"
exit 1
porglezomp / Makefile
Created Sep 23, 2019
Multiple return types
View Makefile
all: union exn variant
%: %.cpp
clang++ -Wall -Wextra -Werror -std=c++17 -O3 $< -o $@
rm -f union exn variant
porglezomp / FloatShiftBlend.swift
Created Aug 8, 2019
What does Int << Float mean? :3
View FloatShiftBlend.swift
extension Int {
subscript(bit bit: Int) -> Int {
guard (0..<Int.bitWidth).contains(bit) else { return 0 }
return (self >> bit) & 1
subscript(bit bit: Float) -> Float {
var whole = bit
let fract = bit - whole
return Float(self[bit: Int(whole)]) * (1 - fract)
porglezomp / Denotation.swift
Created Jun 7, 2019
Swift has MixFix operators, right?
View Denotation.swift
// Colin Barrett - @cbarrett
// turning a big dial taht says "Mixfix operators like Agda" on it
// and constantly looking back at the audience for approval
// like a contestant on the price is right
// Here define a mixfix interpreter operator spelled: _ ⊢ ⟦_⟧
prefix operator
postfix operator
You can’t perform that action at this time.