471 karma · joined May 31, 2012
> One thing I haven't been able to figure out is after syncing to Crick, how can I delete a project from there?
We are aware of it, and we do not have a solution yet. We built Crick in a week so we had to cut corners... We focused on the happy path. Things will get better in the future (as we use these tools).
Can you track time with it?
Edit: I added a Gif on the (GitHub) README too: https://github.com/TailorDev/crick.
A long time ago, we asked our intern to develop a time tracker as a CLI, given that we spend most of our time in the terminal and also to give him something fun to do. He designed a great time tracker that we now use daily: Watson (https://github.com/TailorDev/Watson).
Our business involves billing clients per days (7h a day). Watson was our source of truth but sometimes we needed to aggregate reports of different developers. Crick (https://github.com/TailorDev/crick) to the rescue!
These open source tools were part of a much bigger project that never took off. Watson was open source per se but we thought we could maybe create Crick as a paying-product. We conducted interviews and decided not to do that: nobody really needed such a tool. Well. We needed it so we developed it and decided to open source it.
Question: would you have examples of TLA+ specs that are not related to distributed algos (raft, paxos, etc.) or puzzles (die hard, etc.)?
There is no comparison since the idea was not to port the programs to JS or in the browser but rather being able to compile them (with a common setup) and create an API on top of them :)
For instance, I work in a co-working space where other co-workers are either remote or freelance. I chose a co-working space that is not IT-specific, which is even better. So I have sort of colleagues there, we discuss about many things, sometimes about our respective jobs/works, but most of the time about life in general.
Now, just like GitLab, it is a very serious thing and we consider using it instead of relying on a 3rd party. Yet, we are a very small team and cannot dedicate too much time in maintaining/upgrading apps :\