Skip to content

Instantly share code, notes, and snippets.

View jryio's full-sized avatar
☠️
Test your code

Jacob (JRY) jryio

☠️
Test your code
  • New York
  • 17:47 (UTC -04:00)
View GitHub Profile
@jonlabelle
jonlabelle / docker_compose_cheatsheet.md
Last active April 15, 2025 21:21
Docker Compose Cheatsheet
@lynaghk
lynaghk / taxes.smt2
Created August 1, 2022 18:34
S-Corp tax optimization with the Z3 Theorem Prover
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;
;; Solo freelancer's S-Corp tax optimization
;;
;; Assumes an unmarried single-shareholder and tons of other stuff.
;; I'm not a tax professional, no guarantees here, probably typos, etc. Come on!
;; Run with https://github.com/Z3Prover/z3
;;
;; See also my notes at https://kevinlynagh.com/financial-plan/