William J. Bowman wilbowma
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
| #lang racket | |
| (require racket/trace) | |
| (require (for-syntax racket/trace)) | |
| (begin-for-syntax | |
| (current-trace-print-args | |
| (let ([ctpa (current-trace-print-args)]) | |
| (lambda (s l kw l2 n) | |
| (ctpa s (map syntax->datum l) kw l2 n)))) | |
| (current-trace-print-results |
wilbowma
/ programs-are-lists.rkt
Created
April 30, 2015 03:03
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
| #lang racket | |
| (begin-for-syntax | |
| (require racket/match) | |
| ;; Pretend your programs are lists inside here | |
| (define (compute-program-as-list ls) | |
| (match ls | |
| [(list 'pretend-is-list a b c) | |
| '(define (whatever meow) meow)]))) |
wilbowma
/ index.scrbl
Last active
September 2, 2015 23:12
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
| #lang scribble/manual | |
| @(provide description-override keywords-override) | |
| @(define description-override "William J. Bowman's home on the web.") | |
| @(define keywords-override "William J. Bowman,William,type-theory,type theory,meta-theory,meta theory,compilers,verification,full abstraction,equivalence preservation,programming languages") | |
| .... |
wilbowma
/ sartactic-transcript
Created
September 11, 2015 21:22
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
| Starting interactive tactic session. Prepared to be sassed: | |
| Type (quit) to quit. | |
| -------------------------------- | |
| (forall (x : bool) bool) | |
| I don't think you know what you're doing. | |
| (obvious) | |
| You expect me to know this? |
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
| #lang cur | |
| (require cur/stdlib/sugar) | |
| (provide | |
| True T | |
| thm:anything-implies-true | |
| False | |
| Not | |
| And | |
| conj | |
| thm:and-is-symmetric proof:and-is-symmetric |
wilbowma
/ source.rkt
Created
October 27, 2015 15:15
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
| #lang racket/base | |
| (require | |
| ;; Requires Paul's patches | |
| redex/reduction-semantics) | |
| (provide (all-defined-out)) | |
| (module+ test | |
| (require rackunit)) |
wilbowma
/ before.rules
Last active
March 22, 2022 05:19
Files accompanying A Transparent Ad-Blocking VPN via SoftEther + Privoxy
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
| # | |
| # rules.before | |
| # | |
| # Rules that should be run before the ufw command line added rules. Custom | |
| # rules should be added to one of these chains: | |
| # ufw-before-input | |
| # ufw-before-output | |
| # ufw-before-forward | |
| # |
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
| #lang racket/base | |
| (require | |
| redex/reduction-semantics) | |
| (define-language lc | |
| [e m ::= natural x (λ (x) e) (e e)] | |
| [x ::= variable-not-otherwise-mentioned] | |
| #:binding-forms | |
| (λ (x) e #:refers-to x)) |
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
| #lang racket/base | |
| (require | |
| redex/reduction-semantics) | |
| (define-language stlc | |
| [t ::= nat (-> t t)] | |
| [e m ::= natural x (λ (x : t) e) (e e)] | |
| [x ::= variable-not-otherwise-mentioned] | |
| [Γ ::= ∅ (Γ x : t)] |
wilbowma
/ 0001-Fixed-permissions-on-var-spool-cron-per-44.patch
Last active
March 27, 2016 18:06
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
| [PATCH] Fixed permissions on /var/spool/cron, per #30 | |
| /var/spool/cron should be owned by this package, and should be group | |
| writeable. | |
| It's possible this package should also create a crontab group, and make | |
| /var/spool/cron belong to and by writeable by that group, but this is | |
| the minimal required change. | |
| https://github.com/systemd-cron/systemd-cron-next/issues/30 | |
| --- |