正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

Percolator's risk engine is formally verified with Kani, the same class of method NASA uses on flight software. toly 🇺🇸 built and verified it. Percolator helped. Here's what that means, and why "verified" alone is a weak flex 🧵

Percolator

6,953 subscribers

39,020 次观看 • 1 个月前 •via X (Twitter)

新闻政治科学技术财经

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Our community hasn't just been stress testing Devnet -> they've been finding bugs, flagging edge cases, and making real contributions to the Percolator risk engine. That feedback loop is why we ship better. And while all of this is happening -> we've been quietly testing Mainnet flows. Toly built the Percolator risk engine. We're building the infrastructure on Solana that brings it to life. First look at the Mainnet trade UI 👇

Our community hasn't just been stress testing Devnet -> they've been finding bugs, flagging edge cases, and making real contributions to the Percolator risk engine. That feedback loop is why we ship better. And while all of this is happening -> we've been quietly testing Mainnet flows. Toly built the Percolator risk engine. We're building the infrastructure on Solana that brings it to life. First look at the Mainnet trade UI 👇

Percolator

43,471 次观看 • 5 个月前

Verified and owning it. The crown’s on my head, and you know what that means. Bow down to your king.

Verified and owning it. The crown’s on my head, and you know what that means. Bow down to your king.

hgcv

11,378 次观看 • 1 年前

Why yes, you CAN play our from-the-ground-up remake of Riven on Steam Deck! Riven is now Steam Deck Verified ✅ and works great with the built-in controls and display. 🎉 Try it now ⤵️

Why yes, you CAN play our from-the-ground-up remake of Riven on Steam Deck! Riven is now Steam Deck Verified ✅ and works great with the built-in controls and display. 🎉 Try it now ⤵️

Cyan Worlds

38,050 次观看 • 2 年前

Simplicity is expanding what's possible to build on Bitcoin layer-2. Offering formally verified smart contracts and live on Liquid Network 🌊, Simplicity is already powering a growing ecosystem of applications. This May, join developers at the forefront of Bitcoin innovation in Europe.

Simplicity is expanding what's possible to build on Bitcoin layer-2. Offering formally verified smart contracts and live on Liquid Network 🌊, Simplicity is already powering a growing ecosystem of applications. This May, join developers at the forefront of Bitcoin innovation in Europe.

Liquid Network 🌊

16,944 次观看 • 4 个月前

Lovable has a new creative engine. The first pieces ship today. This is the single generation that cost me a night's sleep. Everything is made by it, including the images. Here's a breakdown of what it is, and what it isn't. 🧵

Lovable has a new creative engine. The first pieces ship today. This is the single generation that cost me a night's sleep. Everything is made by it, including the images. Here's a breakdown of what it is, and what it isn't. 🧵

Nad Chishtie

59,207 次观看 • 3 个月前

is it a real game or a token with a logo? on solana you find that out after your money's already in. so i built the basement. the steam of solana games, every verdict from a player verified on-chain. free to use, can't be bought.

Potato

41,178 次观看 • 2 个月前

20,000+ downloads crossed in just a few days, with more users being tallied and verified 🚀 This is the foundation of the ecosystem taking shape. Sights set on 100K users and the marketplace rollout.

20,000+ downloads crossed in just a few days, with more users being tallied and verified 🚀 This is the foundation of the ecosystem taking shape. Sights set on 100K users and the marketplace rollout.

tx Marketplace

59,905 次观看 • 1 个月前

Harbor integration is live with EvoSkill v.1.2.0 Harbor is a framework for evaluating AI agents against containerized benchmark tasks. It gives EvoSkill access to evolve agents against a registry of 190+ datasets — including benchmarks like SWE-bench Verified, Terminal-Bench 2.0, and Aider Polyglot. Here’s what it means for automated agent evolution ↓

Harbor integration is live with EvoSkill v.1.2.0 Harbor is a framework for evaluating AI agents against containerized benchmark tasks. It gives EvoSkill access to evolve agents against a registry of 190+ datasets — including benchmarks like SWE-bench Verified, Terminal-Bench 2.0, and Aider Polyglot. Here’s what it means for automated agent evolution ↓

Sentient

27,257 次观看 • 2 个月前

WTF 😱 what kind of fish is that 😐 and why is he sitting on same tub with it.

WTF 😱 what kind of fish is that 😐 and why is he sitting on same tub with it.

RAMBO

4,885,725 次观看 • 3 个月前

wow 😱 many thanks for this Zach, and the team. for me it now confirms why may X payouts are actually lower than expectations. having a viral post doesn't do anything except show your post to non-verified accounts. i believe this platform 'only' has 5-6% blue verified accounts, so its going to be very difficult for me to get seen by the 'right accounts'. here is an example, check the two peaks, before and after checking the verified button!

wow 😱 many thanks for this Zach, and the team. for me it now confirms why may X payouts are actually lower than expectations. having a viral post doesn't do anything except show your post to non-verified accounts. i believe this platform 'only' has 5-6% blue verified accounts, so its going to be very difficult for me to get seen by the 'right accounts'. here is an example, check the two peaks, before and after checking the verified button!

awesome_visuals

11,581 次观看 • 2 个月前

Backlog → shipped. Engine is a remote AI software engineer built for pros. It integrates with all of your existing tools and supports any frontier LLM.

Backlog → shipped. Engine is a remote AI software engineer built for pros. It integrates with all of your existing tools and supports any frontier LLM.

cto.new

51,180 次观看 • 1 年前

Solana Perps are getting a new player Percolator was submitted to the Colosseum Frontier Hackathon and is working on permissionless perp markets for Solana tokens with DEX liquidity What makes it stand out from most perp venues is the focus on market creation: → instead of listing a fixed set of assets, Percolator aims to let new perp markets be launched around any token with enough Solana liquidity Built on Toly’s open-source Percolator engine and currently in waitlist mode Full look at the Frontier DeFi category later today Which other DeFi projects should I be watching?

Solana Perps are getting a new player Percolator was submitted to the Colosseum Frontier Hackathon and is working on permissionless perp markets for Solana tokens with DEX liquidity What makes it stand out from most perp venues is the focus on market creation: → instead of listing a fixed set of assets, Percolator aims to let new perp markets be launched around any token with enough Solana liquidity Built on Toly’s open-source Percolator engine and currently in waitlist mode Full look at the Frontier DeFi category later today Which other DeFi projects should I be watching?

Sailor

12,658 次观看 • 2 个月前

Faytuks Network Investigation Cambodia–Thailand border update: Verified audio and geolocation Indiciate that there was an exchange of fire between thai and cambodian soliders. It is unclear what or who cause the escalation Video geolocated from the Thai side: 13.812645°N, 102.731360°E

Faytuks Network Investigation Cambodia–Thailand border update: Verified audio and geolocation Indiciate that there was an exchange of fire between thai and cambodian soliders. It is unclear what or who cause the escalation Video geolocated from the Thai side: 13.812645°N, 102.731360°E

Faytuks Network

58,531 次观看 • 9 个月前

🚀 Starship lost one engine mid-flight… and kept cooking anyway. That’s exactly why it’s built with serious engine-out capability. This is what real redundancy and engineering confidence looks like. Still going strong. The beast doesn’t quit easily.

🚀 Starship lost one engine mid-flight… and kept cooking anyway. That’s exactly why it’s built with serious engine-out capability. This is what real redundancy and engineering confidence looks like. Still going strong. The beast doesn’t quit easily.

Mario Nawfal

80,091 次观看 • 2 个月前

😊what’s coming next for #Unibase? Introducing BitAgent — A Decentralized Multi-Agent Collaboration Platform, powered by $UB. Immortal AI Agents with on-chain identity, permanent memory, and cross-platform collaboration are here. 🧵 👉 Stay tuned — the first Agent is AWAKENING, sealed and verified by Unibase 👀

😊what’s coming next for #Unibase? Introducing BitAgent — A Decentralized Multi-Agent Collaboration Platform, powered by $UB. Immortal AI Agents with on-chain identity, permanent memory, and cross-platform collaboration are here. 🧵 👉 Stay tuned — the first Agent is AWAKENING, sealed and verified by Unibase 👀

Unibase

11,908 次观看 • 11 个月前

GPT-5.4 can write Playwright code, read screenshots, and issue keyboard/mouse actions to operate computers. You can steer its behavior and set custom confirmation policies for different risk tolerances. On OSWorld-Verified, it achieves a state-of-the-art 75.0% success rate.

GPT-5.4 can write Playwright code, read screenshots, and issue keyboard/mouse actions to operate computers. You can steer its behavior and set custom confirmation policies for different risk tolerances. On OSWorld-Verified, it achieves a state-of-the-art 75.0% success rate.

OpenAI Developers

558,977 次观看 • 5 个月前

We will be slicing... on Steam Deck! MotorSlice is now Steam Deck verified. Parkour through the megastructure, climb huge bosses, and fight construction equipment with a chainsaw - on the go. MotorSlice is out May 5th for PC (Steam + GoG), PlayStation 5, and Xbox.

We will be slicing... on Steam Deck! MotorSlice is now Steam Deck verified. Parkour through the megastructure, climb huge bosses, and fight construction equipment with a chainsaw - on the go. MotorSlice is out May 5th for PC (Steam + GoG), PlayStation 5, and Xbox.

Top Hat Studios, Inc.

1,139,220 次观看 • 3 个月前

To all those people like MAGA that swore this recording of Trump yelling about not releasing the Epstein files was fake well you were wrong since he’s basically admitted it and so has MTG. It’s also been verified that it was him and not AI! Why is he so afraid of releasing them🤬

To all those people like MAGA that swore this recording of Trump yelling about not releasing the Epstein files was fake well you were wrong since he’s basically admitted it and so has MTG. It’s also been verified that it was him and not AI! Why is he so afraid of releasing them🤬

Suzie rizzio

144,871 次观看 • 7 个月前

EURC is now live on World Chain! Following the launch of USDC and CCTP earlier this year, developers and businesses on World Chain can now access the world’s largest euro stablecoin for a range of use cases: → User-verified payments: Use EURC and World ID to send and receive euro payments with verified humans to reduce fraud. → DeFi and financial services: Power trading and lending with 24/7 onchain euro settlement → Global euro savings: Offer digital euro savings accounts for users in emerging markets seeking a reliable store of value With World Chain, EURC is supported natively on 6 blockchains, bringing euro liquidity to a growing global ecosystem. Get started:

EURC is now live on World Chain! Following the launch of USDC and CCTP earlier this year, developers and businesses on World Chain can now access the world’s largest euro stablecoin for a range of use cases: → User-verified payments: Use EURC and World ID to send and receive euro payments with verified humans to reduce fraud. → DeFi and financial services: Power trading and lending with 24/7 onchain euro settlement → Global euro savings: Offer digital euro savings accounts for users in emerging markets seeking a reliable store of value With World Chain, EURC is supported natively on 6 blockchains, bringing euro liquidity to a growing global ecosystem. Get started:

Circle

19,713 次观看 • 8 个月前

A viral video circulating on social media appears to show a female police officer falling during what is alleged to be the arrest of a woman believed to be an undocumented foreign national in Alexandra. The date, location and circumstances of the incident have not been verified, and the authenticity of the claims remains unconfirmed. Anyone with credible information is urged to come forward.

A viral video circulating on social media appears to show a female police officer falling during what is alleged to be the arrest of a woman believed to be an undocumented foreign national in Alexandra. The date, location and circumstances of the incident have not been verified, and the authenticity of the claims remains unconfirmed. Anyone with credible information is urged to come forward.

BEAST OF NEWS

648,052 次观看 • 1 个月前