Skip to content

Instantly share code, notes, and snippets.

View hober's full-sized avatar
🏳️‍⚧️
Putting the L and T in LGBT

Theresa O'Connor hober

🏳️‍⚧️
Putting the L and T in LGBT
414 followers · 155 following
View GitHub Profile
@hober
hober / I don't understand python type annotations.py
Last active February 25, 2023 18:40
I don't understand why mypy likes this code but doesn't like the previous revision of this gist.
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
from dataclasses import dataclass
from typing import Optional, Protocol, TypeVar
class ProtoA(Protocol):
def a(self) -> None:
...
@hober
hober / audiopub-atom-strawman.atom
Created April 3, 2019 17:56
Strawman example of representing an audiobook's manifest in Atom (RFC 4287)
<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
<id>tag:example.com,2019-04-01:flatland</id>
<title>Flatland: A Romance of Many Dimensions</title>
<author><name>Edwin Abbott Abbott</name></author>
<contributor><name>Ruth Golding</name></contributor>
<updated>2019-04-01T12:30:02Z</updated>
<published>2019-04-01T12:30:02Z</published>
<rights type="xhtml">
<div xmlns="http://www.w3.org/1999/xhtml">
@hober
hober / keybase.md
Created July 3, 2018 23:34

Keybase proof

I hereby claim:

  • I am hober on github.
  • I am hober (https://keybase.io/hober) on keybase.
  • I have a public key ASCuGnAcK5ZPWiDBw7efUYm5HD_tSWesqgh5C3VQ9l28LAo

To claim this, I am signing this object:

@hober
hober / Fix GMane's Archived-At header
Last active May 17, 2017 15:10
(defun tess-mangle-gmane-archival-gnus-data (link)
"Mangle the `gnus-data' property value LINK.
Specifically, change the archival URL from permalink.gmane.org (Gmane's
blog-like interface) to article.gmane.org (Gmane's newslike interface)."
(let ((original-date (get-text-property 5 'original-date link))
(face (get-text-property 5 'face link)))
(propertize (replace-regexp-in-string "permalink.gmane.org"
"article.gmane.org"
(substring-no-properties link))
'face face 'original-date original-date)))
@hober
hober / Wii.md
Last active January 13, 2017 00:15

Hi. I would like to sell someone my Wii. Here's what I have:

Hardware

  • Nintendo Wii (original, GameCube-compatible one) & associated cords including a VGA adapter
  • Wii Remote x2
  • Wii Remote charging stand & battery packs
  • Wii Nunchuk
  • Wii Classic Controller x2
  • Wii Classic Controller for PC USB adapter
  • Wii Balance Board
@hober
hober / demo-without-angular.html
Created August 11, 2015 17:00
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Radar 22169467</title>
<script>
function log(text) {
var logEl = document.getElementById("log");
logEl.innerHTML = logEl.innerHTML + text + "<br>";
}
@hober
hober / gist:3969117
Created October 28, 2012 16:46
Emacs function to fix fantasai's right hand being off-by-one when scribing.
(defun right-hand-querty-correct (b e)
"Fix fantasai's right hand being off by one."
(interactive "r")
(let ((right-hand-keys "
67890-=
yuiop[]\\
hjkl;'
bnm,./"))
(goto-char b)
(while (not (= (point) e))
@hober
hober / spec-toggle.js
Created March 27, 2012 19:38
Bookmarklet for toggling between sections of the WHATWG and W3C versions of the HTML5 spec
// javascript:(function()%7b%20%20%20%20%20var%20prefix%3b%20%20%20%20%20var%20hash%20%3d%20window.location.hash%3b%20%20%20%20%20var%20specpart%20%3d%20window.location.pathname.split(%22%2f%22)%3b%20%20%20%20%20specpart%20%3d%20specpart%5bspecpart.length-1%5d%3b%20%20%20%20%20if%20(window.location.hostname%3d%3d%22www.whatwg.org%22)%20%7b%20%20%20%20%20%20%20%20%20prefix%20%3d%20%22http%3a%2f%2fdev.w3.org%2fhtml5%2fspec%2f%22%3b%20%20%20%20%20%7d%20else%20%7b%20%20%20%20%20%20%20%20%20prefix%20%3d%20%22http%3a%2f%2fwww.whatwg.org%2fspecs%2fweb-apps%2fcurrent-work%2fmultipage%2f%22%3b%20%20%20%20%20%7d%20%20%20%20%20window.location%20%3d%20prefix%20%2b%20specpart%20%2b%20hash%3b%20%7d)()%3b%20
(function(){
var prefix;
var hash = window.location.hash;
var specpart = window.location.pathname.split("/");
specpart = specpart[specpart.length-1];
if (window.location.hostname=="www.whatwg.org") {
prefix = "http://dev.w3.org/html5/spec/";
} else {
@hober
hober / mtucker-mark-comment.el
Created October 15, 2010 20:31
(defun mtucker-mark-comment (&optional pos)
(interactive "d")
(let ((initial pos)
(syntax (syntax-ppss pos)))
(if (nth 4 syntax)
(progn
(push-mark (nth 8 syntax) nil t)
(while (nth 4 syntax)
(forward-char)
(setq syntax (syntax-ppss (point)))))
@hober
hober / fun with Aria's HTML parser and jsdom
Created October 13, 2010 01:43
Given this source document:
<!DOCTYPE html>
<title>Edward O’Connor</title>
<link rel=openid.server href=http://www.myopenid.com/server>
<link rel=openid.delegate href=http://hober.myopenid.com>
<h1>Edward O’Connor</h1>
<p>Hi, I’m Ted.
The code generates (a longer version of) this document: