primodemus 的提交内容

The Piano Test for Program Verification

Disciple: A Strict Dialect of Haskell

Mathematics is a Religion, Let's Unite Under the God of Experimental Mathematics

Unmasking Quantum Computation

The pragmatic engineer versus the scientific designer.

Dijkstra was not insane

Optimal Employment

Factoring Is In BQP

The Best Textbooks on Every Subject

A Brief History of Scala

Stringology—The “Real” String Theory

On Python and Ruby

Predictions: Past And Future

Sasa v0.9.3 Released (Extensions to the .NET framework)

No more "minimal early Lisps", pulleezz