Today I Learned

2025-06-01 <hgroup>: The Heading Group element
2024-05-21 Creative Commons Symbols in Unicode
2023-12-21 Disable User in GNOME Login Screen
2023-12-12 Chunking A Large File
2023-09-23 Python's int(x) Rounds Towards Zero
2023-09-18 Fleurons
2023-09-10 SQLite rowid as Foreign Key
2023-06-03 Launching Sublime Merge via CLI
2023-04-15 ¬φ ↔ φ → ⊥
2022-10-23 0⁰
2022-10-23 Non-Constructive Proofs
2022-10-23 Python doctest
2022-10-23 SQLite rowid