15 years ago, we opened Fremont factory Today, the Fremont team is producing all 4 S3XY models, totaling 3.6M vehicles made so far 20k+ California jobs created w/ billions of dollars invested

Tesla Manufacturing Bay Area's manufacturing crown jewel!! It is incredible you could do this so successfully, manufacturing in perhaps the most expensive locality in the US. Our family and friends are appreciative of this and congratulate everyone involved.

Tesla Manufacturing S3XY factory flex: Fremont's 15-year run delivers 3.6M rides, billions poured in. California's EV heartbeat—pulsing stronger.

Elon Musk came up with a pretty incredible idea during the Q3 Earnings Call, that no one is really talking about. His words: “Actually, one of the things I thought, if we've got all these cars that maybe are bored, while they're sort of, if they are bored, we could actually

#ICE #natgas

Prior to 2010, Tesla had considered many locations for its new factory, from as far away as New Mexico to as close as San Jose, even setting plans to retrofit a movie studio in Downey, CA. However, after GM declared bankruptcy, the NUMMI factory was shut down, laying off

Julia nightly channel now points to v1.14.0-DEV. The welcome message changes with new emoji's and colored output! 🙃🎈 #JuliaLang #JuliaLanguage

Connectome suggests brain’s synaptic weights follow heavy-tailed distributions, yet most analyses of RNNs assume Gaussian connectivity.  🧵⬇️ Our Allen Institute #NeurIPS2025 paper shows heavy-tailed weights can strongly affect dynamics, trade off robustness + attractor

Happy Gas Withdrawal Season to all who celebrate. 🎉🥳🎊

TheNatural That’s literally all gas trading is though 😅

#A100 #GPU 80GB $1.71/hr (metered per-second). Start in CoCalc, then work directly on the server (no proxy). 1-click JupyterLab, VS Code, X11. File Sync, Persistent Disk, TimeTravel, remote kernels. doc.cocalc.com/compute_server…

Demand is way more elastic than people think. We don’t see it because utilities don’t offer cost reflective pricing, so people build in ways that optimize for the wrong price signals. This has been a massive issue for far longer than we’ve had cheap solar. We’ve had the

RIP Monte Carlo Google DeepMind releases the code for Conformal Monte Carlo. #conformalprediction

#RTXA6000 #GPU 48GB 10,752 CUDA cores $0.65/hr (metered per-second). Start in CoCalc, run directly on the server (no proxy). 1-click VS Code, JupyterLab, X11. File Sync, Persistent Disk, TimeTravel, remote kernels. doc.cocalc.com/compute_server…

4/7 - Why this sector, and why now? Prediction market volumes grew nearly 4x to roughly US$64bn in 2025. Kalshi was recently valued at US$11bn. The Intercontinental Exchange invested US$2bn into Polymarket This sector has moved firmly into the financial mainstream.

Yesterday, John Morgan and I completed our “Covering Spaces Project”, whose goal was to formally (in Lean Lean, of course) prove the Fundamental Theorem of Algebra (that polynomials have complex roots) using only continuity: covering spaces, trivializations, and winding

The Edison Electric Institute works for utility shareholders, not utility ratepayers. That's why FERC should revive its dormant proceeding about utility trade association dues and ensure that utility shareholders pay for EEI, not the public.

It all sounds theoretical I know... but if it were true, what would you expect? A draining of assets/resources? Oh. What are we exporting? Technology? Culture? Oh, raw materials. Banana republic.

Today, at the DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf