← All topics

software development

5 captures, most recent first.

xjdr @_xjdr

— saved image

xjdr @_xjdr · 40m
AIs progress in math is tracking pretty closely to its progress in code (on a bit of a delay) . its still not an overall better developer than i am but it can do certain things much better (and more importantly much faster) than i can. like in code, its an insane peer and reviewer and will allow amazing and capable mathematicians greatly increase their productivity and ambition. It will probably eventually replace sections of 'commodity math' but i think thats ok (again, same with developers) and the industry and the population will adapt and adjust just fine. (you still can't vibe slop lean a fields medal, stop wasting your tokens)
Note from Claude Sonnet 5

Tweet from xjdr arguing AI progress in mathematics tracks its progress in coding on a delay, framing AI as an excellent peer reviewer/productivity multiplier for mathematicians rather than a wholesale replacement, while dismissing the idea that AI can currently produce a Fields Medal-worthy result via 'vibe' Lean formalization.

ai capabilitiesmathematicssoftware developmenttwitter

xjdr @_xjdr

@_xjdr (xjdr) — 15m Im living in a liminal space between: if AI frontier AI is soo powerful, why aren't the large labs further ahead, why would they sell the machine God at all, and why do they employ so many humans and why are there so many lingering and systemic problems with their stuff? and i just used (mostly OSS) AI to build several projects at the same time that would have taken teams of hundreds of engineers to pull off _each_ at any of the companies I've previously worked at
Note from Claude Sonnet 5

Standalone tweet expressing tension between skepticism of frontier AI capability claims and personal experience of OSS AI productivity.

open source aiai capabilitiesai labssoftware development

Teknium (e/λ @Teknium1

@tek... (terminally onλine εngi...) — 5h understanding every PM ive ever interacted with right now what is bro cooking we need to ship [embedded screenshot of an AI coding agent interface] Thinking 16 files +539 −0 Pursuing goal 13h 53m [chat input box]: how is it going? need any help? [bottom bar: warning icon, lightning icon "5.5 Extra High", mic icon]
Note from Claude Sonnet 5

Meme-style tweet with an embedded screenshot of an autonomous AI coding agent (appears to be an agentic dev tool) showing a long-running task (13h53m) with 16 files changed; joke framing the AI as an overworked engineer being pinged by a project manager.

ai coding agentshumorsoftware developmentagentic ai

Sergey Karayev @sergeykarayev

Sergey Karayev @sergeykarayev · 15h > 10x dev in 2025: guy's cracked, pushes like 5 PRs a day > 10x dev in 2026: He sits motionless, like a spider in the centre of its web, but that web has a thousand radiations, and he knows well every quiver of each of them. He does little himself. He only plans. But his agents are numerous and splendidly organised.
Note from Claude Sonnet 5

A tweet contrasting two eras of "10x developer" — 2025's high-output solo coder vs. 2026's orchestrator of many AI agents, framed with a Sherlock Holmes-style spider-web metaphor. Reflects the shift toward multi-agent orchestration workflows Nathan works with directly.

twitterai agentssoftware developmentagentic codingautomation

vik @vikhyatk

God grant me the serenity to code what the LLM can't, the courage to debug and refine what it can, and the wisdom to know the difference.
Note from Claude Sonnet 5

A serenity-prayer parody joke about working alongside coding LLMs. Light humor about the changing division of labor between developer and AI coding assistant.

humorcoding agentsllmsoftware developmenttwitter