David Aronchick

CEO, Cofounder, Ex: MSFT, K8s, Kubeflow, GOOG, AMZN. 4x founder/CEO. There is many a worse and more elaborate life. He/him

[David Aronchick @aronchick]

yessssssss

(contact me if you need this, @ExpansoIO is made for this :))

[Matt Slotnick @matt_slotnick]

@ericvishria demand for inference will be ~infinite, and it will come in all shapes and sizes

[David Aronchick @aronchick]

Yessssss land value tax for the win (lower other taxes to make it neutral for most people!)

[Reed Schwartz @reedschwartzsf]

New York State just authorized a land value tax that could generate billions of dollars for new transit.

For the @NiskanenCenter, @aarmlovi and I wrote about how the renewal of § 119-r in the FY27 budget could unlock a virtuous cycle of infrastructure delivery in NYC.

[David Aronchick @aronchick]

@adamhjk Reminds me of Carmack writing SOME loops in Assembly. Amazing? Yes! Great for the game? Yes! But the rest of the code needed no such effort.

[David Aronchick @aronchick]

@sam_d_1995 @five_fingered Here for the YIMBY ratio lfgggggggg

[David Aronchick @aronchick]

Shockingly effective government

[Alice @AliceFromQueens]

No one has ever been more right about anything than I was about Mamdani and crime

[David Aronchick @aronchick]

Shockingly efficient government

[constans @constans]

Holy shit: two of the idiotic building code regulations that have bedeviled NYC for decades— mandatory metal piping and too-larger elevators— are marked for reform! I can’t believe this might actually happen!

[David Aronchick @aronchick]

Total speculation, but I bet with the right prompt/loop, the previous version of models would show similar performance. The four minute mile analogy is the right one, now that folks know it can be done, they will be able to do it elsewhere.

[levent @__alpoge__]

over the weekend i checked the obvious thing, which is whether mythos is able to solve the erdos unit distance problem, aka erdos problem #90. the answer is: yea

[David Aronchick @aronchick]

@HammerToe @0x45o There must be a lightweight OS that boots to perform system critical functions and bootstraps the OS?

[David Aronchick @aronchick]

@HammerToe @0x45o Maybe we’re both right?

[David Aronchick @aronchick]

@HammerToe @0x45o I mean it’s possible my Mac doesn’t have it enabled? But that’s shock me as it’s the first thing I do.

I don’t have time to reboot, but will check when I do.

I DO know it connects to WiFi on hard reboot

[David Aronchick @aronchick]

@HammerToe @0x45o And file vault is enabled.

[David Aronchick @aronchick]

@HammerToe @0x45o All I know is that when I go to my machine,on a hard boot, the WiFi is connected and it shows up on my WiFi network before I log in.

[David Aronchick @aronchick]

Lollllll now this is some shade

[Barstool Sports @barstoolsports]

What if I told you this guy was falling to the floor every play?

[David Aronchick @aronchick]

@HammerToe @0x45o Hmmm … I doubt it needs that to connect to network since it’s connected before login.

[David Aronchick @aronchick]

@VincentJCurtis1 @ChrisGloninger Bro you may want to take a look at the people who are funding you. If you think this is bad, wait until you see what the fossil fuel people have done

[David Aronchick @aronchick]

@HammerToe @0x45o My guess is it probably also does a check wit icloud too to see if you changed it

[David Aronchick @aronchick]

@aphysicist @jon_stokes This was an interesting response - https://t.co/hWANuv59ag

[Daniel Litt @littmath]

I regret that comment, which was less polite than I aim to be on here. Let me try to write something a bit more substantial.

I don't think "discover all math that can possibly be discovered" is really coherent. Even if one conceptualizes mathematics as "answering well-posed open problems," historically resolutions to such have tended to raise more questions--I would argue that there are now more interesting open questions than there have been at any time in the past, despite (in fact because of!) the fact that there are more mathematicians than ever, resolving more problems than ever.

At any fixed capability level I think it is likely we will see lots of problems remain open, including many basic open problems we know about at present. It's much easier to pose an interesting question than to answer one; it seems to me that the difficulty of interesting questions we can generate is basically unbounded.

But also mathematics consists of much more than this--less verifiable tasks include things like "understand such-and-such an object," or "find a cool phenomenon," or "develop a theory," though such tasks are often benchmarked by their impact on problem-solving. I think AI will eventually (perhaps soon) be able to do these kinds of things but the idea that it will exhaust the supply of math, or that we won't want to develop human capital to understand some portion of what is discovered, seems to rely on an understanding of math and our motivations for working on it that is, at least, alien to me.

[David Aronchick @aronchick]

@TheStalwart I dunno man - there is SO much slop in search results now. If nothing else the ai is very good at distilling that

[Nicolas Fulghum @nicolasfulghum]

In March, wind and solar reached a new all-time high share in Texas of 45.6%

March 2006: 1.9%
March 2016: 17.5%
March 2026: 45.6% 🏆

Gas (37.9%) recorded its lowest share since April 2022

Coal fell to the second lowest monthly share ever recorded (8.9%)

[Matthew Chapman @fawfulfan]

The urban core generates almost all of a typical U.S. city's tax revenue but most of it goes to fund roads, sewer lines, power lines et al in suburbs.

If suburbs paid for themselves, rather than leaching off the city, I think a lot more people would be live and let live on this.