与「LETS」相关的搜索结果

One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

Today, Pioneer Labs is announcing our first step towards terraforming Mars. 🚀🌼 With equipment that fits in just a single rocket launch, we can convert Martian dirt, water, and air into enough building materials to construct a small city on Mars. To do it, we made the first microbe for Mars. We found the best microbe on Earth and used evolution to teach it how to source all of its nutrients directly from Martian materials. The first astronauts will be greeted with safe shelter already filled with water, oxygen, and rocket fuel for the return journey. This is the first step toward using biology to make Mars a friendly place for life. It lets us live off the land and helps us build the next great frontier. It's the first of five organisms we need to green Mars ⬇️

everyone calling Reddit dead because ChatGPT stopped citing it is wrong Promptwatch said Reddit's share of ChatGPT citations went from 3.83% to 0.52% when in April it was the most cited domain in ChatGPT the panic is fair if you built your AI visibility plan on Reddit, you'd be worried about it going to waste but almost nobody opened the other dataset Ahrefs looked at 145M US Google results when the "discussions and forums" block shows up, Reddit is still in it about 84% of the time Reddit lost one channel (maybe, it's not definite yet), but it's still showing up in the other one your buyer uses before they've decided anything and nobody has a comparable baseline for the ChatGPT number either: - Promptwatch had Reddit at 3.83% of citations before the drop - Ahrefs, same platform, around the same time, had it at 16.7% - Semrush once put it near 60% yet everyone quoted an 86% collapse off a number the industry measures four different ways and nobody outside OpenAI can actually explain either one. we all rebuilt our strategy around a number one tracker caught Reddit is miserable to market on it takes months of being useful before anyone lets you mention what you built so continue doing that

BREAKING: SpaceXAI has released a major new update for Grok Build (v1.0.14) Grok v1.0.14 is a reliability and workflow update for the Grok CLI. It makes OIDC token refresh proactive, lets PostToolUse hooks send feedback back to the model after tools run, adds per-turn token and cost tracking via grok usage, and cuts Windows downloads by about 70%, with a large set of fixes that tighten sandboxing, subagent handling, hooks, and startup. Features: • OIDC token refresh is now proactive by default for better reliability. • PostToolUse hooks can now provide feedback and context to the model after tool execution. • SDK-registered PostToolUse hooks now provide model-facing feedback. • grok usage now shows persisted per-turn token and cost data. • Retry status in composer and title now shows a short reason for the retry. • Models can now declare a different identifier for each reasoning-effort level instead of always sending the same id. • Prompt suggestions now respect remote configuration and default to the current session model. • Windows CLI downloads are now ~70% smaller using the same compressed sidecars as macOS and Linux. Bug Fixes: • grok inspect now correctly shows Claude bypass locks as advisory rather than enforced. • Subagent sessions no longer leak threads or file descriptors when the parent is busy. • Cold startup no longer performs duplicate remote settings fetches. • Compaction failures due to context size now degrade input instead of retrying identically. • --sandbox strict now restricts writes to ~/.grok/sessions only. • Subagent spawning now waits longer on a busy coordinator and shows clearer retry guidance instead of "unreachable". • Failed task and todo tool calls now appear in the transcript instead of disappearing without a trace. • Composer status row no longer collapses or flashes when using double-Enter to send now. • Session close is no longer delayed by a single slow hook; each SessionEnd hook now has its own timeout. • Hook removal in the extensions modal no longer offers actions that the handler will refuse. • Interjections during a turn are now delivered atomically or not at all. • Subagent tasks no longer get incorrectly cancelled when the parent session is waiting for completion. • Workflow detail view now closes the overlay on X or outside click instead of returning to the run list. • Resuming subagents now succeeds for larger transcripts that still fit the model context with headroom. Performance: • Startup now fetches remote settings only once per boot instead of potentially twice. • First message on large repositories no longer waits on repository status scan. • Large session memory no longer blocks the agent during turn completion or subagent spawning. • Signed-in CLI starts faster by serving remote settings from a local cache on warm boots. Download Grok Build: Update to the latest Alpha release: grok update --alpha Update to the latest Stable release: grok update

Axis Hub Update: The Pause Button is LIVE. ✱ Click once — the button lights up and the simulation pauses between your actions. Click again to deactivate. ✱ Pre-training: when active, the simulation pauses after each move so you can think before the next. When off, the timer runs nonstop once you start. ✱ Post-training: each takeover is capped at 8 steps — and they run out fast. Pause lets you plan each move without burning through your budget. See it in action ⬇️ Why we cap interventions at 8 steps → see the quoted thread.

Grok Bot might be the first tool that lets one non-technical person run an entire business with a team of AI agents. My friend Billy runs his whole newsletter business on Grok Bot agents, and I think we're about to see 100,000+ businesses like his. BEST PRACTICES: 1. The agents run on a shared cloud computer, so running your newsletter, your X, and your receipts all in one place creates context bloat and burns tokens fast. One mission per setup. 2. Start with a Chief of Staff. Give it access to your existing docs (Notion, Slack, Gmail), have it audit the business, then tell you the top three agents to build first to drive revenue. 3. Perfect a task with the Chief of Staff before spinning up a new agent. Have it do the outbound sales once, review it, and only then say "now build a bot that does exactly that." You earn each new hire by proving the task works first. 4. Constraints are the feature. You get a limited number of agents, one thread per bot, like DMs with a teammate. It forces you to stay mission-oriented instead of spinning up a bot for every random idea. 5. You make the decisions, not the agent. Billy's team spent three weeks unable to pick where content should live. At some point you say "we're doing Notion, no more tinkering" and move on. 6. Run week one with no new agents. Build the team, learn to fly the plane, just execute. Week three is when you find the real gaps and expand, someone to man the inbox, someone for the Shopify shop. 7. Then add routines so it works while you sleep. Ask your Chief of Staff what recurring jobs would move the business forward overnight, and it builds the automations that run without you. Thanks to @billyjhowell for sharing the sauce on @startupideaspod (follow for more). Grokbot is really cool. Watch below:

Elon Musk admitted he is not sure this one is possible. Musk: “This absorbs more of my mental energy than probably any other single thing. But it is so preposterously difficult that there are times where I wonder whether we can actually do this.” He does not talk like this. Mars gets a date. Robotaxis get a date. This gets a maybe. Stern: “What is so hard about it for just a normal person to understand?” His answer comes down to a single number. Musk: “In order to make a rocket fully reusable, you’ve got to basically create a rocket that can do about 4%, if not more than 4%, of its lift-off mass to orbit, which hasn’t happened before.” Four percent. Everything else standing on that pad is fuel, tank, and engine. The landing gear, the heat shield, the extra structure that survives reentry, all of it comes out of that same four. None of it can be left behind. The vehicle has to come home. Musk: “So that means you have to have basically A-pluses across the board: incredibly efficient engines, incredibly efficient structure.” Across the board is what makes this brutal. Most engineering lets you buy a weakness in one place with strength somewhere else. The margin here is thin enough that one component landing at merely excellent drops the whole vehicle below the line. Nothing carries anything. Musk: “But if full and rapid reusability can be achieved, it reduces the cost of access to orbit by a factor of 100 or more.” A hundred times cheaper turns nearly every question about space from whether into when. Telescopes, stations, factories, missions that never made it past a spreadsheet. Musk: “So we’ve got to get rockets to the point where we simply refuel the rocket and we don’t throw it away.” Every other vehicle humans build already works that way. Space is the one place we still build the machine, use it once, and let it fall into the ocean. Musk: “It’s the difference between humanity being a single-planet species and a multi-planet species. It’s really that big of a deal.” Now put his doubt in context. Landing an orbital booster upright was considered impossible by most of the industry. He spent years being told so while boosters exploded on barges. Those landings became routine, then boring, then unwatched. Then they stopped using legs. A twenty story booster came back from the edge of space, slowed itself, and hovered next to the tower it launched from. Two arms closed around it and took its weight in midair. Nothing touched the ground. That was a headline for about a day. He has been on this side of impossible before, more than once. Doubt from him measures how hard the thing is at the start rather than how it ends. Most people never attempt anything where failure is genuinely on the table. He found the hardest problem available and made it the center of his life. That is what real ambition looks like from the inside. Not certainty. A number nobody has ever hit, and showing up to it every morning until it falls.