Last year, NLnet worked with Fundament Software to create a prototype for Feather UI, an open-source graphical user interface. Moving forward, we have founded the Fundament Research Institute, a non-profit organization, to take over stewardship of Feather UI to ensure transparency and enshrine our dedication towards maintaining Feather as an open-source project for the public good, directed by donations from our community, free from undue corporate influence.
Our prototype also revealed problems with Alicorn, an experimental language being developed alongside Feather. We have run into a few thorny type theory problems, which have made it clear that more mathematical research is necessary before we can effectively integrate effects and coeffects with a dependently typed inference algorithm. This research should be done in the open, as a public good, and to that end, the Fundament Research Institute has also taken over the Alicorn project, and is now accepting donations to fund further research and development, all of which will be done transparently and released without patents or any other restrictions.
All assets have already been permanently transferred to the Fundament Research Institute, which is now accepting donations. We also have a discord server where you can leave feedback or ask about funding details.
Read More