⁠Alex Bilzerian
Gregory Chaitin has argued that some mathematical facts may be true for no reason ("true by accident"), and that experimental methods might be necessary to discover and explore mathematical truths that cannot be proved through traditional axiomatic systems.

Thought-provoking:

There is a catch

It turns out that mathematics, too, is generally an empirical science like physics

Because Gödel showed there is no single formal axiomatic system for proving all true theorems

Hence why people like Chaitin and Wolfram advocate for experimental mathematics - Trishank Karthik Kuppusamy
tweet

⁠Librarian Capital
RT @GZuckerman: Stanley Druckenmiller at Grant’s conference: “Bipartisan fiscal recklessness is on the horizon.”
He’s short bonds; equivalent of 15-20% of his portfolio.
“George would be embarrassed of me” for not making it a bigger bet.
tweet

⁠Alex Bilzerian
RT @trishankkarthik: @alexbilz The argument is that we have been somewhat lucky with the kind of mathematics we have been able to uncover so far, because we humans have largely stuck with pockets of computational reducibility, and the kind of mathematics that appeal to us
tweet

⁠Dimitry Nakhla | Babylon Capital®
RT @DimitryNakhla: 7 Quality Stocks Double-Digit CAGR* Potential Assuming <10-year mean p/e | ltm roic 💵

1️⃣ alphabet $goog $googl
•10-year mean: 23x
•cagr assuming 21x: 11.79%
•ltm roic: 30%

2️⃣ visa $v
•10-year mean: 28x
•cagr assuming 27x: 11.66%
•ltm roic: 35%

3️⃣ amazon $amzn
•10-year mean p/ocf: 24x
•cagr assuming 16x: 16.85%
•ltm roic: 14%

4️⃣ monster beverage $mnst
•10-year mean: 33x
•cagr assuming 30x: 10.51%
•ltm roic: 31%

5️⃣ asml holding $asml
•10-year mean: 31x
•cagr assuming 28x: 12.09%
•ltm roic: 40%

6️⃣ paypal $pypl
•all-time mean: 29x
•cagr assuming 20x: 15.62%
•ltm roic: 16%

7️⃣ alibaba $baba
•10-year mean: 22x
•cagr assuming 14x: 18.17%
•ltm roic: 10%

#stocks #investing

*cagr potential using estimates for fiscal year (fy) ending 2026
tweet

⁠Alex Bilzerian
'The Volatility of Low Rates' - @RDouady (2013, PDF):
https://t.co/uYzm106fOT

@digvijoy_c @nntaleb @alexbilz @EGHaug @RDouady had an interesting paper on the same https://t.co/BkMxnJEpHL - himanshu mahajan
tweet

⁠Alex Bilzerian
RT @DrBrianKeating: Of course your physics is absurd.

The question is whether it’s absurd enough.
tweet

⁠Stock Analysis Compilation
Madison Funds on Teledyne Technologies $TDY US

Thesis: Teledyne Technologies, with leadership in digital imaging and strong relationships, offers a unique value opportunity, positioned to benefit from a temporary slowdown in sales

(Extract from their Q2 letter) https://t.co/cO5MnZyt0I
tweet

⁠Alex Bilzerian
There are other fields also experiencing significant advancements, like computer science and medicine.

I used Lean to formalize a mathematical proof and was feeling a bit bullish.

Mathematics may be the only field left untainted by decline & mediocrity. - Alex Bilzerian
tweet

⁠Value Spotlight (Andrew Sather)
RT @ValueSpotlight: How to Deal with Lumpy ROIC (Tutorial) - Simple Solutions

$PFE https://t.co/fM5BDMOtMc
tweet

⁠Alex Bilzerian
This needs more nuance.

Mathematical proofs, if correct, establish truths with absolute certainty. Once proven, a mathematical theorem is eternally true.

Physical theories are always provisional and subject to revision based on new empirical data. - Alex Bilzerian
tweet

⁠Librarian Capital
RT @DougJBalloon: Immigrants are flooding across our border and weakening our country. Many are drug addicts, who father out-of-wedlock children, refuse to pay their bills, and show more loyalty to our foreign adversaries than they do to the United States.

by Elon Musk
tweet

⁠Alex Bilzerian
Lean supports two main styles of writing proofs:

—Term-style: Directly constructing the proof term
—Tactic-style: Using tactics to build the proof incrementally

I've only had success with the tactic-style approach as it allows working on goals one step at a time.

Lean is an open-source proof assistant & functional programming language based on the calculus of constructions with inductive types:
https://t.co/Wqev4H2cdm - Alex Bilzerian
tweet

⁠Quiver Quantitative
Look at this...

We reported on purchases of Raytheon stock by a member of the Senate Armed Services Committee last year.

It has now risen 76% since then.

It's up 3% today. https://t.co/DXcO4EL339
tweet

⁠Investing visuals
NVIDIA $NVDA is down nearly 5% in a red market today. Are you buying at its current price?

Here’s the company at a glance👇 https://t.co/r51WlONUER
tweet

⁠Alex Bilzerian
RT @alexbilz: The real risk in the market today is not in the volatility, but in the volatility of volatility (vol of vol). Investors are getting paid for the instability in the volatility rather than the volatility itself.
tweet

⁠Alex Bilzerian
RT @mikeharrisNY: I'm really worried about some people who still talk about macro on a day of major geopolitical escalation. There will be time for that, we all hope, when things cool down.
tweet