HomeBlogTILReadingToday I LearnedDisable User in GNOME Login ScreenTau posted on 2023-12-21Chunking A Large FileTau posted on 2023-12-12Python's int(x) Rounds Towards ZeroTau posted on 2023-09-23FleuronsTau posted on 2023-09-18SQLite rowid as Foreign KeyTau posted on 2023-09-10Launching Sublime Merge via CLITau posted on 2023-06-03¬φ ↔ φ → ⊥Tau posted on 2023-04-150⁰Tau posted on 2022-10-23Non-Constructive ProofsTau posted on 2022-10-23Python doctestTau posted on 2022-10-23SQLite rowidTau posted on 2022-10-23