Josh Baron

2.6K posts

Josh Baron banner
Josh Baron

Josh Baron

@JoshuaWBaron

Former NSC, DARPA, RAND. All opinions are mine alone. Often distributed, rarely succinct.

RTs ≠ endorsements Katılım Nisan 2016
693 Takip Edilen1.8K Takipçiler
Josh Baron
Josh Baron@JoshuaWBaron·
Happy Passover / Chag Pesach Sameach to all who celebrate it
GIF
English
0
0
0
76
Josh Baron
Josh Baron@JoshuaWBaron·
A room in the historic Ellis Island hospital- with the Statue of Liberty reflected in the mirror (highly recommend the Hardhat Tour)
Josh Baron tweet media
English
0
0
1
169
Josh Baron retweetledi
National Cryptologic Museum
National Cryptologic Museum@NatCryptoMuseum·
The Museum is Open! Step into the world of cryptography and discover the Bombe, the legendary WWII code-breaking machine that changed history! The NCM is open Tues-Sat 10am-4pm. More: nsa.gov/museum/
National Cryptologic Museum tweet media
English
0
5
12
1.3K
Josh Baron
Josh Baron@JoshuaWBaron·
As we enter the week of the Super Bowl, I always think of this interview.
Josh Baron tweet media
English
0
2
11
2.5K
Josh Baron retweetledi
Lauren McGaughy
Lauren McGaughy@lmcgaughy·
Fast fashion company Shein, search engine Baidu and more added to list of apps/tech banned for state employees in Texas, after a review by the governor's office. gov.texas.gov/news/post/gove… #txlege
English
1
12
23
8.3K
Josh Baron
Josh Baron@JoshuaWBaron·
Happy eighth night of Channukah!
Josh Baron tweet media
English
0
0
2
212
Josh Baron
Josh Baron@JoshuaWBaron·
Chag Chanukah Sameach!
Josh Baron tweet media
Filipino
0
0
2
216
Josh Baron retweetledi
Department of State
Department of State@StateDept·
As we light the Hanukkah candles, we honor the enduring strength, resilience, and hope of the Jewish people. Especially in light of the terror attack in Australia, we stand in solidarity with Jewish communities worldwide.
English
503
790
5.2K
1.2M
Josh Baron retweetledi
Elmo
Elmo@elmo·
Happy Hanukkah, everybody! Elmo hopes you have a great festival of lights! ❤️
English
247
1K
14K
577.7K
Alex Kontorovich
Alex Kontorovich@AlexKontorovich·
😂 I like it! But Lean wouldn't accept this proof. All it does is "hide" the main idea inside "both n(n+1) and 2k are even". Why is the former even? (For the same reason that the original theorem holds!...)
English
36
12
444
78.9K
Josh Baron retweetledi
Timothy Gowers @wtgowers
Timothy Gowers @wtgowers@wtgowers·
This sort of thing is interesting and nice, but calling it “new theorems” is slightly misleading when we’re talking about improved bounds discovered through a big search.
Wes Roth@WesRoth

AlphaEvolve Just Helped Prove New Theorems in Complexity Theory Google DeepMind's AlphaEvolve just made real breakthroughs in theoretical computer science. Instead of generating full proofs, it discovered new combinatorial structures that plug into existing proof frameworks, leading to verified, publishable theorems in complexity theory. The team improved the inapproximability bound for MAX-4-CUT and found massive Ramanujan graphs never seen before, all with provable correctness.

English
11
60
588
57.3K
Josh Baron
Josh Baron@JoshuaWBaron·
A meaningful fast for those who observe it. G’mar v’chatima tova.
English
0
0
3
181
Josh Baron retweetledi
DARPA
DARPA@DARPA·
🗣📢 Announcing the 2026 Young Faculty Award Research Announcement! This year, we’re soliciting revolutionary proposals across 24 topic areas. For full details, click the YFA 2026 Research Announcement button at ow.ly/rVSn50X4FH2. Executive Summaries due by Oct. 15.
DARPA tweet media
English
49
38
77
14.5K
Josh Baron
Josh Baron@JoshuaWBaron·
Shana Tovah to all who celebrate!
English
0
0
2
278
Josh Baron retweetledi
DARPA
DARPA@DARPA·
The DARPA AI Cyber Challenge was designed to advance cybersecurity technology and ensure that technology is applied to secure the code we all rely on. All seven finalist teams have released their competition cyber reasoning systems open source. archive.aicyberchallenge.com
DARPA tweet media
English
19
92
245
25.6K
Josh Baron retweetledi
Ian Miers
Ian Miers@secparam·
Google announced they will support privacy preserving age verification via zero-knowledge proofs. You prove you have a signed digital copy of a drivers license and it says you are over 18 without revealing anything about you (name, birthdate, etc) blog.google/products/googl…
English
40
146
750
127.3K

Keşfet

@AlexKontorovich @abakus @DARPA @USNavy @USMC @elonmusk @BarackObama @taylorswift13