Lettermatic โ GitHub Next: the inside story of Monaspace, a truly groundbreaking advancement for how we display code. We knew that Lettermatic would go deep, but we were still amazed by their level of knowledge and craft.
See their case study below, and get the fonts at monaspace.githubnext.com
Posts by Idan Gazit
This week on Overcommitted, we talk with Idan Gazit, the head of research at GitHub next. His team created the original GitHub copilot. He shares with us what innovation work actually looks like from the inside.
We're super jazzed to be launching GitHub Agentic Workflows into technical preview today!
"Generative AI" kind of fooled us into thinking that AI is synchronous, but async AI can have so much more value for us as developers. ๐งต
github.blog/ai-and-ml/au...
We've just shipped something fun - Technical Preview of GitHub Agentic Workflows by @githubnext.com
Check out blog post from @dsyme.bsky.social and Peli de Halleux
github.blog/ai-and-ml/au...
Guess this is how the north korean hackers try to recruit? Lol
I have crappy vision. I bump up the text size on my phone to make it easier for me to see. Half of my apps have weird text overflow bugs as a result.
Thanks, I hate it
I bought pumpkin spice Milano cookies and they were not worth it. Mint Milanos remain the GOAT
My latest post is out!
๐ Introduce "Semi-automatic Performance Engineering"
๐ A Grand Challenge for CS
๐งฉ Why it's hard, heterogeneous
โจ Show GitHub Agentic Workflows "Daily Perf Improver"
๐ฎ What's Possible, Potential, and Delusional
๐งน Let's tackle technical debt!
dsyme.net/2025/10/12/t...
The Github Next website: "Github Next investigates the future of software development"
First day of my new life at Github Next! @githubnext.com โจ
I've had my eye on this team for a long time, and it feels like the perfect moment to join them.
GitHub Universe 2025 session 'From promise to practice: The future of agentic collaboration'. Features GitHub Next team discussing how AI agents will transform software development, with speakers Idan Gazit, Russell Horton, Eddie Aftandilian, and Terkel Gjervig.
Going to be at Universe 25? Come see what the Next team has been cooking ๐ณ
The only bit of hilarity in this entire story is that Netanyahu is clearly wearing a face that says "who is this guy with me right now? Something about AI? Take the fucking photo already"
I can't remember someone got publicly canceled like this with such zeal and vigor. Can you? Ever?
What was special this time.
Just skimmed the text of the replies and they're all variations of "OMG Guillermo in a photo with the most evil human on earth" (not even hyperbole).
Netanyahu is a piece of shit but not for the reasons most people think they ought to despise him. What's actually toxic is that he represents Israel
And โ perhaps this was the wrong thing to cancel him for. Instead of eliciting a shrug people were shocked, shocked, he was photographed with the devil.
Nobody canceled Tim Cook, who stood with Trump and gave a whole fucking speech from the Oval. Or any other business leader who pandered.
Anyone who doesn't want to use Vercel could have moved already. I'll believe "will it stick" when it comes to pass. ๐คท
Somehow, this image of Guillermo fawning over Netanyahu (like anyone hopeful of making a sale) ended up being the bogeyman thatโฆ resonated.
the casual way with which people throw the term "genocide" around was insulting a year ago, now it is the standard tiresome reflexive reduction of this conflict.
Netanyahu is a piece of shit AND warfare is not genocide. May you and yours never know war.
Edit: I don't mean _you_ you. I'm tired and angry and sad. But the fact that this logic computes for anyone at all is gobsmacking.
Case in point
"just" Trump was, as you say, not enough.
But as soon as Israel is involved, very different story.
"Gives them permission?" You get that you're like "ah well see now that Israel is involved it's acceptable to be a bigot"
I'm out of this conversation, as it leads to nothing good.
x.com/rauchg/statu...
I didn't see people cancel Vercel then, so it's not like people are applying some consistent set of values. Anything Israel related gets a special, separate yardstick, and I'm tired of watching it go by in my feed and biting my tongue, but I fell off the wagon by accident.
Bibi is an odious liar who would sell his own mother to keep his ass in his seat. Guillermo likes to fawn at people in power, including other odious people like Trump. So do I think it has special meaning that he posted a selfie with Netanyahu? No. It's a means to an end (fame) for him.
Whut? I genuinely don't follow. But you're right, I violated my rule of no politics on bsky, and should have known better
If you didn't think Vercel was icky for being a brofest but you think vercel is icky because Guillermo met Netanyahu, that says more about you buying into the fashion of hating on Israel because it's fashionable to be seen doing so.
a radial gradient shown over a conic gradient of sun rays
a linear gradient shown overtop a radial gradient
a conic gradient on top of another conic gradient
gradient.style has finally
- come out of beta
- offers multiple background editing
- is open source
๐ nerdy.dev/gradient.sty...
1/ ๐ New from Next: Agentic Workflows, a research demonstrator exploring natural-language programming for GitHub Actions.
Itโs one concrete manifestation of what weโre calling โContinuous AI,โ focusing on repo-level automation you can describe in plain English.
๐ github.com/githubnext/gh-aw
The Svelte 5 guide has everything from reactivity and how it works, when to use and avoid effects, events, bindings, components and composition, transitions and animations to using third party libraries and making external systems reactive. ๐ฅ
Type '{ newpareto: { fightingWithTypes: number, ken: number } }' is not assignable to '{ pareto: { effects: 80, causes: 20 } }'.
I mean, from my perch within the org, big shrug. The challenges inside GitHub are very GitHub. The maladies within Microsoft are very different. I'll be worried when we start importing maladies from the mother ship. Otherwise, my primary source of cantankerous cursing is about having to use Azure
Also full credit to @kenthropic.com who wrote the thing I reimplemented here โ it's 90% him and 10% me fighting with typescript
D'aww I contributed that โ thank you, this tweet made my day