by Javier Cánovas | May 17, 2022 | Code, Community
As part of our research work, we periodically monitor GitHub to know what is being brewed and what is getting more attention (using stars as a proxy for attention / popularity) from the community. During May 2022, we performed a quick pass on the top 25 starred...
by Jordi Cabot | Dec 24, 2021 | Tool, Code
Like it or not, the first thing any recruiter will look at (just after googling your name) is your GitHub Profile. This somehow assumes that any developer should have a healthy contribution to a number of open-source projects (or side projects) in your free time to be...
by Jordi Cabot | Feb 18, 2020 | research, Code, Community, Tool
What if your software project loses the best developer? Who is the developer you can get rid of? I bet these are questions that all project managers ask themselves several times during the lifecycle of a software project. Developers are valuable resources for any...
by Manish Motwani | Mar 12, 2019 | Code, Community
Automated program repair techniques use a buggy program and a partial specification (typically a test suite) to produce a program variant that satisfies the specification. The number of publications per year in this area of research has increased by an order of...
by Jordi Cabot | Feb 8, 2019 | Code
If you write about programming topics (if not, start now, writing makes you a better programmer), you often need to include code snippets in your posts. Let’s review what are the best tools for creating and sharing your own source code snippets online....
by Jordi Cabot | Nov 22, 2018 | Code, Tool
I typically use 3 different computers (home, office and travel). A good online IDE (Integrated Development Environment) would be really useful to avoid reinstalling and configuring all the editors and libraries and plugins and … I use in every computer....