Esverify: LiquidHaskell inspired verification for JavaScript

Program Verification for ECMAScript/JavaScript (esverify.org). Alpha: This is still a research prototype and not yet ready for production use. Documentation A detailed documentation of esverify and its theoretical foundations is currently work-in-progress and will be…

The EU Copyright Directive

Defending equal access to the free and open internet is core to Reddit’s ideals, and something that redditors have told us time and again they hold dear too, from the SOPA/PIPA battle to the fight…

Operation Ajax | Bridey Heing

On July 19, 1953, the grandson of Theodore Roosevelt arrived in Tehran. Kermit, or “Kim” as his friends called him, had little of his grandfather’s famed swagger. Photographs of him from the time show a…

SolraBizna/MacLua5.3

This is a "proper" port of Lua 5.3 to the greatest, most modern operating system in the world: Classic MacOS! 68020 or better At least 1MB of memory System 7.1.2 or later CFM-68K Runtime Enabler…