toly 🇺🇸

110.2K posts

toly 🇺🇸 banner
toly 🇺🇸

toly 🇺🇸

@toly

Co-Founder of Solana Labs. Award winning phone creator. NFA, don’t trust me, mostly technical gibberish. https://t.co/LomgbTpb6h

🏔️🏔️🏔️ เข้าร่วม Şubat 2014
6.8K กำลังติดตาม849.9K ผู้ติดตาม
ทวีตที่ปักหมุด
toly 🇺🇸
toly 🇺🇸@toly·
The final frontier
Colosseum@colosseum

1/ @Solana's Frontier Hackathon has commenced!🏔️ 🌍 Crypto's largest online startup competition 💰 $2.5 million from Colosseum's venture fund 🌉 Up to 10 startups accepted into our accelerator 🏁 Product submissions due by May 11, 2026 Join: colosseum.com/frontier

English
3
16
209
46K
toly 🇺🇸 รีทวีตแล้ว
joseph.eth
joseph.eth@josephdelong·
> invents the hardest money the world has ever known > refuses to elaborate > dies
joseph.eth tweet media
English
23
16
306
32.9K
toly 🇺🇸 รีทวีตแล้ว
Ian Miles Cheong
Ian Miles Cheong@ianmiles·
Marc Andreessen thinks Elon Musk hasn't just built successful companies, he might have actually cracked the code on how to manage for the next hundred years. The fundamental problem with any traditional organization that has multiple layers of management is what Andreessen brilliantly describes as "compounding lies." Every layer distorts reality just a little bit more until the original mission is completely lost in the bureaucracy. Musk’s method completely destroys that outdated corporate structure. It relies entirely on an extreme focus on substance and getting straight to the truth. By stripping away the noise, he has figured out the exact blueprint to reconcile being a chaotic fountain of ideas with being a ruthless, systematic builder.
English
230
1.1K
7.1K
850.8K
shek
shek@shek_dev·
two major upgrades that made this possible asm2lean: assembly to Lean transpiler, no manual transcription hell aristotle by @HarmonicMath : the agentic prover can run for upto 24 hours on harder theorems x.com/HarmonicMath/s…
Harmonic@HarmonicMath

🦾Meet Aristotle Agent, the world’s first autonomous mathematician — live and currently free of charge. We designed Aristotle Agent to solve and formalize the world’s most challenging mathematical research problems. It is now: ☑️#1 in Formal Math: We’re the #1 formal math model according to ProofBench, by @ValsAI, ahead of the closest competitor by 15%. Aristotle Agent can autonomously prove/formalize for up to 24 hrs without human intervention. ☑️Fully Agentic: Give it an English problem and it will prove/formalize from scratch, or it can work and edit files directly inside your Lean project / repository. ☑️Github-ready: Aristotle agent produces repo-quality code; project leads are increasingly merging Aristotle-drafted PRs with no modifications. Now live across both web, CLI, and API. 🔥

English
4
0
4
707
toly 🇺🇸 รีทวีตแล้ว
shek
shek@shek_dev·
using sBPF for your @solana programs is brutal you trade off the safety of types, compiler and verification for performance not anymore now you can formally verify assembly with QEDGen
English
23
8
52
11.4K
toly 🇺🇸
toly 🇺🇸@toly·
@wedtm @alessandrod The number of lethal encounters under Trump and Biden and basically since Obama’s last term has been roughly the same.
English
3
0
3
209
toly 🇺🇸
toly 🇺🇸@toly·
A Bernie memecoin is quintessential political speech, since the only thing both of them will ever accomplish is poverty.
English
7
103
400
26.2K
toly 🇺🇸
toly 🇺🇸@toly·
@wedtm I know. Just wanted to express how far out of my experience I find this opinion. Would love to drink a beer and argue politics sometimes 🍻
English
1
0
3
247
miles
miles@wedtm·
@toly Thanks for the convo, I did learn a bit more so it seems fruitful. Sorry you felt insulted, that wasn’t my intention.
English
1
0
1
182
toly 🇺🇸
toly 🇺🇸@toly·
@alessandrod @wedtm Go door to door and petition for a cap on terms. If you can do that then you aren’t living in a repressive state. Thats the difference
English
1
0
0
142
Alessandro Decina
Alessandro Decina@alessandrod·
@toly @wedtm Yeah right, in literally all democracies there's a cap on terms, there's natural alternation, and orban has been in power for nearly two decades because he's very good actually
English
1
0
1
90
toly 🇺🇸
toly 🇺🇸@toly·
@wedtm See, the system sort of works through newtons method
English
2
0
1
149
miles
miles@wedtm·
@toly Bovino doesn’t work for DHS. He was fired by Trump.
English
1
0
1
73
miles
miles@wedtm·
@toly @alessandrod Look, I love beer as much as the next guy, but a case of Coors isn’t going to do jack shit against an MQ9 when the federal government decides it’s had enough of the liberals ruining our country and labels them terrorists, or worse, anti-fascists.
English
1
0
1
94
toly 🇺🇸
toly 🇺🇸@toly·
@alessandrod @wedtm That doesn’t matter. People in Texas truly like Ted Cruz, and people in California like Newsom. If Hungarians want Orban then that’s what they will get.
English
1
0
0
131
Alessandro Decina
Alessandro Decina@alessandrod·
@toly @wedtm > Can you go door to door and tell your neighbors to vote against Orban without reprisals from the government? and yet he's been in power for 15 years, so does your rule match reality?
English
1
0
1
72
toly 🇺🇸
toly 🇺🇸@toly·
@wedtm @alessandrod More importantly, you can’t do much better than this. All the other things will end up being politically controlled and coerced. SCOTUS is the best anyone can do and that should tell you something
English
0
0
1
130
toly 🇺🇸
toly 🇺🇸@toly·
@wedtm @alessandrod I can get drunk with them and we can watch each other’s property. And we don’t need a government with more power than to support our ability to do just this.
English
2
0
2
192
toly 🇺🇸
toly 🇺🇸@toly·
@wedtm Bovino has been there over 30 years. My college roommate actually ended up at San Diego border patrol for full 20.
English
1
0
2
166