Today I Learned

Fleurons

Tau posted on 2023-09-18

SQLite rowid as Foreign Key

Tau posted on 2023-09-10

Launching Sublime Merge via CLI

Tau posted on 2023-06-03

¬φ ↔ φ → ⊥

Tau posted on 2023-04-15

0⁰

Tau posted on 2022-10-23

Non-Constructive Proofs

Tau posted on 2022-10-23

Python doctest

Tau posted on 2022-10-23

SQLite rowid

Tau posted on 2022-10-23