Skip to main content

Sphero Indi Is a Tiny Robotic Car That Helps Children Learn Programming

GitHub Announces Cloud-Based IDE 'Codespaces' Based on Visual Studio Code


GitHub Announces Cloud-Based IDE 'Codespaces' Based on Visual Studio Code

By Techtonic group

At its 'Satellite' virtual conference on Wednesday, GitHub announced four new products that it said will help software communities collaborate better online. The most notable one is a full-fledged cloud-based IDE called GitHub Codespaces based on Microsoft's Visual Studio Code. According to Shanku Niyogi, GitHub’s SVP of Product, "Codespaces gives you a fully-featured cloud-hosted dev environment that spins up in seconds, directly within GitHub, so you can start contributing to a project right away".

It is worth noting here that the cloud version of VS Code was itself renamed to Visual Studio Codespaces last week, which suggests that GitHub is now integrating those exact same tools with its service under a very similar name. Of course, GitHub is now owned by Microsoft after a controversial acquisition in 2018, so it is only to be expected that the two will be sharing the same underlying technology for their cloud-based IDE service(s).

Alongside Codespaces, GitHub also announced Discussions, which, as its name suggests, is a discussion forum to talk about anything related to a given project. While GitHub already allowed users to have conversations through issues and pull requests, the new feature is meant to enable unstructured threaded conversations. Discussions is currently in beta testing with a few open source communities, but GitHub says it will available to other projects soon.

Last, but definitely not the least, are a couple of security-centric features called Code Scanning and Secret Scanning. Powered by CodeQL, Code Scanning checks your code for potential security vulnerabilities. As for Secret Scanning, it is a rebranding of the Token Scanning functionality that has been available for all public repositories since 2018. Both features are part of GitHub Advanced Security and are available for free for open-source projects.

Featured Image Courtesy: GitHub

Comments

Popular posts from this blog

Here is the First-Ever Video That Was Posted on YouTube

Here is the First-Ever Video That Was Posted on YouTube By Techtonic group Fifteen years ago, on Valentines' Day of 2005, the domain name "www.youtube.com" went live. The following months saw developments of the website and the first-ever video on the platform was posted on April 23, 2005. The YouTuber who shared the video was none other than one of the founding members, Jawed Karim. The YouTube that we know now is a massive video streaming platform with innumerable audience members. However,  it is fascinating to see from where the platform started its journey . So, in this article, I want to talk about the very first video that was uploaded on the platform, and surprisingly, it still exists. So, the 240p, grainy video, titled "Me at the zoo", shows a 25-year-old Jawed Karim, one of the founders of YouTube, standing in front of a group of elephants at the San Diego Zoo.  The 18-second video went live on April 23, 2005, and it is still there with ove...

How to Remotely Access Your Raspberry Pi from Windows, Mac, Linux, & Chrome OS

  How to Remotely Access Your Raspberry Pi from Windows, Mac, Linux, & Chrome OS We have already written a detailed guide on  how to use a Windows laptop as a monitor for Raspberry Pi , and it requires a wired ethernet connection. However, if you want to remotely access Raspberry Pi from your Windows 10, Mac, or Linux PC, you can do so with Wi-Fi and VNC server. In this article, we also explain the steps to connect to your Raspberry Pi remotely from a Chromebook in detail. Even if you are a beginner, you can follow the instructions and get it running in a few minutes. So without any delay, let’s go through the tutorial. Remotely Access Raspberry Pi From Windows, Mac, Linux & Chromebook (2021) Before establishing a remote connection, you will need to connect Raspberry Pi to your computer through the  wired ethernet medium for a quick one-time setup . This is essential to connect the Raspberry Pi to your Wi-Fi home network. As a result, an IP address will be assigne...

10 Best File Manager Apps for Android You Should Use

  Almost all Android smartphones   ship with a built-in File Manager app   today. However, not all OEM file managers offer the level of features and functionality that come with third-party apps on the Google Play Store. So today, we will tell you about the 10 best third-party file manager apps (often also referred to as file browser or file explorer) for Android. These apps will help you better organize your files and folders on an Android smartphone. Best File Manager Apps for Android (Updated May 2021) The best file manager apps on Android let you browse your files, find your downloads, manage your storage space, and more. There are plenty of file managers on Android, and most of them are free. While some of them offer you premium features for a small charge, others are ad-supported. So without any further delay, let’s check out the best file manager apps on Android. Table Of Contents  Note:  The apps mentioned in this article are meant for Android smartphone...