Steve Dunham dunhamsteve
dunhamsteve
/ sw_cache
Last active
April 20, 2023 21:46
Scans the chrome service worker caches and prints url and size for each directory
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 | |
| # Scans the chrome service worker caches and prints url and size for each directory | |
| # Add -v to the command line for more details | |
| import struct, os, functools, sys | |
| def uvarint(data,pos): | |
| x = s = 0 | |
| while True: |
dunhamsteve
/ mk_bindings.py
Last active
July 19, 2023 01:55
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
| from yaml import Loader, load | |
| # I got the idea from: | |
| # https://github.com/Granitosaurus/macos-compose/tree/master | |
| # in Karabiner, assign right_control to non_us_backslash (which somehow is §) | |
| # | |
| # in keys.yaml, lines like: | |
| # §to: → | |
| # §in: ∈ | |
| # §ni: ∋ | |
| # §all: ∀ |
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
| // Normalization by evaluation | |
| // | |
| // I was playing around with mogensen-scott encoding of the STLC and got carried away. | |
| // | |
| // Inspired Andras Kovacs' by elaboration-zoo typecheck-HOAS-names | |
| // | |
| // By inspired, I mean that I wrote this after studing Kovacs' stuff and then | |
| // cheated and looked up some of the answers when I got to the infer/check bit. | |
| // Any bugs are mine, though. |
OlderNewer