Nim Programming Language

Nim Programming Language
Why should I be excited? Nim is the only language that leverages automated proof technology to perform a disjoint check for your parallel code. Working on disjoint data means no locking is required and yet data races are impossible: parallel: var i = 0 while i <= a.high: spawn f(a[i]) spawn ...

great performance!

 

What is special about Nim? · HookRace – a Nim blog for now
What is special about Nim? 2015-01-01. The Nim programming language is exciting. While the official tutorial is great, it slowly introduces you to the language. Instead I want to quickly show what you can do with Nim that would be more difficult or impossible in other languages.

mnot’s blog: HTTP/2 is Done

mnot’s blog: HTTP/2 is Done
The IESG has formally approved the HTTP/2 and HPACK specifications, and they’re on their way to the RFC Editor, where they’ll soon be assigned RFC numbers, go through some editorial processes, and be published. We should have an official entry…