evangineer 的提交内容

Geek is an experimental, compositional typestate oriented language

Pyjon: A Joo compiler

Qualcomm roadmap detailed: Quad Core CPU and GPU chipsets coming later this year

Static Checking of Dynamically-Varying Security Policies in Database Apps

Ur: Statically-Typed Metaprogramming with Type-Level Record Computation

Nvidia's quad-core Kal-El demos next-gen mobile graphics, blow minds (w/ video)

ASUS announces the Padfone