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:
Theresa O'Connor 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.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/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
/ audiopub-atom-strawman.atom
Created
April 3, 2019 17:56
Strawman example of representing an audiobook's manifest in Atom (RFC 4287)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?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
/ keybase.md
Created
July 3, 2018 23:34
hober
/ Fix GMane's Archived-At header
Last active
May 17, 2017 15:10
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (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))) |
Hi. I would like to sell someone my Wii. Here's what I have:
- 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
/ demo-without-angular.html
Created
August 11, 2015 17:00
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!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
/ gist:3969117
Created
October 28, 2012 16:46
Emacs function to fix fantasai's right hand being off-by-one when scribing.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (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
/ spec-toggle.js
Created
March 27, 2012 19:38
Bookmarklet for toggling between sections of the WHATWG and W3C versions of the HTML5 spec
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // 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
/ mtucker-mark-comment.el
Created
October 15, 2010 20:31
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (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
/ fun with Aria's HTML parser and jsdom
Created
October 13, 2010 01:43
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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: |
NewerOlder