robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

reword

Browse source
This commit is contained in:
Hannes Mehnert 2017-09-16 18:44:02 +01:00
parent 21d75f3021
commit 63fe7b0d67
1 changed files with 19 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
About
View file

@ -14,14 +14,12 @@ Robur is a non-profit endeavour that strives to enable more people to run their
infrastructure. Minimising the executable size of services and cutting down infrastructure. Minimising the executable size of services and cutting down
complexity is crucial to help people to understand the technology. complexity is crucial to help people to understand the technology.
Rewards (in terms of shirts, money, stickers, retreat attendance) will be given Rewards (in terms of shirts, money, stickers, hardware, retreats) for
to contributors from the open source community. contributors of the open source community are part of the funding plan.
Academic papers and talks at workshops and technical conferences will be
Experience in developing and deploying the technology itself will be reflected written to document the development and deployment of the technology.
on in academic papers, and talks at workshops and conferences. The annual balance will be opened for the public to satisfy transparency what
donations and funding is used for.
Transparency is another goal of robur, the annual balance will be accessible to
the public.
## Non-profit company ## Non-profit company
@ -29,23 +27,26 @@ Supporters can make charitable donations to robur, which will be used for
further development and maintainence of software and community infrastructure. further development and maintainence of software and community infrastructure.
Partners can contract robur to develop prototypes (see example Partners can contract robur to develop prototypes (see example
[projects](/Projects)). Developed libraries are open sourced if possible, to be [projects](/Projects)). Developed libraries will be open sourced under a
reusable by other interested parties. The application code itself is permissive license, and thus can be used by others. The code for the
exclusively copyrighted by the partner. Terms are negotiable, e.g. application itself will be owned by the partner. Examples include branding,
whether the library code will be exclusively licensed to the partner for some configuration and composition of libraries.
time, influence on the development roadmap, service level
agreements (on-call debugging, running infrastructure). Negotiable terms include time-limited exclusively licenses, service level
agreements (on-call troubleshooting, running infrastructure, updates), early
access on new development, influencing on the development roadmap.
## Team ## Team
### Alfred ### Alfred
Alfred is a hacker. He enjoys to write code since more than 15 years, but also Alfred is a research associate at University of Cambridge. He enjoys to write
travelling and repairing his recumbent bicycle, and being a barista. code, and also travelling and repairing his recumbent bicycle, and being a
barista.
In 2013, Alfred did his PhD in computer science about formal verification of Alfred did his PhD in computer science about formal verification of
imperative code (using a higher-order separation logic and the theorem prover imperative code (using a higher-order separation logic and the theorem prover
Coq). At the moment he is busy with reanimating an executable formal model of Coq). At the moment he is working on an executable formal model of
TCP/IP which can act as a test validator. TCP/IP which can act as a test validator.
Alfred co-authored a TLS implementation from the grounds up in OCaml. Alfred co-authored a TLS implementation from the grounds up in OCaml.
@ -63,4 +64,3 @@ Her Erdős number is 4.
## Contact ## Contact
If you want to get in contact with us, write an email to us AT robur DOT io. If you want to get in contact with us, write an email to us AT robur DOT io.