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 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....
by Jordi Cabot | Jul 10, 2018 | Code, Process, Tool
I’m looking for a tool able to automatically track the time I spend coding. A plus if it detects also the programming language I’m coding in (even if it’s a simple approach based on looking at the file extension instead of something more accurate...
