Keep on to blur preview images; turn off to show them clearly
We let the system continue running beyond the time limit. AxiomProver @axiommathai now solved 9 problems. A score of 90 out of 120 ranked #4 in 2021, #3 in 2022, #2 in 2023, and #1 in 2024 last year, all Putnam-Fellow level performance.
@axiommathai what happened
The Danes do not seem bothered by the "confusion" of blue checkmarks. X is beating every domestic news app on downloads now. Maybe the EU just need to try a little harder reeducating them??
Father of three, Creator of Ruby on Rails + Omarchy, Co-owner & CTO of 37signals, Shopify director, NYT best-selling author, and Le Mans 24h class-winner.
Smart contracts turn promises into programs. They convert legalese into self-executing code that enforces the conditions of the promise. The code is open source and its behavior can be verified by anyone in 1/1,000,000th of the time and cost of enforcing a trad legal contract. The sole purpose of blockchains is to make it easier for strangers who do not trust one another to cooperate. They do that by creating a neutral space where the rules are transparent, verifiable, and automatically enforced. This directly reduces counterparty risk: 1. Collateral that would normally be invisible and accessible only through costly legal means now sits transparently onchain. 2. When the conditions of the promise warrant it, that collateral is immediately and programmatically available. That makes all the difference. Without blockchains, the cost of recourse is a million-fold higher than it needs to be. And if recourse costs more than what's being claimed, then there is no recourse at all. @pujaohlhaver's post conflates two different problems: enforcement risk (will they pay?) and credit risk (can they pay?). Smart contracts address the former entirely, and as more of the world's assets move onchain, they will also address the latter.
General Partner @a16z crypto. Previously Google Brain, GoogleX, @Stanford Computer Science. See disclosures: https://t.co/TIaDKhgDRX
It's sad how much random hate Lex gets. He's exposed millions of people (who don't have your Twitter feed) to ideas in science/tech which they'd never have encountered otherwise. And there's 100s of hours of recorded insights from great minds that wouldn't exist without him.
Host of @dwarkeshpodcast https://t.co/3SXlu7fy6N https://t.co/4DPAxODFYi https://t.co/hQfIWdM1Un
RT @AztecaAlpaca: 漂浮在代表性饮品上的城市地标（含提示词） 宝玉老师的这组提示词很有创意，把冰冷的城市地标与温暖的咖啡联系在一起，仿佛赋予了一个地方以温度，消除了距离感。 然而，并非所有地方都喜欢喝咖啡。更重要的是，很多城市都有自己独特的，富有代表性的饮品…
Prompt Engineer, dedicated to learning and disseminating knowledge about AI, software engineering, and engineering management.
Just realized I posted two of the same screenshot above… here’s the other one I missed:
Former Quant Investor, now building @lumera (formerly called Pastel Network) | My Open Source Projects: https://t.co/9qbOCDlaqM
