idan

6 ms·

1.
by idan 23d ago
Hello! Idan (from Next) here, and others from the team will drop by the thread if you have questions!
2.
by idan 1mo ago
This post misses the point about what has changed. It's not that coding is or was easy, it's that coding is _more than typing code_. Typing is easy. Coding is hard. LLMs eliminate the typing and aid with all the other parts of wri
3.
by idan 4mo ago
We haven't posted a project page yet on the githubnext site! Maggie's talk ( https://maggieappleton.com/zero-alignment ) is the best reference right now.
4.
by idan 5mo ago
was not expecting a HN crossover with /r/formula1 today, but here we are
5.
by idan 5mo ago
I do work at GitHub. I shared the above as a nuanced "yes and" to the pain that Mitchell is feeling. In the same way that Mastodon didn't replace Twitter even when Twitter went to shit, I don't believe in the various Git
6.
by idan 5mo ago
Correct, sorry I thought this was pretty obvious but in retrospect maybe not. I'm not encouraging Mitchell to stay, I'm saying that my version of his post is about _me_ staying to make a brighter future, and adding my context on w
7.
by idan 5mo ago
Shrug Nothing prevents usage of GH in a decentralized fashion. There's nothing magical about git remotes. Just add some more, figure out a process that works for you, have fun! In reality: when I want to send a letter I don't want
8.
by idan 5mo ago
shrug, I can't fix a lot of things in our reality, but I'd love to leave software development in a better state than when I found it
9.
by idan 5mo ago
derp, haven't touched that in a while. TY!
10.
by idan 5mo ago
Salesforce never understood Heroku. Salesforce's understanding of Heroku, if such an understanding ever existed, was wildly different than what Heroku understood it wanted to be. Benioff's penchant for buying himself a company eve
11.
by idan 5mo ago
Caveat, I'm not a lawyer, I don't speak for the company, yadda yadda It's a product that is _de facto_ present in nearly all developer scenarios. There are scenarios where I personally believe public management is better than
12.
by idan 5mo ago
hah, my cheat here is https://github.com/YOURHANDLE.png Will redirect to an image file whose title is your user ID! :D
13.
by idan 5mo ago
Hi there! Longtime fan and hubber here. It's okay to have emotions. I have similar emotions. I'm GitHub User 22723 which is effectively the same as you (considering there's ~180m GH accounts nowadays) My version of your post
14.
by idan 7mo ago
https://github.github.io/gh-aw/#gallery down the page has a list of concrete applications For examplpe, https://github.github.io/gh-aw/blog/2026-01-13-meet-the-work... has several examples of
15.
by idan 7mo ago
Hello HN! The Agentic Workflows project has been on the githubnext.com website for a while, and we recently moved the documentation and repo over to the `github` org. This is early research out of GitHub Next building on our continuous AI [
16.
by idan 7mo ago
Nope, it uses Copilot CLI under the hood (with your token)
17.
by idan 7mo ago
Any github pages site is, by default, ORGNAME.github.io. We recently moved this out of the githubnext org to the github org, but short of dedicating some route in github.com/whatever, github.github.io is the domain for pages from the g
18.
by idan 8mo ago
Also espressif RISC V mcu's like the ESP32-C3 and -C6 are fantastic. Some Nordic MCUs are easy too, specifically nrf52840. Have fun!
19.
by idan 1y ago
This has all the energy of people saying "ah, you take such great photos, you must have a good camera" _People_ are getting outsized value from AI in the ways they apply it. Photographs come from the photographer, not the camera.
20.
by idan 2y ago
That hasn't been our experience using it in-house! It's not perfect, but not every software engineering task is some galaxy-brain architectural shit. Sometimes, you have to lay down some bricks. And sometimes, to lay down bricks,
21.
by idan 2y ago
GitHub Stars have had access to this since last week, and a few of them have made in-use videos: - https://www.youtube.com/watch?v=FARf9emEPjI by Dev Leonardo - https://www.youtube.com/watch?v=XItuTFn4PWU b
22.
by idan 2y ago
You have succeeded at hiring an electrician in THIS world? What's their number? Do they actually show up when they say they will?!?!?!!1!one
23.
by idan 2y ago
I'm sure we'll share some of the strategies we used here in upcoming talks. It's, uh, "nontrivial". And it's not just "what text do you stick in the prompt".
24.
by idan 2y ago
When video terminals first came out, everyone started out using line editors even though line editors make no sense when you can display arbitrary buffer. It took a while until editors changed to be "screen native". But they did c
25.
by idan 2y ago
Bingo.
26.
by idan 2y ago
Well, that's basically the heart of Copilot Workspace! The whole UX is structured to make it easy for the human to steer. - Alter the "current" bullet points in the spec to correct the AI's understanding of the system to
27.
by idan 2y ago
I mean, I don't disagree! The leading coefficient of these tools successfully getting you to/near the goal is all about clearly articulating the domain and the job to be done Ergo, it's pretty important to craft experiences t
28.
by idan 2y ago
I mean we explored that a little with Copilot Voice :D https://githubnext.com/projects/copilot-voice/ But yeah, the important part is capturing your intent, regardless of modality. We're very excited about vi
29.
by idan 2y ago
How many students / people early in career would benefit from having something to help them explore ideas? How many don't have the advantages I had, of a four-year university, with professors and TAs and peers to help me stumble t
30.
by idan 2y ago
Exactly this. When was the last time you wrote assembler?

More ›