swot
dev
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
swot
-
How long to hear back about academic discount approval?
I have mentioned this in other reddit posts, we use SWOT by JetBrains to make sure the .edu email being used is valid. We also do not accept applications from domains that have been blacklisted by them for fraud. You can find this list here.
- Student Key?
-
You will never avoid rabbit holes
No problem, just apply with an official document here. Also, doesn't need to be a US high school. I can tons of accepted high school domains from other countries in their GitHub repo, for example this random middle/high school from Germany.
- Student E-Mail Domain needed for Research Project
-
Both are good, what would you pick?
JetBrains, as far as I'm aware, just checks the domain of your email against this repository, sends you a verification email to make sure the address is actually real and belongs to you, and doesn't ask any questions behind that. You can do this over and over in perpetuity, even if you're a staff or faculty member rather than a student.
-
Will you pay to use it?
Or some text files on github
- Tell HN: Heroku alternatives with generous free tiers
-
rip atom and fuck microsoft (vs code is kinda nice tbh doe)
https://github.com/JetBrains/swot/tree/master/lib/domains check if your email domain is listed here. Then it also works. (Or just register as Student License and wait if it works)
-
How can I allow to register only university mails?
Actually I found a archive in here that list all the academic domains https://github.com/JetBrains/swot/tree/master/lib/domains
-
How can i verify someone is a student or not for my mobile app?
JetBrains uses this open library to verify email addresses for its own student licenses. I guess that means it's free and somewhat battle-tested.
dev
-
How do people feel about making code edits via web browser
They aren't using code spaces or github.dev I believe. They are actually using "Edit in place" which is adjacent to those options. The first image in this link might help:
-
I found a remote code execution bug in VSCode that can be triggered from untrusted workspaces. Microsoft fixed it but marked it as moderate severity and ineligible under their bug bounty program.
You are mostly right, but the "remote" aspect comes from the fact that https://github.dev/ can open any random repository (e.g. go to this LLVM README file and then hit the "github.dev" in the dropdown menu for edit). Nothing gets downloaded to your computer and happens on the cloud. You are editing a remote repository on a remote computer.
-
Guide for using git or npm without all the fluff?
You should know with great power comes with greater bill. You can use https://github.dev/github/dev, vscode.dev, github1s.com to WRITE and READ source code, but can't compile nor run. If you want to run, you will need Github Codespace which costs money.
-
Contracting an UpWork dev to make me an open source website - they want to build it with Wordpress
Checkout "github.dev" (which is based on vscode.dev)
- New to coding
-
is there a VSCode Web with integrated terminal?
last week i stumbled across vscode.dev and github.dev which are web versions of my beloved editor. Of course there is no terminal available, which made me curious? is ther a way or service that lets you use a linux container to remote into and use vscode on the go?
-
Be ready for failure on stage: introducing the Speaker Buddy System
TIP: If your source code is on GitHub, and you just need to show the source code, you can use github.dev, a lightweight, browser-based editor (based on VSCode) you can access by replacing .com with .dev when typing the repository URL. It even supports some extensions such as the brilliant CodeTour, which is great for showing code in a guided way throughout your session.
-
Valgrind does not work with .py CL arg
I am using codespaces (github.dev) as the IDE.
-
Tell HN: Productivity hack with github.dev and Chrome custom search engine
I can't believe I am just finding out about https://github.dev a vscode interface for any github repo. For example: https://github.dev/expo/expo/
Add a custom search engine in Chrome and you got yourself a quick shortcut to opening any repo in github dev. In the past I would clone repo then open with vs code to monkey around. Now its CMD+L , 'gd expo/expo' to open https://github.dev/expo/expo/
Instructions for adding custom omniBar search shortcuts: https://zapier.com/blog/add-search-engine-to-chrome/
-
What are your use cases for vscode.dev?
Just in case this isn't common knowledge: You can hit the period (.) key while on any github page to launch a vscode in browser (uses https://github.dev/).
What are some alternatives?
vscodium - binary releases of VS Code without MS branding/telemetry/licensing
glab - The GitLab CLI tool. Archived: now officially adopted by GitLab as the official CLI tool and maintained at https://gitlab.com/gitlab-org/cli. See https://github.com/profclems/glab/issues/983
Visual Studio Code - Public documentation for Visual Studio Code
openvscode-server - Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.
fake-git-history - Generate Git commits.
vscode-luna-paint - A raster image editor extension for VS Code
Vim - :star: Vim for Visual Studio Code
Code-Server - VS Code in the browser
vscode-gitlens - Supercharge Git inside VS Code and unlock untapped knowledge within each repository — Visualize code authorship at a glance via Git blame annotations and CodeLens, seamlessly navigate and explore Git repositories, gain valuable insights via rich visualizations and powerful comparison commands, and so much more
flutter-action - Flutter environment for use in GitHub Actions. It works on Linux, Windows, and macOS.
gitwatch - Watch a file or folder and automatically commit changes to a git repo easily.
vscode-webview-ui-toolkit - A component library for building webview-based extensions in Visual Studio Code.