Stories by rntz

Deconstructing Datalog

Who invented vector clocks?

Ink Traps and Pals

Covid vaccine passes phase 1 human trial

What is soundness in static analysis? (2017)

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

Are artifacts objects or processes?

Why I am not a fan of Cabal or Stack

Sequent Calculus as a Compiler Intermediate Language [pdf]

What is soundness in static analysis? (2017)

Semilattices and their tensor products

Narrative Neediness

Aphorisms on programming language design

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

Treatment of Migrants Evokes Memories of Europe's Darkest Hour

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

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

Option and Null in Dynamic Languages

Computer program that learns to play classic NES games

Abolishing truancy and unintended consequences