Video wird geladen...

Video konnte nicht geladen werden

Beim Laden dieses Videos ist ein Problem aufgetreten. Dies könnte an einem vorübergehenden Netzwerkproblem liegen oder das Video ist möglicherweise nicht verfügbar.

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,931 subscribers

37,809 Aufrufe • vor 1 Monat •via X (Twitter)

Nachrichten & Politik Wissenschaft & Technologie Finanzen

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

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 Aufrufe • vor 5 Monaten

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,321 Aufrufe • vor 1 Jahr

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 Aufrufe • vor 1 Jahr

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 Aufrufe • vor 3 Monaten

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

58,368 Aufrufe • vor 2 Monaten

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

36,914 Aufrufe • vor 1 Monat

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

57,826 Aufrufe • vor 22 Tagen

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 Aufrufe • vor 2 Monaten

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 Aufrufe • vor 2 Monaten

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 Aufrufe • vor 1 Monat

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 Aufrufe • vor 11 Monaten

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,649 Aufrufe • vor 1 Monat

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 Aufrufe • vor 8 Monaten

🚀 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 Aufrufe • vor 2 Monaten

😊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 Aufrufe • vor 10 Monaten

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,742 Aufrufe • vor 4 Monaten

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 Aufrufe • vor 3 Monaten

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 Aufrufe • vor 6 Monaten

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,683 Aufrufe • vor 7 Monaten

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

647,306 Aufrufe • vor 26 Tagen