Robbie robbie01

🗿

bruh

robbie01 / dissecting-the-state-monad.md

Last active February 3, 2018 23:23

Dissecting the State monad with Operational and Free monads

The original article can be found here

robbie01 / lineart.html

Last active April 23, 2018 21:07

kinda like lineart-svg

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width">
	<title>Line Art</title>
	</head>
	<body>
	<canvas id="c"></canvas><br>
	<label for="r">Radius</label>

robbie01 / thxsound.py

Created June 6, 2018 18:50

the thx sound generated with scipy square waves

	import numpy as np
	from random import uniform
	from scipy.signal import square
	from scipy.io import wavfile

	samplerate = 44100
	startlength = 8
	chirplength = 4
	endlength = 16

robbie01 / vman.pl

Last active December 27, 2021 01:44

void+sndio volume controller and manager script

	#!/usr/bin/perl

	# i wouldn't recommend using this in its current state. because it uses sndioctl instead
	# of using libsndio directly, there's pretty much no way to detect server restarts &c.
	# this will be rewritten as a small C program soon.

	# this is intended to be run as a per-user service
	# https://docs.voidlinux.org/config/services/user-services.html

	use strict;

robbie01 / Cargo.toml

Last active November 15, 2025 08:43

beezchurger writeup (BuckeyeCTF 2025)