The Discovery of the Celendrical Date Line

The Pontus Plate - A massive and previously unknown tectonic plate that was once one-quarter the size of the Pacific Ocean has been reconstructed

Geologists have discovered the fragments of a microcontinent (Argoland) that must have broken off northwestern Australia in the Late Jurassic (∼160 Ma) and drifted north towards SE Asia

Geologists have found the first direct proof of the largest known mega-flood that ever occurred on earth, ending what is known as the ‘Messinian Salinity Crisis’

How to become a bad theoretical physicist

Birds share food with less fortunate conspecifics - Not only people show sympathy, also birds seem to care about the fate of conspecifics

A lost continent has been found under Europe

A predicate transformer semantics for effects

Did Earlier Thoughts Inspire Grothendieck? (2014)

How to Become a Good Theoretical Physicist

Glycoscientists make human breast milk sugars to better understand their role in a baby's health

Tree Oriented Programming

Xmonad from Coq: Programming a Window Manager with a Proof Assistant (2012)

Csh Programming Considered Harmful (1996)

Announcing: NixOS Security Team

Functional Programming at LumiGuide

How to Become a Good Theoretical Physicist

The Semantics of Version Control - Wouter Swierstra

NixOS 14.12 released

Mathematics of the ISO 8601 calendar

Theory-testing in psychology and physics: a methodological paradox (1967) [pdf]

Division and Modulus for Computer Scientists [PDF]

How to become a Good Theoretical Physicist