primodemus 的提交内容

John Baez interviews Eliezer Yudkowsky

My Favorite Liar (2008)

A lesson in basic genetics for dog-owners

First draft of Scheme R7RS small language available

LinearML:a programming language designed to write efficient parallel programs.

Ikarus Scheme: a free optimizing compiler for R6RS Scheme

Great Works in Programming Languages

Shoot-out: most annoying compiler error message

Agora: The Scheme of Object-Orientation

The Three Projections of Doctor Futamura

Keyword and Optional Arguments in PLT Scheme

Innovation and model boundaries

Video tutorials for the Coq proof assistant

Use curiosity

TEDxCaltech / Feynman’s Vision: the Next 50 Years

The Programming Language Zoo

Testing: thoughts on improving it

The Day I Learned To Love Perl