Links 17-12-09
Dec 9, 2017
2 minute read

General

Examining open source leadership

A year into an open source leadership position at the UK GDS, Anna Shipman shares the successes and winning strategy that has enabled community growth and made open source in government self-sustaining.

Editors

  • Barliman – Barliman is a prototype “smart editor” that performs real-time program synthesis to try to make the programmer’s life a little easier. Barliman has several unusual features: given a set of tests for some function foo, Barliman tries to “guess” how to fill in a partially specified definition of foo to make all of the tests pass; given a set of tests for some function foo, Barliman tries to prove that a partially specified definition of foo is inconsistent with one or more of the tests; given a fully or mostly specified definition of some function foo, Barliman will attempt to prove that a partially specified test is consistent with, or inconsistent with, the definition of foo.

  • Note-taking software - Investigation

  • Joplin is a free, open source note taking and to-do application, which can handle a large number of notes organized into notebooks

Dev

Ops



comments powered by Disqus