edjroot 的提交内容

Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf]

FP to the Max (2018) [video]

When I Sit Down at My Editor, I Feel Relaxed (2016)

CGOL – an Alternative External Representation For Lisp users (1976) [pdf]

Bedrock Linux: Mix and match components from different distros

Chrome Evolution

Steward – A Command Launcher for Chrome

Lie-to-Children

Do We Need Specificity in CSS? (2015)

The terrorist inside my husband's brain (2016)

Morphine WebExtension – Regulated Distraction

The English Wikipedia has reached 6M articles

Six works of Computer Science-Fiction (2015)

On proof and progress in mathematics (1994) [pdf]