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 🧵show more

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 👇show more

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

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 ⤵️show more

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.show more

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. 🧵show more

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.show more

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.show more

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 ↓show more

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

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!show more

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.show more

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?show more

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°Eshow more

🚀 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.show more

😊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 👀show more

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.show more

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.show more

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🤬show more

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:show more

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.show more