edjroot

Posts

• Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf]
  by edjrooton 9/6/20, 10:56 PMwith 0 comments
• FP to the Max (2018) [video]
  by edjrooton 6/25/20, 12:31 PMwith 0 comments
• When I Sit Down at My Editor, I Feel Relaxed (2016)
  by edjrooton 6/24/20, 8:30 PMwith 0 comments
• CGOL – an Alternative External Representation For Lisp users (1976) [pdf]
  by edjrooton 6/21/20, 2:33 PMwith 0 comments
• Bedrock Linux: Mix and match components from different distros
  by edjrooton 5/21/20, 8:14 PMwith 0 comments
• Chrome Evolution
  by edjrooton 4/26/20, 12:54 PMwith 0 comments
• Steward – A Command Launcher for Chrome
  by edjrooton 4/24/20, 10:16 PMwith 0 comments
• Lie-to-Children
  by edjrooton 4/23/20, 9:55 AMwith 0 comments
• Do We Need Specificity in CSS? (2015)
  by edjrooton 4/17/20, 9:31 AMwith 48 comments
• The terrorist inside my husband's brain (2016)
  by edjrooton 2/9/20, 8:27 PMwith 1 comments
• Morphine WebExtension – Regulated Distraction
  by edjrooton 2/6/20, 6:56 PMwith 0 comments
• The English Wikipedia has reached 6M articles
  by edjrooton 1/24/20, 11:55 PMwith 0 comments
• Six works of Computer Science-Fiction (2015)
  by edjrooton 1/2/20, 2:06 AMwith 93 comments
• On proof and progress in mathematics (1994) [pdf]
  by edjrooton 12/14/19, 12:55 AMwith 0 comments
• What's Wrong with GNU Make?
  by edjrooton 11/18/19, 11:35 PMwith 0 comments
• Captain Forever
  by edjrooton 10/25/19, 6:58 PMwith 0 comments
• Make vs. Tup (2016)
  by edjrooton 11/19/18, 2:26 PMwith 33 comments
• Carpalx – keyboard layout optimizer
  by edjrooton 9/25/18, 8:27 PMwith 0 comments