Estuaries around the world expected to become saltier in the coming decades

Is WhatsApp Being Ditched for Signal in Dutch Higher Education?

In Earth’s mantle there are two huge ‘islands’ with the size of a continent

LLM based agents as Dungeon Masters

Massive volcanic eruptions did not cause the extinction of dinosaurs

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