Engineer💻| MBA, MSc., BSc. (Comp Engnr)| |Aviation|Space geek🔭 |Formula One|Anti-Communist
Marietta, GA
Joined April 2009
- Tweets28.2K
- Following5.8K
- Followers918
- Likes23.4K
Aviation Dean retweeted
Temporary Flight Restrictions for Flight 15 on Friday and the potential catch of Ship 42 on Saturday have been published
notams.aim.faa.gov/notamSear…
Aviation Dean retweeted
BREAKING: The S&P 500 surges above 7,600 as dip buyers continue to rotate back into technology stocks.
We are now 3% away from a new record high.
It’s heading to $300
BREAKING: Nvidia, $NVDA, surges over +6% as investors buy the dip in the stock amid the Jensen Huang situation.
The stock has now erased yesterday’s decline.
Aviation Dean retweeted
ANTHROPIC TARGETS $1.4 TRILLION VALUATION IN RECORD AI IPO
Yorkville's Dan Ives expects strong institutional demand for Anthropic ($ANT), which is seeking to raise up to $90.4 billion.
The company is marketing 825M shares at $70–$78, targeting a $1.25T–$1.4T valuation and up to $64.35B in IPO proceeds.
A separate $26B private placement brings in Google, Nvidia, AMD, Broadcom, Micron, Microsoft and TSMC.
Anthropic reported nearly $17B in Q3 revenue, up from $1.4B a year earlier, but swung to a $567M operating loss amid soaring compute costs.
The company also disclosed $895B in commitments, mostly for computing infrastructure.
Ives sees the IPO as a major test of AI valuations, with pricing expected during the week of November 16.
Aviation Dean retweeted
JUST IN: Morgan Stanley keeps Nvidia as its TOP PICK despite the AI infrastructure selloff.
Their target: $300, implying 61% upside.
They also see 72% upside in Broadcom, 74% in Micron, and 110% in SanDisk.
Aviation Dean retweeted
$AMZN just unveiled a $250 Ring drone that autonomously maps your home, navigates around obstacles and investigates triggered alarms.
And I think thiss where physical AI gets really interesting because affordable, purpose-built robots could reach millions of households long before humanoids become mainstream.
Aviation Dean retweeted
Sundar Pichai: In three years, today's AI will look as primitive as a flip phone. The progress we're about to see will surprise people.”
“We are in that rare moment in technology. The curve is so steep.”
“People will look back three years from now and say, ‘You mean you couldn't do those things?’”
“We are all laying the foundation for agents, but agents will be very common.”
“People will be relying on them to get things done in a more seamless way.”
“Any content can go from any modality to any modality. We've shown hints of it with Nano Banana, Veo, and Omni.”
“It doesn't matter how the content was originally created. People can consume it in many different forms.”
Aviation Dean retweeted
Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth.
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
deepmind.google/blog/formal-…
For those waiting on the AI "bubble" to burst, you shall be waiting for eternity.
Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth.
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
deepmind.google/blog/formal-…
1
93
Aviation Dean retweeted
GUINNESS WORLD RECORD Confirmed! AIRBUS A350-1000ULR COMPLETES HISTORY-MAKING 24-HOUR-24-MINUTE FLIGHT
Airbus has officially confirmed that its A350-1000ULR (Ultra-Long Range), developed for Qantas Airways under Project Sunrise, has secured a Guinness World Record for the longest flight by distance by a commercial airliner.
The specially modified aircraft completed an extraordinary nonstop journey from Melbourne, Australia, to Toulouse, France, covering an astonishing 12,503 nautical miles (23,155 kilometers) in just 24 hours and 24 minutes.
The record-setting flight operated under Airbus test-flight callsign AIB35LR.
The aircraft departed Melbourne at 17:27 local time on July 27, 2026, before arriving in Toulouse at 09:51 local time on July 28.
The achievement was officially announced by Airbus CEO Lars Wagner on November 9, 2026.
THREE CONTINENTS. TWO OCEANS. TWO SUNRISES. TWO SUNSETS.
The remarkable flight crossed Australia, North America and Europe, traversing both the Pacific and Atlantic oceans.
During the journey, the crew witnessed two sunsets and two sunrises, an extraordinary experience made possible by remaining airborne for more than 24 hours.
There were 13 people onboard, including Airbus test pilots and engineers, two Qantas pilots, Airbus design engineers and an FAI representative.
THE TECHNOLOGY BEHIND THE RECORD
The A350-1000ULR features an additional rear center fuel tank (RCT), with approximately 20,900 liters of additional fuel capacity.
This modification increases the aircraft's range by approximately 1,000 nautical miles compared with the standard A350-1000.
Powered by two Rolls-Royce Trent XWB-97 engines, the aircraft is being developed to make Qantas Project Sunrise's ambitious nonstop Sydney–London and Sydney–New York operations possible.
✈️ PROJECT SUNRISE: THE NEXT FRONTIER
Qantas has ordered 12 A350-1000ULR aircraft for Project Sunrise, which aims to introduce nonstop services connecting Australia's east coast directly with London and New York.
The first aircraft is scheduled for delivery in April 2027, with commercial operations planned to begin later that year.
The program represents one of the most ambitious developments in modern long-haul aviation, targeting journeys of up to approximately 22 hours without intermediate stops.
A HISTORIC ACHIEVEMENT FOR AIRBUS, QANTAS AND ROLLS-ROYCE
Congratulations to the Airbus teams, Qantas, Rolls-Royce and all the partners involved in pushing the boundaries of commercial aviation.
This record is more than an extraordinary distance or flight duration. It demonstrates the engineering, fuel-management capabilities, operational planning and human endurance required to make the next generation of ultra-long-haul air travel possible.
#A3501000ULR #ProjectSunrise #RollsRoyce #GuinnessWorldRecords #UltraLongHaul #AviationHistory #AviationTechnology #CommercialAviation
Pinnacle of engineering A350-1000ULR
It’s official! @Airbus’ A350-1000 now holds the Guinness World Record for longest flight by distance by a commercial airliner. We’re proud to have helped validate the record-breaking flight. flightradar24.com/blog/aircr…
1
1
120
Aviation Dean retweeted
It’s official! @Airbus’ A350-1000 now holds the Guinness World Record for longest flight by distance by a commercial airliner. We’re proud to have helped validate the record-breaking flight. flightradar24.com/blog/aircr…
Aviation Dean retweeted
Introducing Claude Fable 5.2 and Claude Mythos 5.2, designed to tackle the most daunting technical challenges.
They’re capable collaborators on ambitious projects in many fields, and show improvements in areas like coding, reasoning, and vision.
Put Bukele on the job, he gets results, ai am not joking it’s time we import special forces to enforce laws if the state drags its feet.
Well-known attorney Gordon Brown says armed gang members from outside the community are thwarting his six-year-long effort to curb squatting on sections of 167 acres of land he owns in Flamingo Beach, Trelawny. Even a private security firm, he said, has refused the job of protecting the property from being further overrun.
jamaicaobserver.com/2026/11/…
1
153
Aviation Dean retweeted
“我个人不认为，人类有任何一项智力能力，是AI无法复制的。”
说这话的是尹希：12岁进中科大少年班，31岁成为哈佛史上最年轻的华人正教授，斯隆奖、物理学新视野奖得主，弦理论明星学者。今年5月加入OpenAI，五个月后，宣布离开。
他这半年的判断：
· AI让他的科研编程效率提升至少100倍
· 十年才能写完的代码，几周完成
· 论文体系像杂乱的集市，不像有序的大厦
· AI开始给他提出从未想过的猜想
Today is my last day at OpenAI. It’s been an awesome ride, but I’m getting off a little early to pursue a new direction. I feel fortunate to have worked alongside some of the most incredible people I know. I’m especially grateful to @ALupsasca and Boris Alexeev for helping me navigate my first corporate job, and to @danintheory for his constant support. I’ll be rooting for you all!
Aviation Dean retweeted
Another major AI research breakthrough: Physical Superintelligence says its research system used a non-public Anthropic model to prove the Aaronson-Ambainis conjecture, a central problem in quantum computing that had remained open since 2008.
The result helps explain when quantum computers can achieve an exponential advantage over classical computers. PSI says the system found a complete proof on its third day, and the final version was checked with Lean.
Today Physical Superintelligence PBC is announcing a proof of the Aaronson-Ambainis conjecture, one of the central open problems in quantum complexity, with major implications for quantum computing speedup.
psi.inc/research/aaronson-am…
Thread 👇
