Building satellites. second-time founder
sf
Joined August 2013
- Tweets4.5K
- Following2.1K
- Followers8.3K
- Likes5.3K
Ok cool but can they actually start curing cancer though
OpenAI just released 722 AI-written math papers. Here are the 4 biggest claims in plain English. None have been confirmed by outside mathematicians yet.
1/ Quasi-Riemann hypothesis. Zeta has no zeros with real part above 7/8. It's not the Riemann hypothesis (that needs 1/2), but nobody had ever cleared a fixed strip before. Has a Lean proof.
github.com/openai/math/blob/…
2/ Unique Games Conjecture. The central open question on which problems computers can't even approximate well. A proof means the best known algorithms for problems like Max-Cut can't be beaten unless P = NP. Has a Lean proof.
github.com/openai/math/blob/…
3/ Hodge conjecture for CM abelian varieties. A special case of a Millennium Prize problem, about which topological features of a shape come from pieces defined by polynomial equations. No Lean proof yet.
github.com/openai/math/blob/…
4/ Free group factors. Open since the 1940s: are the operator algebras built from free groups on 2 and 3 generators the same? Claimed answer: yes, all of them are. Has a Lean proof.
github.com/openai/math/blob/…
If we cover earth with satellites, we can block sunlight from hitting earth and reverse global warming
ken retweeted
This Starlink V3 deployment shot from Starship is real flight footage.
It looks like the render a space startup puts in a pitch deck and gets eye-rolls for.
KENSAT - Separation confirmed!
Believe it or not - all of this has been the culmination of a single person's work (yours truly). Everything from the satellite hardware, firmware, and ground software is the product of an individual.
5 years ago, this would be unheard of. As access to orbit opens up, I expect to see 14 year old kids to be able to pull this off. That's an exciting future I'd want to live in! Hopefully this serves as an inspiration to do what excites you, piques your curiosity, and pushes you to the absolute limit.
Along the way, I had the pleasure of working with the best people in the space - @Exolaunch, @savant_vc and many other individuals (you know who you are!). All love to the people who helped put KENSAT into space.
ken retweeted
Watch Falcon 9 launch the Transporter-18 mission to orbit xitter.cf/i/broadcasts/1RJjpbyQp…
Launch day is tomorrow, watch the broadcast to follow along KENSAT's deployment 12.12pm PT:
xitter.cf/i/broadcasts/1RJjpbyQp…
ken retweeted
SpaceX added ~1% to global internet bandwidth with today's Starship launch.
Readers added context they thought people might want to know
This only increased the global *satellite* capacity by 1%, not the entire world including terrestrial network capacity
x.com/manhattva/stat…
Global internet is 2200 Tbps
Starlink V3 is 1 Tbps
So just 2200 Starlinks can theoretically carry all of Earth's internet traffic
That's 38 Starship launches, assuming 60 V3s per Starship
Read that again - 38 LAUNCHES to replace the internet
About 50 years ago, Emilio Marcos Palma was the first person born in Antarctica.
Seems likely we will see a human born in orbit, moon or Mars in the next 50.
Follow along the deployment of KENSAT with this livestream:
xitter.cf/i/broadcasts/1RJjpbyQp…
Has anyone tried using the hubble network before?
How's the experience like?
Congrats to Alex, Ben, and @hubble_network (YC W22) on their $200M Series C at a $1.6B valuation!
Hubble's satellite network lets any Bluetooth device connect directly to orbit with just a software update.
Cellular covers about 15% of Earth's landmass, and tracking anything beyond that has meant satellite hardware costing $25 or more per device. Hubble brings connectivity under 50 cents per device, which changes the math for billions of pallets, shipping containers, water pumps, and farm equipment that were never worth connecting before.