idan

10 ms·

31.
by idan 2y ago
We are indeed thinking about how to do that in a way that feels natural in VS Code. :)
32.
by idan 2y ago
Hello! GitHub Next here, happy to answer questions and unpack how we think about AI tools for developers (spoiler: it's less about codegen and more about helping with the rest of the dev cycle — building an understanding of how the sys
33.
by idan 2y ago
So, part of the trickiness here is that there's a few different moving pieces that have to cooperate for success to happen. There needs to be a great UX to elicit context from the human. For anything larger than trivial tasks, expectin
34.
by idan 2y ago
The opposite, we see these tools as mechsuits to help developers, and particularly newer developers, to do things that they would struggle to do. Power tools did not result in fewer buildings built. I mean I guess some early skyscrapers did
35.
by idan 2y ago
No, it's a webapp, like github.com.
36.
by idan 2y ago
Absolutely. Copilot Workspace might not seem like it, but it's very much our first step towards tools to aid in comprehension and navigation of a codebase. I think a lot of folks have conflated "generative AI" with "writ
37.
by idan 2y ago
Hi All! GitHub Next here, happy to answer questions about Copilot Workspace and Next in general <3
38.
Should I solve it with AI?(tiferet.github.io)
9 points by idan 3y ago|0 comments
39.
by idan 3y ago
It really is super clever! And the crazy part is that it's been possible for a super long time, just nobody thought of the technique. Mad props to Riley Cran and the entire crew at https://lettermatic.com for devising this
40.
by idan 3y ago
Hi! I worked on this at Next. Unfortunately, it's on the editor to support mixing fonts. There's never been multiple compatible monospaced fonts before so no editors really support this yet. Lots of editors also don't suppor
41.
by idan 4y ago
Correct! We know this is a terribly confusing thing. Hopefully by the next big launch we can work out a way to have GitHub Next things not bear the "not owned or operated" thing.
42.
by idan 4y ago
A couple of proofs! next.github.com redirects to the site You can see Blocks and Hey, GitHub! on https://github.com/features/preview Watch Kyle's universe session linked elsewhere in the thread, he's going to
43.
by idan 4y ago
GitHub Next here! Kyle Daigle's "Building with :heart:" session[1] in just under an hour is going to show this off, and we'll be getting people into the thing as quickly as possible! No long waitlist here. https:/&
44.
by idan 4y ago
We're a small team, and we don't have a whole marketing and web team to build stuff for us. They're experiments! Think of this like an 0.1 of an open source project; it's gonna have bugs, it's going to have rough ed
45.
by idan 4y ago
Yes! GitHub Next is a small research lab, formerly known as the Office of the CTO
46.
by idan 4y ago
GitHub Next here! Yes, we are legit. All of our things live outside of dotcom for a variety of reasons; mostly to contain the blast radius in case one of our experiments goes wrong! We also don't want our experiments to share a cookies
47.
by idan 4y ago
We'll be sharing some more about how we conducted this in an upcoming post! But no, the task was actually to write a little engine to process a limited subset of HTTP requests and return a valid response or relevant error.
48.
Quantifying GitHub Copilot’s impact on developer productivity and happiness(github.blog)
115 points by idan 4y ago|138 comments
49.
by idan 4y ago
We're thinking about review experiences! We're developers too, and we're keenly interested in how to make code more reviewable, how to help developers _make_ code more reviewable, and alternative interfaces to the notion of c
50.
by idan 4y ago
Hi there! That's good feedback, and we updated the thing to make it clearer. Thank you!
51.
by idan 4y ago
Yup! When Jason departed, we couldn't be an OCTO without a CTO soooo rebrand! but the mission remains the same. Prototype things to figure out what should be!
52.
by idan 4y ago
Bingo
53.
by idan 4y ago
Used to be that way! But actually for security reasons, it was better for us to operate out of a separate domain. The github.com domain is very locked down for good reason. Also, various boring realities around SSL termination made deployme
54.
by idan 4y ago
Hey! Thanks for the report, we're on it :D
55.
by idan 4y ago
This is totally unaligned with my experience. Yes, the wealthy can afford to find ways to cheat on everything. But all segments of society are dodging taxes. As a middle-class salaried employee, your income is taxed down to the last decimal
56.
by idan 4y ago
Shameless plug for Copilot Labs, which offers arbitrary language-pair translations. https://githubnext.com/projects/copilot-labs/ Warning, Codex is nondeterministic and sometimes nonsensical! Good prompts are hard
57.
GitHub Copilot Labs(next.github.com)
1 points by idan 5y ago|0 comments
58.
by idan 5y ago
It physically hurt to read this story.
59.
GitHub Copilot: Your AI Pair Programmer(copilot.github.com)
82 points by idan 5y ago|18 comments
60.
by idan 5y ago
OK we added the pause/seek controls! Thanks for bringing this to our attention, it's way more accessible this way.

More ›