Top New Best Ask Show Jobs

rntz

2,169 karma · joined May 25, 2009

www.rntz.net email: http://www.google.com/recaptcha/mailhide/d?k=018XOhLYKe9NqLdmoSmt6HsQ==&c=mcxnT-9mQPQEL6wailXqNUHk3aPs4Jv1T3vTJsNNAkg=

submissions comments

Evaluation order and nontermination in query languages

rntz.net·1 pts·rntz·

Deconstructing Datalog

rntz.net·18 pts·rntz·

Who invented vector clocks?

decomposition.al·125 pts·rntz·

Ink Traps and Pals (2021)

tosche.net·3 pts·rntz·

Covid vaccine passes phase 1 human trial

thelancet.com·47 pts·rntz·

What is soundness in static analysis? (2017)

pl-enthusiast.net·34 pts·rntz·

Computing, Climate Change and All Our Relationships (video with Transcript)

deconstructconf.com·2 pts·rntz·

Are artifacts objects or processes?

rntz.net·1 pts·rntz·

Why I am not a fan of Cabal or Stack

rntz.net·3 pts·rntz·

Sequent Calculus as a Compiler Intermediate Language [pdf]

microsoft.com·3 pts·rntz·

What is soundness in static analysis? (2017)

pl-enthusiast.net·1 pts·rntz·

Semilattices and their tensor products

rntz.net·2 pts·rntz·

Narrative Neediness

hapgood.us·2 pts·rntz·

Aphorisms on programming language design

rntz.net·2 pts·rntz·

None, One, Many – What's the Difference, Anyhow? [pdf]

drops.dagstuhl.de·6 pts·rntz·

Treatment of Migrants Evokes Memories of Europe's Darkest Hour

mobile.nytimes.com·2 pts·rntz·

Haptic Turk: A Motion Platform Based on People (2014) [pdf]

xman.tw·5 pts·rntz·

Ken Thompson's Trusting Trust as a tiny self-hosting lisp compiler

github.com·4 pts·rntz·

Option and Null in Dynamic Languages

rntz.net·37 pts·rntz·

Computer program that learns to play classic NES games

youtube.com·2 pts·rntz·

Abolishing truancy and unintended consequences

jseliger.com·3 pts·rntz·

Reason as memetic immune disorder

lesswrong.com·33 pts·rntz·