Zimm i48
Software Engineering researcher working on the Coq proof assistant and its ecosystem.
I am deeply involved in the open source community, as a contributor, as a maintainer (and as an author since I publish my own programs as free software). I try to encourage people to do the same and help them understand license meaning and respect other people work.
Also interested in crowdsourcing, and more generally mass collaboration using the Web, open science and open research.
Check out my blog!
-
Paris, France
-
Member for 4 years, 6 months
-
0 profile views
-
Last seen Jul 14 '17 at 12:44
Communities (24)
Top network posts
- 24 How do I upgrade my system to nixos-unstable?
- 18 How to use MIT license in a project?
- 15 As owner of GPL library, can I break the licensing terms?
- 14 Nix desktop files
- 12 How is Coq's parser implemented?
- 11 Why does Elm use the '++' operator to concatenate strings?
- 11 What are the implications of licensing a JavaScript library under GPL?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (6)
Gold
—
Silver
4
Rarest
Bronze
2
Rarest
-
Feb 17 '17
-
Sep 10 '16