-
Git Unstage
2023-11-17 09:28:58-05:00 (EST)
Unstaging is the only git action I can never remember.
-
Text-only skymap
2023-11-16 08:07:31-05:00 (EST)
Just a list of brightest objects in the sky.
-
Using A Theorem Prover
2023-10-27 07:49:17-04:00 (EDT)
I reccomend the Lean4 Natural Number Game.
-
Building a Better House.
2023-10-23 13:11:05-04:00 (EDT)
Houses should last for hundreds of years and be easy to inspect, maintain, and upgrade.
-
Can the US House of Representatives function without a speaker or with a speaker with limited power?
2023-10-23 13:03:32-04:00 (EDT)
A way to let the house pass any bill that gets enough votes, without leadership involement.
-
“Rule number one, never carry anything you don’t control.”
2023-10-23 12:33:38-04:00 (EDT)
On using networked computers you don't understand.
-
Tears of The Kingdom
2023-06-14 09:57:15-04:00 (EDT)
Zelda's new game is all right!
- Happy 15th birthday, Lulu! 2023-04-17 12:00:00-04:00 (EDT)