Runtime verification in Erlang by using contracts


New top story on Hacker News: Runtime verification in Erlang by using contracts