Submissions by Peteris

Temporal logic programming with Clojure core.logic

Next steps for Yahoo

Basic Program Induction in Haskell

Logic Programming talk from #HNLondon

Logic Programming slides from #HNLondon

Oxford U: MSc in Mathematics and the Foundations of Computer Science

Lolcommits - Takes a snapshot with your Mac's webcam every time you commit code

National Novel Writing Month

MapReduce — a two-page explanation for laymen

Solving chicken and egg via bootstrapping

Microsoft Research prove Feit-Thompson Theorem in Coq after 6 years

Factorization diagrams in Haskell

Probabilistic programming in 30 lines of Prolog

Learn Haskell Fast and Hard

Robert Gottlieb on Editing at Knopf Versus The New Yorker

How Bloomberg does interviews

Big Data. New Physics.

"MapReduce is Good Enough" by Twitter scientist