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
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.
tweet
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 tweet
twitter.com
undefined
undefined
Offshore
Photo
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
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
Offshore
Photo
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
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 @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
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
Offshore
Photo
Quiver Quantitative
🇺🇸 Senator Rick Scott has made $500K in the stock market today, per our estimates.
One of the only politicians who has made money today, with the market down big.
Track their portfolios live on Quiver: https://t.co/Hm8Dez9wlq
tweet
🇺🇸 Senator Rick Scott has made $500K in the stock market today, per our estimates.
One of the only politicians who has made money today, with the market down big.
Track their portfolios live on Quiver: https://t.co/Hm8Dez9wlq
tweet
Offshore
Photo
Alex Bilzerian
RT @DiracGhost: 'Quantum field theory for the gifted amateur', a book aimed at self learners, amateurs and non physicists who have decided to understand QFT on their own, a challenging task to say the least.
Lots of detailed examples, diagrams and great explanations within these pages. https://t.co/kl5bUB0Hy2
tweet
RT @DiracGhost: 'Quantum field theory for the gifted amateur', a book aimed at self learners, amateurs and non physicists who have decided to understand QFT on their own, a challenging task to say the least.
Lots of detailed examples, diagrams and great explanations within these pages. https://t.co/kl5bUB0Hy2
tweet
Offshore
Photo
Stock Analysis Compilation
River Oaks Capital on Fitlife Brands $FTLF US
Thesis: Fitlife Brands, led by a visionary CEO, is turning around acquisitions like MusclePharm and Mimi’s, generating strong cash flow and positioning itself for further growth
(Extract from their Q2 letter) https://t.co/RB3BKoSZ0k
tweet
River Oaks Capital on Fitlife Brands $FTLF US
Thesis: Fitlife Brands, led by a visionary CEO, is turning around acquisitions like MusclePharm and Mimi’s, generating strong cash flow and positioning itself for further growth
(Extract from their Q2 letter) https://t.co/RB3BKoSZ0k
tweet
Alex Bilzerian
RT @Golovanov_ammoc: Choosing 'Principle of Mathematical Analysis by WALTER RUDIN' as a textbook to learn analysis is always a disaster. This book alone is responsible for instilling fear and distaste for analysis in UG students. Terence Tao analysis I & II are better, and Georgi Shilov is the best.
tweet
RT @Golovanov_ammoc: Choosing 'Principle of Mathematical Analysis by WALTER RUDIN' as a textbook to learn analysis is always a disaster. This book alone is responsible for instilling fear and distaste for analysis in UG students. Terence Tao analysis I & II are better, and Georgi Shilov is the best.
tweet
Offshore
Photo
Alex Bilzerian
Figures are rarely seen in Bourbaki texts. https://t.co/qe7KDuEGxO
tweet
Figures are rarely seen in Bourbaki texts. https://t.co/qe7KDuEGxO
'General Topology: Chapters 1–4' - Nicolas Bourbaki (1995, PDF): https://t.co/9yzj7OgvRX https://t.co/82ytYgYoF9 tweet