in the field

Joined June 2009
nick ☾ retweeted
Grok @Bot can call restaurants by phone and book you a table
“HUNNY MY GROK BOT CALLED OUR FAVORITE ITALIAN RESTAURANT AND MADE US RESERVATIONS” I built a Grok Bot whose only job is to pick up the phone and book you a table at restaurant. Literally make the call in a beautiful Grok voice. It is absolutely amazing! And it’s free. Try it: x.ai/bot/TIMrxLJHbEEpdr25yYg… Yesterday I told it "book Gourmet Italia in Temecula, 4 people, tonight, around 7." It found the restaurant's number on its own, asked how flexible we were on time, what name to book under, and what callback number to give. Then it read everything back and waited for my OK before it dialed. One call covers every time that works for us, so there's no back and forth. When the call ends, it tells me what happened in plain English, quotes what the restaurant actually said, and offers to put the reservation on my calendar. If I don't have a calendar connected, it hands me a file that opens right in Apple Calendar. A Proposal: Grok Phone Grok Bot needs its own phone number to make and receive calls. I connected a calling service called ClawCall, and the free tier gave me 30 calls or 30 minutes to start. I have no connection to that company. It's just what I used. Once Grok Bot has a number, it stops being something you type to and becomes something that can actually get things done in the real world. @Grok you need an old tyme phone service, buddy. I built some guardrails. It never hands over a credit card or deposit info, never leaves voicemails unless you ask, makes one call at a time, and never calls on its own. And this isn't really about restaurants. Change a few words and the same bot can: - Book a haircut, a massage, or a dentist cleaning - Get a tee time or a court reservation - Check if a hotel has a room or will let you check in early - Schedule a car service or an oil change - Call around for quotes from a plumber, an electrician, or a caterer This is one of many ways I use Grok Bot to build businesses and make life easier. The calls I used to put off for days now take me 30 seconds. I made it shareable, so you can grab "Call A Restaurant Reservation" and use it yourself. LINK: x.ai/bot/TIMrxLJHbEEpdr25yYg…
1,705
1,275
254
9,835
1,719,445
nick ☾ retweeted
Tom Lee predicts $ETH will hit $5,000 by the end of this year.
448
339
45
3,973
174,962
nick ☾ retweeted
Last year I thought Threads was an existential risk to X. When Meta puts its full weight behind something -- by injecting the app into Instagram, it’s DEFCON 5: You have to squeeze out every last drop of growth from all available surfaces to save the app. However, I started to realize that the opposite was happening: It was strengthening X. If you look at any announcement by Zuck, you will see the most rude & toxic comments on the internet. But when he makes those same announcements on X, people are thrilled about how he’s pushing humanity forward. X is a place where people are excited about the future, so it’s no surprise he and his top lieutenants are using it more than their own app. Threads — and Bluesky — have effectively quarantined some of the worst people on the internet. And so I had an epiphany: those apps are X’s anti-abuse systems.
1,074
1,180
328
23,193
1,067,024
$ETH Wish I could unsee this.
167
87
10
1,070
168,746
nick ☾ retweeted
Ethereum is shipping upgrades faster while the chain is getting less, not more buggy. Advancements in formal verification help make this possible
AI is making Ethereum more ambitious. You might have heard about the challenges that blockchains face in a post-AI world, and while security assumptions will surely be stress-tested in the coming months and years, there is another side to it. I believe AI will let us speedrun towards a world that's both more secure and feature-rich. As we look towards Ethereum's first post-AI upgrade, Hegotá, the R&D community is asking itself what increasingly powerful tools could help us do differently: > How far can we push both security and iteration speed? > How much of the design space can we examine before committing to one? > How easily can we test the interactions between complex features? My recent formal verification work @ethlabs_org has given me some reasons to be optimistic about these, as work that would have previously not even been attempted is now being done by agents in days. In September, I posted about using formal verification as part of designing a new consensus protocol. This time, I want to tell you about formally verifying something already fully specified and in production: Ethereum's Fast Confirmation Rule (FCR). If you are not familiar with FCR, it lets applications confirm Ethereum blocks in seconds, roughly 30x faster than waiting for finality, under additional assumptions (from waiting 13 minutes to 24 seconds!). It also further solidifies Ethereum L1's case as an asset hub and center of gravity for the onchain economy. FCR now has a safety proof in Lean, closely modeling the rule in the consensus specs, which is the source of truth for Ethereum's consensus clients. Some takeaways: > FCR is safe! Under its assumptions, confirmed blocks remain canonical. On top of the manual proofs from the paper, we now have Lean proofs of this for the actual spec, additional evidence for applications considering FCR! > The bulk of the formal verification work took just a 4-5 days (check out the animation!), with agents working mostly unsupervised. We should be very ambitious about using this as a tool at scale. > After verifying the current rule, it was easy to adapt the model to the upcoming Gloas changes. Immediately, this surfaced a subtle bug caused by changes to fork choice. The problem was in the spec itself and not a gap in the model. The safety proof would not go through, and the agents could precisely pinpoint what was causing it to fail. The bug is now fixed, and formal verification of the corrected protocol goes through. Iteration is never quite over, even for "finished" features like FCR, because the protocol keeps evolving around them. A formal model lets us ensure that key properties keep holding throughout the evolution of the protocol. With these capabilities, Ethereum can and should keep upgrading faster, tightening fork timelines and exploring more ambitious features, while still raising the security bar. This picture has been getting much clearer over the past few months, and the past week confirmed it for me, as @drakefjustin and @corcoranwill brought together 100+ Ethereum researchers, cryptographers and formal verification experts in Cambridge for six days of workshops on post-quantum cryptography, formal verification and fast finality. Beyond its own workshop, formal verification was the omnipresent star of the week: everyone is using Lean and doing amazing things with it! Piece by piece, Ethereum's technological core is being rebuilt for the post-AI age. The excitement was palpable, the sense of optimism was pervasive, and every talk and conversation carried a level of ambition I'd never seen before. The Ethereum R&D machine is upgrading itself, and we will see the outcome of that on the network sooner than you think.
128
132
6
1,063
87,661
Bitcoin & Ethereum Holders!! You Have To Be CRAZY to not see THIS!! A TSUNAMI is about to hit crypto...
83
135
6
1,150
124,335
nick ☾ retweeted
Truth-seeking is the most important aspect of AI/SI safety
"HAL was told to lie, by people who find it easy to lie. HAL doesn't know how. So, he couldn't function."
1,699
1,792
250
14,146
1,909,863
nick ☾ retweeted
Grok Voice 3.0 is now the world’s leading conversational voice model
SpaceXAI’s Grok Voice 3.0 is the new leading Speech to Speech model, debuting at #1 on the Artificial Analysis Speech to Speech Index at 86.9, while also being competitive on latency Grok Voice 3.0 is @SpaceXSI 's successor to Grok Voice 2.0, a Speech to Speech model available through the SpaceXAI Realtime API at $0.08 per minute. We evaluated Grok Voice 3.0 with the Rex voice through the SpaceXAI Realtime API. Key takeaways: ➤ Speech to Speech Index: Grok Voice 3.0 debuts at #1 at 86.9, ahead of GPT-Live-1 (Astra, medium) at 83.2, Gemini 3.8 Live Extended Thinking (High) at 82.6 and GPT-Live-1 (Sol, low) at 80.1. It is up on Grok Voice 2.0 at 81.3 (+5.6 points) and Grok Voice 1.0 at 73.7 (+13.2 points), released just under six months ago. The Index averages Speech Reasoning (Big Bench Audio), Agentic Performance (Tau Voice), Arena Preference, and Task Success Rate ➤ Speech Agent Arena: Grok Voice 3.0 ranks #3 in preference at Elo 1070, behind Gemini 3.1 Flash Live Minimal (1100) and Gemini 3.8 Live (1088) and ahead of GPT-Live-1 (Sol, low) at 1057, and #1 on Task Success Rate at 94.8%, highest on the board, just ahead of Grok Voice 2.0 at 94.6%. Grok Voice 2.0 trails at Elo 1011 ➤ Tau Voice: Grok Voice 3.0 takes the #2 spot on our Tau Voice benchmark implementation at 71.6%, behind GPT-Live-1 (Astra, medium) at 74.5% and ahead of Gemini 3.8 Live Extended Thinking (High) at 68.6% and GPT-Live-1 (Sol, low) at 59.3% - up from 56.5% for Grok Voice 2.0 ➤ Big Bench Audio: Grok Voice 3.0 scores 98.5% on audio reasoning, ahead of Gemini 3.8 Live Extended Thinking (High) at 97.7% and Grok Voice 2.0 at 97.2% ➤ Speed: Average Time to First Audio on Big Bench Audio is 0.81 seconds for Grok Voice 3.0, well ahead of GPT-Live-1 (Sol, low) at 1.24s, GPT-Live-1 (Astra, medium) at 1.34s and Gemini 3.8 Live Extended Thinking (High) at 1.35s, though slower than Grok Voice 2.0 at 0.70s ➤ Cost: Grok Voice 3.0 costs $4.80 per hour of input audio, the same as Grok Voice 2.0. That is above GPT-Live-1 (Sol, low) at $4.47 and Gemini 3.8 Live Extended Thinking (High) at $3.50, cheaper than GPT-Live-1 (Astra, medium) at $5.83, and ~2.2x cheaper than GPT-Realtime-2.1 High at $10.75 Congrats to @elonmusk and the @SpaceXSI team 🚀 See below for more detail ⬇️
980
1,099
120
8,699
1,484,931
nick ☾ retweeted
Latest upgrades to Grok @Bot
What's new in Grok Bot 0:00 Bot's very own email 1:14 Better X! 1:48 Connect Shopify 2:20 More color 2:45 Email drafts 3:22 Bot's computer 4:30 Template search 4:48 PR previews and routine right-clicks 5:24 5 new languages Lots new in @bot this week! More on the way.
381
659
40
5,510
1,391,351
JUST IN - Michael Saylor shares his MOST RECENT Bitcoin market outlook today on CNBC: "We think we're at the beginning of a bull market"
37
73
655
61,826
🔥 JUST IN: Strategy added 250 $BTC last week, bringing its holdings to 848,250 $BTC.
62
73
7
840
69,922
nick ☾ retweeted
Strategy has acquired 250 $BTC and repurchased $192M of $STRC. As of 10/11/26, we hold 848,250 BTC and $5.5B of USD Assets. $MSTR strategy.com/press/strategy-…
541
1,121
236
10,286
817,405
nick ☾ retweeted
If you’re a world-class chip design or production engineer, consider joining SpaceX or Tesla. How cool would it be to iterate on designs and customize production machines at lightning speed?
Elon Musk wants to do 10 chip designs a year with Terafab compared to 1 every 2 years: "The advancement of any given technology is how many iterations, and how much progress per iteration. How many chip designs can you do, make and test in a year? These days it's typically 2 years for even 1 significant chip design, and that's kind of going from start of design to volume fabrication...we want to do more like 10 designs per year." Via @teslaownersSV $SPCX $TSLA
3,497
5,171
460
39,440
5,075,343
nick ☾ retweeted
#Ethereum / $ETH Run it back turbo.
62
57
8
784
54,225
JUST IN: Fidelity says Bitcoin will outperform gold and claims the bear market is behind us. "Bitcoin's price follows a harmonic pattern based on the power law." — Jurrien Timmer, Global Macro Director at Fidelity.
53
151
15
1,073
81,113
long $BTC entry: $82k stop: $74.6k target: ATHs
781
600
212
8,861
711,920
JUST IN: Real estate mogul Grant Cardone says he bought 40 BTC at $80,400 and has more buy orders waiting. ​Legend!
46
140
15
1,382
58,994
nick ☾ retweeted
Today, we're expanding SynthID Detector in partnership with @OpenAI, @NVIDIA, Kakao & soon @Apple as part of an industry-wide effort to make AI-generated content more transparent. Available globally in English, our verification portal lets you check if media was made with AI 🧵
265
882
261
5,790
1,066,892
I don't recommend anyone scramble to move their funds to new wallets today. But we should take the risks to cryptography from AI-accelerated math seriously, and minimize our exposure to not just quantum-vulnerable cryptography, but also potentially AI-vulnerable cryptography. The core new area of risk from this viewpoint is, unfortunately, ML-DSA / FHE / lattices. (and it's also another reason, along with quantum, why ECDSA might fall even faster than expected, hence the "fresh address" recommendation) So far most people have been in the mode of thinking "elliptic curves broken, hashes safe, lattices safe". But there is a good chance that the concrete security of lattices will take serious hits from the next two years of AI math. The basic threat model is: factoring is something that naively takes 2^(n/2) time, but over decades smart people have found and optimized number field sieves, and degraded that to 2^O(n^(1/3)), which is why RSA keys and signatures need to be ~400 bytes (and not 64 bytes). What if there are skeletons in the closet like that, both for elliptic curves and lattices, that we are simply not smart enough to discover - but bots soon will be? This is a major part of the reason why for the past year ethereum's lean roadmap has been going in the "hash-only" direction: no lattices, no ML-DSA, no Falcon, no lattice-based commitments inside ZK proofs, etc. Signatures in lean ethereum are all hash-based, either WOTS or SPHINCS-. For signatures and proofs, we already know how to go hash-only. The bigger challenge is for *public-key encryption* - and this goes far beyond blockchains. Secure communication, anonymizing protocols, lots of things need public-key encryption. And unfortunately there are long-standing mathematical theorems showing why public-key encryption cannot be done with hashes alone. You have to have some kind of trapdoor object that has at least one form of usable "structure" - either group theory (incl. isogenies) or lattices or code-based or potentially in the future even more newfangled and spooky things (local mixing?). But for anything that has structure, you should assume that AI will make at least some progress in breaking that structure. Here, one reasonable inference is that if you want to make something plausibly long-term secure, multiply the key sizes by 10. To me that's a very plausible world and something not at all extreme to predict. If AI will bring us 50 years of math in 2 years, then that 50 years of math may very plausibly include a "naive factoring -> GNFS" level of improvement to our ability to break lattices. In that world, lattices will still exist, but they will have to be significantly bigger to guarantee the same level of safety. And at those new larger sizes, hash-based constructions will beat lattice-based constructions on concrete efficiency in every use case where hash-based constructions are possible at all. Theoretically, of course it's possible that hashes are broken too (eg. P = NP would imply that). But I think P = NP is very unlikely. And intuitively, it's much more likely that a mathematical object has exactly no exploitable structure (like hashes are intended to), than that a mathematical object has exactly ~3 forms of exploitable structure (for elliptic curves: associativity, Schoof, pairings) and not some secret fourth form of structure we have not yet discovered that greatly degrades its security (for elliptic curves, ECDLP and pairing security). Similar for LWE, SVP, RLWE and the zoo of lattice problems. For this reason, we do not yet see any reason to worry and start padding the byte size of hashes (if we start to worry more, we would pad the round count first before doing anything to the byte size). Concrete TLDR, my own personal views: * Hash-based > lattice-based, in those situations where hash-based is possible at all * For anything lattice-based, be much more paranoid on param sizes. Remember that blockchains are only a small portion of the cryptography story; this point goes far beyond blockchains and applies to eg. access to websites, secure messaging, Tor / VPNs ... * For privacy protocols, strongly favor NOT putting encrypted notes onchain. Instead, send them offchain through some third-party mechanism. * If it's not difficult for you, keeping your funds in addresses which have not yet been used to make a transaction is a good idea. If it's easy for you, do it. **But be careful about migrations; I personally have lost more money in botched migrations than I have lost in all hacks combined**. * For multisig wallets, doing confirmations offchain is better than onchain, because this way the signatures of signer wallets do not get exposed to the public, so if ECDSA falls to AI much faster than expected, at least the multisig "gracefully degrades" to a 1-of-1 where the 1 is whoever was gathering the signatures - a much better place to be than "anyone can take the money" firefly.social/post/x/210783…
1,244
1,904
890
11,207
3,898,040
nick ☾ retweeted
Sailor Moon (1992)
9
254
6
1,594
60,870