caseyavila

.TITLE "This Is a Nice Title"
.PRINTSTYLE TYPESET
.
.FAMILY T
.PT_SIZE 12
.INDENT_FIRST_PARAS
.AUTOLEAD 16
.
.HEADERS OFF
.FOOTERS OFF

caseyavila

#!/usr/bin/env python3
#
# this script will convert the hdhomerun listings (channels) to
# m3u format for use with external media players. before running
# this script, be sure to modify the <<config>> variable settings
# below.
#
# Suggested Usage: This script should be run on a cron to keep
# the channel lineup to date. Below is an example of how to execute this script:
# python /path/to/script/hdhomerun-prime-listings-to-m3u.py > /path/to/playlist.m3u

caseyavila

/*
    1. Set toolkit.legacyUserProfileCustomizations.stylesheets to true in about:config
    2. Place this file (userContent.css) in the chrome directory of your firefox profile
    3. Place an image *hello.jpg* in the same directory as this file
*/

@-moz-document url(about:home), url(about:newtab), url(about:privatebrowsing) {
    body::before {
        content: "";
        z-index: -1;

caseyavila

#!/usr/bin/env python3

import requests

login_url = "https://authserver.mojang.com/authenticate"
payload = {
    "agent": {
        "name": "Minecraft",
        "version": 1
    },

caseyavila

with import <nixpkgs> {};

lib.fix (self: {
  tilp = stdenv.mkDerivation {
     name = "tilp";
     src = fetchurl {
       url = "https://www.ticalc.org/pub/unix/tilp.tar.gz";
       sha256 = "1mww2pjzvlbnjp2z57qf465nilfjmqi451marhc9ikmvzpvk9a3b";
     };
     postUnpack = ''

caseyavila

$fn = 100;

difference() {
    union() {
        cylinder(h=0.555, d=0.71);
        translate([0, 0, 0.555/2]) cylinder(h=0.555/2, d1=0.98, d2=0.4);
        translate([0, 0, 0.555/2]) rotate([0, 180, 0]) cylinder(h=0.555/2, d1=0.98, d2=0.4);
    }
    cylinder(h=0.555, d=0.23);
}