primodemus 的提交内容

Using Prolog in Windows NT Network Configuration

Philip Wadler: Faith, Evolution, and Programming Languages

Koka: function-oriented language with automatic (side) effect inference

Daphne Koller: What we're learning from online education

Overloading Python list comprehension

Don Knuth: The electronic coach

Massive online education: Daphne Koller at TEDGlobal 2012

The Power of Reinforcement

Why programming isn’t for everyone

Is popular music becoming sadder?

Testing the delivery limits of the US Postal Service (2000)

Infer.NET Fun: An F# Library for Probabilistic Programming

Why are software development task estimations regularly off by a factor of 2-3?

Claude Shannon and juggling

How to avoid dying in a car crash

How Many C Programs Are There?

Are Firms Like Trees?

The new Reflections on Trusting Trust

Daniel Kahneman: The Marvels and the Flaws of Intuitive Thinking

C++0x lambdas: simple object orientation a la SICP

F*: A Verifying ML Compiler for Distributed Programming

Transformations as strict groupoids