Coq
βyou could ask your computer, is there a proof of the remon hypothesis...in a machine checkable format like, coaul or lean or some formal verification language like thatβ
What the smart people are recommending. 7789 books, tools, and products endorsed by the thinkers absorb.md tracks. Ranked by how many times each has been recommended across compiled podcasts, papers, posts, and tweets.
βyou could ask your computer, is there a proof of the remon hypothesis...in a machine checkable format like, coaul or lean or some formal verification language like thatβ
βLiveKit on the infra side.β
βI first heard about Bitcoin when I was giving talks about quantum money you know in in 2012 or so...could you have quantum money that anyone could verifyβ
βthis protocol uh you mentioned for generating cryptographically certified random bits using a quantum computer. Uh that was a very good example of of this approachβ
βyou created this um in part created this documentary, The Social Dilemma, which it seems half of humanity saw.β
βthere is um a conjecture or belief called the quantum extended church touring thesis which would say that every physical system can be efficiently simulated by a quantum computerβ
βif you go to the humanmovement.org there will be, you know, action groups and things that people can do there for actually taking action on this that are not just passively sharing news links, but likβ¦β
βEthereum now has mature privacy solutions with uh, railway. Now, privacy pools launched.β
βthe safe smart contracts like the smart contracts have actually been perfect like basically for like since the start, right?β
βThis is exactly the problem we talk about in building a second brain community.β
βthere was like a pretty good bangalist podcast with Ethereum researchers um about some of these kinds of things about a week ago.β
βIt's called the Building a Second Brain Public Notebook on a platform called Notebook LM by Google. Very few of you have seen it, which is why that's what I want to show you today.β
βThis is a UV lamp 222 nanometer light... what it does is it kills the viruses right. So it just passively like basically significantly reduces the chance that people in the room are going to infect eaβ¦β
βthis is why I've been like pushing for social recovery, multiigs, account abstraction, all of this stuff non-stop for the last 10 years.β
βif you're if you're going to spend if you're early in your career that's I don't know there's some things I think ZK biotech things like that haven't had their massive breakout moment yet and ZK was dβ¦β
βplaces like Berlin, like I'm always a big fan of Berlin because I think the local community does a great job of like remembering what crypto is actually there forβ
βobviously you have Zuzulu and all the sons and daughters and grandchildren Zuzulu zoo Thailand zoo Georgia zoo this zoo that... those are all abundance agenda sympathetic peopleβ
βThis is a course on the theory of quantum computing. It consists of 16 lessons, each with a video and written component, covering the basics of quantum information, quantum algorithms...β
βMeet Jirro Ono, the sushi monk who's taken the same pre-dawn path to making the world's best sushi since 1951.β
βHere's John Carmarmac, one of the legendary game engineers behind Doom and Quake, the first shooter games ever. We are our own besting team. And we should never allow anyone else to experience bugs orβ¦β
βI actually built one, uh that I have myself... there is a QR code that you can scan and get the GitHub repo. It's all open source.β
βinfluential publications like her nature paper on the single atom transistor. She even made these really complex scientific ideas accessible to a broader audience through her TEDex talkβ
βShe even made these really complex scientific ideas accessible to a broader audience through her TEDex talk, making it understandable.β
βShe articulates this forward-looking perspective passionately in her lectures like the one at the Lindo Nobel laurate meeting in 2017.β
βGaussian Embeddings: How JEPAs Secretly Learn Your Data Densityβ
βWe hope you've enjoyed this fascinating exploration of Michelle Simmons's immense impact on quantum computing based on Urugo Schnep's insightful essay. If you'd like to explore more about these topicsβ¦β
βAnthropic wrote a great blog post on this that I'd encourage you to check out.β
βI'm going to start with a quote and it's from Warren Buffett in his 2020 shareholder letter to investors and he said, 'In its brief 232 years of existence, there has been no incubator for unleashing hβ¦β
βThis is our latest generation um AI chip. It's our MI355 chip. 185 billion transistors. Takes about 9 months to build.β
β5 hours later, I had 5 [music] hours of footage. I uploaded it to Da Vinci Resolve, which I use for video editing, and it [music] transcribed 3 GB of video into 317 kilobytes of my inner life.β
βIf you want to build a custom life OS, then notion.β
βWe introduce LessIsMore, a training-free sparse attention mechanism for reasoning tasks, which leverages global attention patterns rather than relying on traditional head-specific local optimizations.β
βHe'd redirected it to something which is folding at home, which is I think if you don't know it, you should look it up, but it's how you can allocate compute to helping solve health problems.β
βYou could watch a YouTube video on it. There's some YouTube videos that explain it pretty clearly. Takes a bit of time to understand it.β
βgive it to organizations like OpenSats who has a board where they're the deciders and they're putting the money...that model to me is just like perfectβ
βfollow revolution.social on Apple podcast Spotify YouTube Nostersfountain.fm, or wherever you get your podcast.β
βthe liquidity event that we're hosting, uh, you can go to allin.com/events, has sold out and we've started a wait list.β
βfollow revolution.social on Apple podcast Spotify YouTube Nostersfountain.fm, or wherever you get your podcast.β
βwe also did this company called VAS vast space uh Jed is the founder... they're designing a space station.β
βthere's an incredible bakery where I live uh like out in Dripping Springs, uh called Abby Jane Bakery... the best bakery in all of Austinβ
βa computer scientist named Oded Regv from NYU who published another paper that showed a faster different approach to Shor's algorithm... reduced the number of quantum operations required to factor a lβ¦β
βthey built the LDK, which is a lightning development kit, the Bitcoin development kit. They're up to 10 people right now.β
βShout out the syndicate.com apply to join me in great companies.β
βIf you want more robots here you go: https://x.com/i/lists/1805786050763087967β
βfor people to fully appreciate the power of quantum computers and to accelerate their use in different fields, people should be learning the fundamentals of quantum, even at a young age.β
βPlease subscribe wherever you get podcasts, and if you like our program, share with a friend and consider leaving a review.β
β# Observation of disorder-induced superfluidityβ
βPeter Shor published his algorithm that showed that if we had a quantum computer, we could factor numbers into their primes. We could therefore break codes, break public key encryption systems. And thβ¦β
βa version of the of the IMO gold model is available for Gemini app subscribers. People can actually like put their hands on the modelβ
βwe also announced our partnership with Kaggle to launch Game Arena and have the models have a place to go and play a bunch of different games and test out the capabilities.β
βproject Astra you know our Gemini live uh project about having a universal assistant that can assist you in everyday life maybe exist on your phone or glassesβ
βSystem card: https://www-cdn.anthropic.com/53566bf5440a10affd749724787c8913a2ae0841.pdfβ
βPerplexity, which is actually got a really great co-work competitor called Computer I've been playing with... The model council is like the greatest feature.β
βThe model council is like the greatest feature. You ask it a question, it will go to all three different major models and you can pick which ones including open source. Then it tells you where they diβ¦β
βWe put it into auto research and we doubled the click-through rate. And I was like, to Freeberg's point, this was many man months, tens of people.β
βSign up for the Seaphore Tech newsletter to get all of our content on on technology. It's a free twice a week newsletter.β
βGoogle has announced Google workspace studio to do AI automation and it's online and people are playing with it already. So they have joined the open claw party.β
βI replaced their headphones with over the these brand called shocks or something. It goes over your ear but your ears open so you can listen to an audio book or music and still be able to talk.β
βWhat I do instead is I use Apple's Family Sharing, but it's hard.β
βyou have a multiplatform approach where you build it in uh something like cotlin compos multiplatform um you write most of your code in thatβ
βWe had Jonathan Haidt... He had a very important point which is to try and keep kids off cell phones and social media until they're 16.β
βWe will be discussing all these hard topics at liquidity May 31st through June 3rd.β
βI bought Shener given all the craziness in the Middle East... I checked out a great business. It's a great business really well business.β
βDid you guys see the LP slides that went on the internet from Toma Brava's LP conference? They kind of highlight that within the broad marketscape, there are companies that are not just going to sit iβ¦β
βI literally vibecoded it and the Chrome extension this past week and I was like, okay, I've been sitting on this domain and project for like 15 years and I did it in a weekend.β
βJonathan Haidt in our interview said you should be putting phone lockers in and our school is doing that. Other schools are doing it. It is the greatest thing ever. Kids complain and then they love itβ¦β
βToday, I'm excited to share a second brain experiment where we will explore whether it's possible to create a fully functional app using only my second brain and claude cowork.β
βLoad a chunk of [Ultachat_200k](https://huggingface.co/datasets/HuggingFaceH4/ultrachat_200k)β
βWe present DINO-world, a powerful generalist video world model trained to predict future frames in the latent space of DINOv2.β
βa master class a beginner's master class and an advanced master class and I'm looking forward to see people at Cognizant and others who taking those classes and help you learn as fast as possible.β
β2. We embed the text with Gemini 2 EmbeddingβοΈβ
βa master class a beginner's master class and an advanced master class and I'm looking forward to see people at Cognizant and others who taking those classes and help you learn as fast as possible.β
βwe want this to be the largest VIP coding event on the planet. Um so we are expecting all our employees 350 plus thousand we are expecting 200,000 to join us.β
βI'm very excited about the live API that we've been working on for a while...we released it back in December...the model can you can talk to the models. The models can see what's on your screen.β
βDwarkesh, did you read his recent blog post on his AI timelines? Oh, on continual learning, yeah?β
βA pattern I've seen that works pretty well that I actually recommend if you're a large company is to kind of make a strike team or strike force that's separate from the rest of the companyβ
βHinton showed us a test he devised for Chat GPT4, the chatbot from a company called Open AI... You believe that Chat GPT4 understands? I believe it definitely understands. Yes.β
βmake sure you're subscribed on your podcast app of choice if you haven't.β
βWhen Anthropic came out with Sonnet Claude 3.5 that was a fundamental shift in the industry where the models got a lot better at coding...it was a start of vibe coding where you can put in a prompt anβ¦β
βI've been excited to try this product that's a sponsor of this very podcast. It's mud water. Their OG blend is a mix of cacao, chai, turmeric, and adaptogen mushrooms to help you feel focused without β¦β
βI don't know if you've re-watched the movie her, but I'm watching some clips from it. Like they want to appease you.β
βSo far we're very impressed...it is good enough and the economics are so good that you can expend more tokens to get more intelligence.β
βIt will like change the test to fit the mistakes it made or sometimes delete the tests. It's really fascinating behavior that Anthropic published research on.β
βYou can get the peptides now. Be get the Wolverine protocol. BPC157. You're good.β
βyou did a very interesting interview with the vice president. I encourage people to listen to that.β
βV2, which um the state-of-the-art video model at the time came out in December roughly exactly the same time.β
βthere's an agent I think you guys call it SIMA, right? Which can then interact with the Genie agent.β
βwe have some of the best ones at deep mind we have Majoko right which we work withβ
βwhen you were with me on the AI engineer conference you talked about the the touring uh paper which you love and got you started uh in some ways on your machine learning journeyβ
βIf you are on Mac, I personally use Whisper Flow, which is $15 a month and adapts to whatever I'm writing.β
βA while ago, my partner Olesia lent me a book called Feeling Good by author David D. Burns.β
βIt helps me to highlight and save only the things that I found important from the book.β
βwe've released our open source models which are uh models that we've been working on for some time... very small form factor very accessible now being used... millions of downloadsβ
βI invited a talk on the model spec for AI engineer and that was the most viewed uh talk of all of that we've ever had... the model spec is a perfect example of when the models are very capable. You stβ¦β
βwe publish techniques like instruction hierarchy and so with instruction hierarchy you sort of indicate that hey there's this message is from the system this message is from the developer this messageβ¦β
βJust head to fra.com, then stake it to earn some of the best yields in DeFi. Want even more? Bridge Frax USD over to the Fractal layer 2 for the same yield plus Fractal pointsβ
βFollow Mantle on X at mantle_official for the latest updates on blockchain for banking. That's x.com/mantle_official.β
βif you're looking for the best place to park and move your tokens, make your next stop uni chain... Visit uniain.org or follow uni chain onx for all the updates.β
βI had the good fortune of taking solid state physics from John Clarke for my senior year. And I really enjoyed the class. I really enjoyed how he taught it and his very clear systematic way of doing iβ¦β
βI've been working with Devanch quite a bit. you know, he's been doing deep funding and which is like public goods funding and there's a version two which is pretty directly based on prediction marketsβ