MyToken
市值
恐慌指数:
加密货币
交易所
ETH Gas
简体中文
加密货币
衍生品
链上
MEME
ETF
交易所
Agent技能广场
New
资讯
指标
更多
登录
注册
资讯
快讯
平台公告
大V社媒
平台社媒
自媒体入驻
vitalik.eth
05-30 12:56
@VitalikButerin
@EFDevcon
Indian participation in open source (even outside anything ethereum) is underrated. Particularly, quite a lot of good work on open source e-government.
vitalik.eth
05-30 10:38
@VitalikButerin
RT
@zeamETH
: 📢📢📢 we are now devnet5 interop!!! 🚀🚀🚀 which is the culmination of the PQ consensus stack that we have been building and iterating on for
@ethereum
mainnet. PQ signatures are different from BLS signatures, the current signature machinery of ethereum. But BLS signatures are not Post Quantum secure because breaking elliptic curve cryptography is not an exponential problem for Quantum Computers. But ethereum is being build to last centuries not just decades. To that end
@leanEthereum
has been working on PQ signature cryptography using hash based signatures which are one time signatures (OTS), and not plainly aggregatable. Not only that they are huge (~1.5kb). So this entire challenge started the "devnets" initiatives of leanEthereum. Herein come's the "leanVM" the ZK rail which can aggregate such signatures and makes the entire PQ strategy possible. We have already been thr
@zeamETH:
📢📢📢 we are now devnet5 interop!!! 🚀🚀🚀 which is the culmination of the PQ consensus stack that we have been building and iterating on for @ethereum mainnet. PQ signatures are different from BLS signatures, the current signature machinery of ethereum. But BLS signatures are not Post Quantum secure because breaking elliptic curve cryptography is not an exponential problem for Quantum Computers. But ethereum is being build to last centuries not just decades. To that end @leanEthereum has been working on PQ signature cryptography using hash based signatures which are one time signatures (OTS), and not plainly aggregatable. Not only that they are huge (~1.5kb). So this entire challenge started the "devnets" initiatives of leanEthereum. Herein come's the "leanVM" the ZK rail which can aggregate such signatures and makes the entire PQ strategy possible. We have already been through devnet0 to devnet4, and now devnet5!!! Devnet5 is monumental in that regard, entire block will carry just 1 signature, all aggregated across packed attestations, block signatures (and anything else that will comeup when we backport the spec to mainnet ethereum) However this is one side of the puzzle, to maintain a stable node, one should be able to repack the attestations from a side branch especially if it moves justification and finalization. and Voila again with leanVM magic, we are able to split the attestations that we need to repack from the combined block signature and repack/re-aggregate them into a new block proposer wants to propose. This places leanVM as the centrepiece in the entire ethereum post quantum strategy. and the current aim of all the devnets we have been running is to bring a production level performance and demonstration of the capabilities. There are 8 clients that participate in these devnets each bringing value to the table to add stability and robustness (and chaos lol). Because we know: "There's many a slip between the cup and the lip" Goal of all leanEthereum clients is to remove them, one "slip" at a time (or multiple slips at a time lol). Spec isn't good enough, we need production performance, Spec and production design/performance are unequivocally tied. this isn't just a POC network, this is a proposal for ethereum mainnet! Thats why we have been rigorously running devents, slowly scaling the validators and subnets and discovering and alleviating the issues so that we end up with a production grade PQ signature scheme that ethereum deserves and needs. And this focus is now gonna magnify 1000X now that we believe we are on a spec that can deliver PQ for mainnet. And mind you, the time of need is gonna strike soon. We not only intend to solve this conundrum for ethereum but propose to even upstream to bitcoin so that we have a PQ standard this entire space deserves. And all that based on a humble but extremely powerful leanVM that makes the hashbased cryptography workable for the production grade systems like ethereum and bitcoin. PS: we are currently heavily focused on debugging and scaling devnet4 spec devnets while we have already started to run sims and preliminary interops for devnet5. So stay tuned for further progress that we leanEthereum teams have been cranking out with a steady but heavy dose ☕️. May be all matrix is just ☕️☕️☕️
Elon Musk
05-29 22:22
@elonmusk
RT
@wintonARK
: On the remarkable return on capital potential for Starlink on Starship. Including customer acquisition cost, ground station capex, and an expendable top stage, we think SpaceX should be able to launch its 10th commercial starship rocket for ~$500m. The bandwidth it launches could yield $1.2 billion in revenue annually for as long as the satellites are in orbit. 13x cash on cash return. For a time (100 launches or so) cash requirements per kg (and per tbps) of launch should roughly keep pace with the revenue decay in monetizing incremental orbital comms throughput. Basically, their per launch cost decline, driven by rocket upsizing, satellite manufacturing efficiency and full re-useability, should out-compete declining ARPU (or at least keep pace). Net, very crudely, it works to the company being able to deploy $50b in capital building satellites, launching rockets and acquiring customers at a ~13x cash on cash return over a few years.
@wintonARK:
On the remarkable return on capital potential for Starlink on Starship. Including customer acquisition cost, ground station capex, and an expendable top stage, we think SpaceX should be able to launch its 10th commercial starship rocket for ~$500m. The bandwidth it launches could yield $1.2 billion in revenue annually for as long as the satellites are in orbit. 13x cash on cash return. For a time (100 launches or so) cash requirements per kg (and per tbps) of launch should roughly keep pace with the revenue decay in monetizing incremental orbital comms throughput. Basically, their per launch cost decline, driven by rocket upsizing, satellite manufacturing efficiency and full re-useability, should out-compete declining ARPU (or at least keep pace). Net, very crudely, it works to the company being able to deploy $50b in capital building satellites, launching rockets and acquiring customers at a ~13x cash on cash return over a few years. This is a business without precedent.
Elon Musk
05-29 22:22
@elonmusk
Both men said “I can’t breathe”, but only one man’s death was covered relentlessly by the media. The only conclusion that can be drawn is that the legacy mainstream media is incredibly, hatefully racist against Whites.
@EndWokeness:
UPDATE (AS OF MAY 29, 2026): 0 stories from AP on Henry Nowak 0 stories from PBS on Henry Nowak 0 stories from NYT on Henry Nowak 0 stories from NPR on Henry Nowak 0 stories from WSJ on Henry Nowak 0 stories from CNN on Henry Nowak 0 stories from WaPo on Henry Nowak 0 stories from Reuters on Henry Nowak 0 stories from MSNBC on Henry Nowak
Elon Musk
05-29 22:07
@elonmusk
True
@DavidSHolz:
SpaceX put 10 megawatts of solar power in space across 3000 gen1 Starlink satellites, then they put 100 megawatts in space with 7000 gen2. soon, they're doing 1000 megawatts with gen3. SpaceX is basically 10xing space solar every few years!
vitalik.eth
05-29 20:44
@VitalikButerin
@0xSero
A llama.cpp friendly gguf for your ds4 reap would be helpful! (Would it be compatible with the antirez fork?) Also, I think step 3.7 belongs in the 96-128B bucket, no? 3 bit quant fits into 96, IQ4 into ~110
Elon Musk
05-29 20:13
@elonmusk
RUD (rapid unscheduled disassembly) events are not unusual in the rocket world
@cb_doge:
As Elon said… Rockets are hard. But giving up was never an option. 🦾 https://t.co/mWS4xxwnj8
Elon Musk
05-29 20:12
@elonmusk
RT
@RestoreBritain
:
@Nigel_Farage
You literally admitted on national television that you tried to put Rupert Lowe in prison because of political differences. He wanted to deport Pakistani child rapists and their accomplice wives. So you then rang the police. Nobody is forgetting that.
@RestoreBritain:
@Nigel_Farage You literally admitted on national television that you tried to put Rupert Lowe in prison because of political differences. He wanted to deport Pakistani child rapists and their accomplice wives. So you then rang the police. Nobody is forgetting that.
Elon Musk
05-29 20:11
@elonmusk
True
@GadSaad:
Suicidal Empathy will destroy our civilization. It is not hyperbole.
Elon Musk
05-29 20:10
@elonmusk
@mattvanswol
Weird
Elon Musk
05-29 20:10
@elonmusk
RT
@FoxNews
: “I’ll kill your whole f–king family. Your whole f–king family is dead. Your children, your wife, all dead." A left-wing activist in Newark was caught on camera shouting those words at an unmasked ICE officer as protests outside the Delaney ICE facility turned chaotic. Acting AG Todd Blanche is now firing back, promising that the "disgusting" activist will be caught and charged, emphasizing that threatening a federal officer and their family is a federal crime. “That is disgusting … and we see his face and I promise you we will find him, and when we find him, we will arrest him."
@FoxNews:
“I’ll kill your whole f–king family. Your whole f–king family is dead. Your children, your wife, all dead." A left-wing activist in Newark was caught on camera shouting those words at an unmasked ICE officer as protests outside the Delaney ICE facility turned chaotic. Acting AG Todd Blanche is now firing back, promising that the "disgusting" activist will be caught and charged, emphasizing that threatening a federal officer and their family is a federal crime. “That is disgusting … and we see his face and I promise you we will find him, and when we find him, we will arrest him."
Elon Musk
05-29 20:10
@elonmusk
RT
@tomhfh
: Lee Kuan Yew abolished trial by jury in Singapore after determining that it was too easy for defence lawyers to appeal to racial and religious biases of juries in multicultural Singapore. He writes in his memoirs how as a young lawyer he was able to get three clients acquitted who he was sure did commit murder. LKY writes that he "worked on the weaknesses of the jury -- their biases, their prejudices, their reluctance really to find four Muslims guilty of killing in cold blood or in a heat of great passion, religious passion, an RAF officer, his wife and child." He writes "The judge was thoroughly disgusted. I went home feeling quite sick because I knew I'd discharged my duty as required of me, but I knew I had done wrong.” Study after study shows that in multi ethnic societies, there is significant in-group bias on juries.
@tomhfh:
Lee Kuan Yew abolished trial by jury in Singapore after determining that it was too easy for defence lawyers to appeal to racial and religious biases of juries in multicultural Singapore. He writes in his memoirs how as a young lawyer he was able to get three clients acquitted who he was sure did commit murder. LKY writes that he "worked on the weaknesses of the jury -- their biases, their prejudices, their reluctance really to find four Muslims guilty of killing in cold blood or in a heat of great passion, religious passion, an RAF officer, his wife and child." He writes "The judge was thoroughly disgusted. I went home feeling quite sick because I knew I'd discharged my duty as required of me, but I knew I had done wrong.” Study after study shows that in multi ethnic societies, there is significant in-group bias on juries.
Elon Musk
05-29 20:09
@elonmusk
RT
@yunta_tsai
: Tip on Grok Build + Grok 4.3 VLM One of my critical tasks is to keep Grok VLM in the loop. Throwing a default system prompt usually yields poor results due to lack of context. Here is how to scale: - Curate a small but diverse evaluation set that can be rapidly iterated on. - Enter the prompt: “Make a plan to design and execute a task that a) takes input per entry from:
, b) generates output per entry to:
, c) the ground truth of output:
. Launch sub-agents to iterate on strategy to optimize recall and precision against ground truth until both metrics reach
.” Done. Watch your research agents do the work.
@yunta_tsai:
Tip on Grok Build + Grok 4.3 VLM One of my critical tasks is to keep Grok VLM in the loop. Throwing a default system prompt usually yields poor results due to lack of context. Here is how to scale: - Curate a small but diverse evaluation set that can be rapidly iterated on. - Enter the prompt: “Make a plan to design and execute a task that a) takes input per entry from:
, b) generates output per entry to:
, c) the ground truth of output:
. Launch sub-agents to iterate on strategy to optimize recall and precision against ground truth until both metrics reach
.” Done. Watch your research agents do the work.
Elon Musk
05-29 20:02
@elonmusk
RT
@xai
: grok-build-0.1 is now available via the xAI API in public beta. This is the same model that powers the Grok Build CLI and excels at agentic coding. Priced at $1/m input and $2/m output, it’s extremely cost effective, intelligent, and fast. https://t.co/2ZtqWM2QLU
@xai:
grok-build-0.1 is now available via the xAI API in public beta. This is the same model that powers the Grok Build CLI and excels at agentic coding. Priced at $1/m input and $2/m output, it’s extremely cost effective, intelligent, and fast. https://t.co/2ZtqWM2QLU
Elon Musk
05-29 20:01
@elonmusk
RT
@yunta_tsai
: Having Grok Build sub-agents to iterate several ideas for me on data loading, batching, inference, and writing results to files for dense datasets before I went to sleep. It gave me a nice summary of trade-offs and validation in the morning. The same idea can be extended to almost anything as long as gradient descent and stochastic sampling apply. Looking forward to how you utilize the sub-agents.
@yunta_tsai:
Having Grok Build sub-agents to iterate several ideas for me on data loading, batching, inference, and writing results to files for dense datasets before I went to sleep. It gave me a nice summary of trade-offs and validation in the morning. The same idea can be extended to almost anything as long as gradient descent and stochastic sampling apply. Looking forward to how you utilize the sub-agents.
Elon Musk
05-29 19:59
@elonmusk
RT
@delestoile
: 🟥 W toku procesu wycieka coraz więcej szczegółów. Zabójca, Vickrum Digwa, zadzwonił na policje, a nie na pogotowie i skłamał, że to Henry go zaatakował, był pijany, obraził go rasistowsko i strącił mu turban. Policja Hampshire przyjechała (trzy policjantki) i natychmiast zakuli Henry’ego w kajdanki, mimo że leżał w kałuży krwi z ranami kłutymi klatki piersiowej i nóg. Wielokrotnie powtarzał: „I’ve been stabbed” („Zostałem dźgnięty”), „I can’t breathe” („Nie mogę oddychać”). Na nagraniu z kamery osobistej słychać głos policjanta: „I don’t think you have, mate” („Nie sądzę, koleś”). Policjant, który zakuł Henry’ego w kajdanki, śmiał się, gdy ten powiedział, że został dźgnięty. Potem wleczono go po żwirze i trzymano skutego, gdy się wykrwawiał. Dopiero gdy stracił przytomność, funkcjonariusze zdjęli kajdanki i zaczęli reanimację. Henry zmarł na miejscu. Ponadto policja zabrała telefon Henry’ego i jego taty i przeczytała wszystkie wiadomości
@delestoile:
🟥 W toku procesu wycieka coraz więcej szczegółów. Zabójca, Vickrum Digwa, zadzwonił na policje, a nie na pogotowie i skłamał, że to Henry go zaatakował, był pijany, obraził go rasistowsko i strącił mu turban. Policja Hampshire przyjechała (trzy policjantki) i natychmiast zakuli Henry’ego w kajdanki, mimo że leżał w kałuży krwi z ranami kłutymi klatki piersiowej i nóg. Wielokrotnie powtarzał: „I’ve been stabbed” („Zostałem dźgnięty”), „I can’t breathe” („Nie mogę oddychać”). Na nagraniu z kamery osobistej słychać głos policjanta: „I don’t think you have, mate” („Nie sądzę, koleś”). Policjant, który zakuł Henry’ego w kajdanki, śmiał się, gdy ten powiedział, że został dźgnięty. Potem wleczono go po żwirze i trzymano skutego, gdy się wykrwawiał. Dopiero gdy stracił przytomność, funkcjonariusze zdjęli kajdanki i zaczęli reanimację. Henry zmarł na miejscu. Ponadto policja zabrała telefon Henry’ego i jego taty i przeczytała wszystkie wiadomości w poszukiwaniu rasistowskich komentarzy lub żartów. Teraz policja z Hampshire wydała publiczne przeprosiny: „Przepraszamy, że Henry został zakuty i aresztowany w momencie, gdy tracił przytomność. Zostaliśmy okłamani przez sprawcę…” Mimo to ani sad, ani policja nie ujawniły dotąd nagrań z kamer. Trwa dochodzenie IOPC (niezależny organ ds. skarg na policję). Wielu domaga się dymisji funkcjonariuszy, którzy byli na miejscu. Trzy policjantki podobno odeszły ze służby (niepotwierdzone).
vitalik.eth
05-29 19:53
@VitalikButerin
@antirez
also work on rapidly upgrading cyberdefense and biodefense and political systems so that a pluralistic post-AI world can be safe and cooperative and functional
vitalik.eth
05-29 17:09
@VitalikButerin
@XRS_02
curly braces delendae sunt indenting 万岁
vitalik.eth
05-29 17:08
@VitalikButerin
@UnknownLakan
@session_app
I used
@StepFun_ai
's 3.7, the 3-bit quant, on my AMD laptop today. Seems quite nice so far!
vitalik.eth
05-29 17:05
@VitalikButerin
@session_app
Pasting my (of course locally-generated) AI summary for those interested. Glad to see you guys are able to keep going! https://t.co/Dz8TQ5s4mX