edjroot on Hacker News

1

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

(ijcai.org)

3edjroot5y ago0

2

FP to the Max (2018) [video] (opens in new tab)

(youtube.com)

2edjroot5y ago0

3

When I Sit Down at My Editor, I Feel Relaxed (2016) (opens in new tab)

(px16.matt.is)

2edjroot5y ago0

4

CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (opens in new tab)

(dspace.mit.edu)

2edjroot5y ago0

5

Bedrock Linux: Mix and match components from different distros (opens in new tab)

(bedrocklinux.org)

6edjroot5y ago0

6

Chrome Evolution (opens in new tab)

(dfir.blog)

2edjroot5y ago0

7

Steward – A Command Launcher for Chrome (opens in new tab)

(github.com)

2edjroot5y ago0

8

Lie-to-Children (opens in new tab)

(en.wikipedia.org)

4edjroot5y ago0

9

Do We Need Specificity in CSS? (2015) (opens in new tab)

(philipwalton.com)

41edjroot5y ago48

10

The terrorist inside my husband's brain (2016) (opens in new tab)

(n.neurology.org)

3edjroot6y ago1

11

Morphine WebExtension – Regulated Distraction (opens in new tab)

(github.com)

1edjroot6y ago0

12

The English Wikipedia has reached 6M articles (opens in new tab)

(en.wikipedia.org)

9edjroot6y ago0

13

Six works of Computer Science-Fiction (2015) (opens in new tab)

(blog.fogus.me)

371edjroot6y ago93

14

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

(arxiv.org)

1edjroot6y ago0

edjroot

Recent submissions

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

FP to the Max (2018) [video] (opens in new tab)

When I Sit Down at My Editor, I Feel Relaxed (2016) (opens in new tab)

CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (opens in new tab)

Bedrock Linux: Mix and match components from different distros (opens in new tab)

Chrome Evolution (opens in new tab)

Steward – A Command Launcher for Chrome (opens in new tab)

Lie-to-Children (opens in new tab)

Do We Need Specificity in CSS? (2015) (opens in new tab)

The terrorist inside my husband's brain (2016) (opens in new tab)

Morphine WebExtension – Regulated Distraction (opens in new tab)

The English Wikipedia has reached 6M articles (opens in new tab)

Six works of Computer Science-Fiction (2015) (opens in new tab)

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

Recent submissions

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

FP to the Max (2018) [video] (opens in new tab)

When I Sit Down at My Editor, I Feel Relaxed (2016) (opens in new tab)

CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (opens in new tab)

Bedrock Linux: Mix and match components from different distros (opens in new tab)

Chrome Evolution (opens in new tab)

Steward – A Command Launcher for Chrome (opens in new tab)

Lie-to-Children (opens in new tab)

Do We Need Specificity in CSS? (2015) (opens in new tab)

The terrorist inside my husband's brain (2016) (opens in new tab)

Morphine WebExtension – Regulated Distraction (opens in new tab)

The English Wikipedia has reached 6M articles (opens in new tab)

Six works of Computer Science-Fiction (2015) (opens in new tab)

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