New result: GPT for formal theorem proving.
We produced shorter proofs of existing theorems (https://t.co/cXMofcZvwc), and proofs of assertions people hadn't yet written formal proofs for (https://t.co/ise8c3KGIK), which have been merged into the Metamath proof database.
🔥 A Guide to Fundraising – A Megathread 🔥
1. Preparation
2. Outreach
3. Navigating the process
4. Partner meetings + closing
Below you'll find a tweet-sized summary of @mccabe's incredible guest post from last week, with templates, references, and timelines.
👇 Read on 👇
TL;DR (Pt 2):
It is not the usage of short videos that inherently makes TikTok successful, it is the robust explore page that allows for user discovery, as well as the culture of informality the app has developed. Simply copying the format will not replicate the success.
9/9
TL;DR (Pt 1):
Without culture changes, platforms like Instagram and Facebook cannot expect the same user base as TikTok because they serve inherently different functions in the social media space – Instagram being too formal, and Facebook being too old and intimate.
8/9
1/ I became "CEO" at 20. I dropped out of college. I had only interned somewhere prev. Looking back, I couldn't imagine the journey that would occur from writing code all day to scaling to 300 people. I got lucky, I screwed up a lot, & had a lot of help. Here's what I learned...
If the $600/week in unemployment benefits expires as scheduled, it would...
➡️ remove ~$50 billion per month from the US economy
➡️ force unemployed workers to reduce spending
➡️ hurt businesses, thus prompting further layoffs
➡️ result in lower overall GDP
#PIIECharts
Everything we call civilization was invented in the last 500 generations—way too short a time for our bodies and brains to re-optimize. We're a bunch of forest primates in a totally unnatural environment, trying our little best. Someone needs to give our species a hug.