Four short links: 15 August 2016
Code that Codes, Learn Don't Tell, Traffic Security, and Simulating Taxation
- ExCAPE — In the proposed paradigm, a programmer can express insights through a variety of forms such as incomplete programs, example behaviors, and high-level requirements, and the synthesis tool generates the implementation relying on powerful analysis algorithms and programmer collaboration. “Programs that write programs are the happiest programs in the world.” — Andrew Hume. Software making software is the logical end-game. (via ADT)
- CartPole — OpenAI’s gym version of a classic better-if-learned-than-told programming problem. For more, see Mat Kelcey.
- Traffic Camera Security — To summarize, we discovered three major weaknesses in the road agency’s traffic infrastructure deployment: 1. The network is accessible to attackers due to the lack of encryption. 2. Devices on the network lack secure authentication due to the use of default usernames and passwords. 3. The traffic controller is vulnerable to known exploits. … which they went on to exploit.
- OpenFisca — an open micro-simulator of the tax-benefit system. It allows users to calculate many social benefits and taxes paid by households and to simulate the impact of reforms on their budget. Models and interactive-simulations are the best ways to learn about dynamic systems.