-
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.