Top New Best Ask Show Jobs

edjroot

284 karma · joined June 20, 2017

submissions comments

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

ijcai.org·3 pts·edjroot·

FP to the Max (2018) [video]

youtube.com·2 pts·edjroot·

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

px16.matt.is·2 pts·edjroot·

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

dspace.mit.edu·2 pts·edjroot·

Bedrock Linux: Mix and match components from different distros

bedrocklinux.org·6 pts·edjroot·

Chrome Evolution

dfir.blog·2 pts·edjroot·

Steward – A Command Launcher for Chrome

github.com·2 pts·edjroot·

Lie-to-Children

en.wikipedia.org·4 pts·edjroot·

Do We Need Specificity in CSS? (2015)

philipwalton.com·41 pts·edjroot·

The terrorist inside my husband's brain (2016)

n.neurology.org·3 pts·edjroot·

Morphine WebExtension – Regulated Distraction

github.com·1 pts·edjroot·

The English Wikipedia has reached 6M articles

en.wikipedia.org·9 pts·edjroot·

Six works of Computer Science-Fiction (2015)

blog.fogus.me·371 pts·edjroot·

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

arxiv.org·1 pts·edjroot·

What's Wrong with GNU Make?

conifersystems.com·2 pts·edjroot·

Captain Forever

captainforever.com·2 pts·edjroot·

Make vs. Tup (2016)

gittup.org·35 pts·edjroot·

Carpalx – keyboard layout optimizer

mkweb.bcgsc.ca·1 pts·edjroot·