J. R. Haigh
I'm concerned that projects that are not licensed under a patent-safe licence are vulnerable to submarine patents and may not actually be libre. As such, most of my recommendations are licensed under the GNU AGPLv3, GNU GPLv3, GNU LGPLv3, or Apache 2.0.
I'm a keen supporter of copyleft licences, especially the GNU AGPLv3 and GNU GPLv3, as they offer the best protections against vendor lock-in and corporate monopolisation. I believe that opponents of copyleft have either deeply-flawed reasoning or intent that is not benevolent – if protection of freedom is a violation of freedom then we need to rephrase the definition, not remove the protection!!!
2.1. Declarative programming
2.2.1. Android applications
3. Help sought
Do you agree with copyleft?
Are you able to write a sophisticated application in Haskell and get it working on multiple architectures?
- Are you able to rigorously prove correctness and other properties?
- Are you able to rigorously prove that a translation of source code is correct?
- Are you able to mix languages to allow incremental translation?
- Do you want to bring Haskell to a wider audience, beyond academia and industry?
- Can you use Haskell to rigorously programme a microprocessor?
- Can you teach me to competently teach rigorous programming at code clubs?
Do you by any chance live within a 2-hour train journey of Shrewsbury?
In order of preference:
I live in Shrewsbury, Shropshire, Britain; I go to various monthly meetings as far as Birmingham and Manchester, mainly relating to technological freedom and sustainability; I go to FOSDEM in Brussels every January since 2014; I go to Haskell Exchange in London every October since 2015.
email@example.com Currently I need help with my email software.
JRHaigh registered on Freenode and OFTC. Currently I need help with my IRC software.