
Dev Aggarwal
695 posts

Dev Aggarwal
@devxpy
cofounder / cto @ https://t.co/YWSFudL27I




Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

1/ We are sharing additional details regarding our investigation into unauthorized access to GitHub's internal repositories. Yesterday we detected and contained a compromise of an employee device involving a poisoned VS Code extension. We removed the malicious extension version, isolated the endpoint, and began incident response immediately.

I just SSH into @Hetzner_Online $5/mo VPS, you have to try it Make a VPS there or on @digitalocean SSH into it, I use @TermiusHQ Then install npm: apt install npm Then install Claude npm install -g @anthropic-ai/claude-code Then type claude to start it Treat it like a fun hobby server, no important stuff Then ask Claude to secure your server, I have unattended-upgrades (auto upgrade), fail2ban, etc. Ask it to make anything and it will just pick a stack like Python or Node and build stuff for you I wanna try let it write Go and Rust on the server soon cause they are the fastest languages I call it VibeOps!!!



At this rate, we'll discover all the test-taking skills people learn for JEE preparations from "first principles" 😂 What's next? Checking dimensions in physics questions because water can't be joules?


this is where i prompt my agents from




Look, I'm a boomer, and every bone in my body is screaming that this is a bubble, ppl are just using it for performative work, etc., but talking to people with real jobs. I'm fairly certain that we're still going to ramp on token demand by a few orders of magnitude from here. We are nowhere near the peak of deployment. The tricky part is that, even at current subsidised rates, this demand is uneconomical to serve. There's still a lot of disruption to happen below the line in how we go about serving this demand

PyCon US has started! So far I am very disappointed in the first keynote -- it's just a product pitch and the speaker isn't that engaging. Sorry.






